본문 바로가기 메뉴바로가기

Scholarship Event

Workshop

4th International Congress on Mathematical Software (Satellite Conference of ICM 2014)

  • Date  2014-08-05 ~ 2014-08-09
▪주 관: 국가수리과학연구소, 한양대학교 (공동주관)
▪조직위원회: 한양 대학교 김덕수(Deok-Soo Kim) 교수,
                    New York 대학교 Chee K. Yap 교수, 
                    North Carolina 주립대학 홍훈(Hoon Hong) 교수

대표적인 수리계산소프트웨어인 Matlab은 디지털 신호 처리, 통신 시스템, 이미지 및 비디오 처리, 생명공학, 금융, 메카트로닉스 등 다양한 분야에서 사용되고 있다. 이처럼 수리계산소프트웨어는 그 응용분야가 다양해짐에 따라서 응용분야에 대한 연구들과도 연계가 매우 중요하다. 따라서 다양한 응용분야의 문제를 풀어야 하는 특성상 수리계산소프트웨어분야는 대수학, 기하학, 해석학, 응용수학 등 거의 모든 수학분야의 연구와 관련되어 있을 뿐만 아니라 거의 모든 과학 분야와 관련되어 있다.

수리계산소프트웨어 분야는 다양한 응용문제에 적용가능한 중요성에 비해 국내의 이론적인 연구 및 소프트웨어 연구개발은 미약한 수준이다. 주된 이유 중에 하나는 여러 학문분야들끼리의 학제간 연구가 필요하기 때문이다. 본 학술대회를 통해서 세계 최고 수준의 국제적인 선진과학자들과의 공동 교류의 장을 마련하여 국내에서는 활발하지 않은 연구와 기술 분야를 소개하여 교육적 효과를 올리며, 학제간의 다양한 분야에서 새로운 협력과 발전이 이루어지는 계기가 되고자 한다. 본 학술대회에서는 다음과 같은 세부 주제들에 대해서 논문발표와 함께 심도 깊은 토론이 진행될 예정이다.

● Computational group theory
● Computation of special functions
● Computer algebra and reliable computing
● Computer tools for mathematical editing and scientific visualization
● Exact numeric computation for algebraic and geometric computation
● Formal proof
● Geometry and visualization
● Groebner bases and applications
● Number theoretical software
● Software for optimization and polyhedral computation
▪주 관: 국가수리과학연구소, 한양대학교 (공동주관)
▪조직위원회: 한양 대학교 김덕수(Deok-Soo Kim) 교수,
                    New York 대학교 Chee K. Yap 교수, 
                    North Carolina 주립대학 홍훈(Hoon Hong) 교수

대표적인 수리계산소프트웨어인 Matlab은 디지털 신호 처리, 통신 시스템, 이미지 및 비디오 처리, 생명공학, 금융, 메카트로닉스 등 다양한 분야에서 사용되고 있다. 이처럼 수리계산소프트웨어는 그 응용분야가 다양해짐에 따라서 응용분야에 대한 연구들과도 연계가 매우 중요하다. 따라서 다양한 응용분야의 문제를 풀어야 하는 특성상 수리계산소프트웨어분야는 대수학, 기하학, 해석학, 응용수학 등 거의 모든 수학분야의 연구와 관련되어 있을 뿐만 아니라 거의 모든 과학 분야와 관련되어 있다.

수리계산소프트웨어 분야는 다양한 응용문제에 적용가능한 중요성에 비해 국내의 이론적인 연구 및 소프트웨어 연구개발은 미약한 수준이다. 주된 이유 중에 하나는 여러 학문분야들끼리의 학제간 연구가 필요하기 때문이다. 본 학술대회를 통해서 세계 최고 수준의 국제적인 선진과학자들과의 공동 교류의 장을 마련하여 국내에서는 활발하지 않은 연구와 기술 분야를 소개하여 교육적 효과를 올리며, 학제간의 다양한 분야에서 새로운 협력과 발전이 이루어지는 계기가 되고자 한다. 본 학술대회에서는 다음과 같은 세부 주제들에 대해서 논문발표와 함께 심도 깊은 토론이 진행될 예정이다.

● Computational group theory
● Computation of special functions
● Computer algebra and reliable computing
● Computer tools for mathematical editing and scientific visualization
● Exact numeric computation for algebraic and geometric computation
● Formal proof
● Geometry and visualization
● Groebner bases and applications
● Number theoretical software
● Software for optimization and polyhedral computation