연산수학의 기초
Foundations of Computational Mathematics | |
| 포메이션 | 1995 |
|---|---|
의자 | 볼프강 다멘 |
| 웹사이트 | http://focm-society.org/ |
Foundation of Computing Mathics(FoCM)는 수학과 연산 인터페이스에서 연구를 지원하고 추진하는 국제 비영리 단체다.그것은 회의, 행사, 출판물을 통해 수학, 컴퓨터 과학 및 기타 컴퓨터 과학 분야 간의 상호작용을 촉진한다.
겨냥하다
FoCM은 수학과 연산 사이의 관계를 탐구하는 것을 목표로 하며, 계산 문제에 대한 수학적 해결책과 수학적 문제에 대한 계산적 해결책의 탐색에 초점을 맞추고 있다.이 협회의 중심적 관심사는 다음을 포함하지만 이에 국한되지는 않는다.
- 근사 이론
- 계산 대수 기하학
- 컴퓨팅 다이내믹스
- 계산 고조파 분석, 이미지 및 신호 처리
- 계산 번호 이론
- 계산 위상 및 기하학
- 연속 최적화
- 수치PDE의 기초
- 기하학적 통합과 계산 역학
- 그래프 이론 및 조합론
- 정보 기반 복잡성
- 학습 이론
- 수치적 PDE의 다중화 및 적응성
- 수치 선형 대수
- 랜덤 행렬
- 실제 수 복잡성
- 특수 함수 및 직교 다항식
- 확률적 컴퓨팅
- 심볼 분석
역사
계산 수학의 기초를 위한 학회는 스테판 스마일(Stephen Smale)이 주로 조직한 유타주 파크 시티에서 한 달간 열린 AMS-SIAM 여름 세미나에 이어 1995년 북여름에 출범했다.그 회의는 수학적 분석으로부터 많은 주제와 실제 숫자 계산의 기초 이론의 중요성에 초점을 맞추어 수학 및 계산의 최전선에 관한 많은 하위 회의를 개최하였다.주된 추진력은 연산과 수학을 결합하는 활동을 위한 공유 지적 공간을 만드는 것이었다.마이클 슈브의 마지막 주 동안, 펠리페 쿠커, 아리 이세를스, 나렌드라 카르마르, 제임스 르네가, 마이클 슈브, 스티븐 스마일이 이 두 분야 사이의 상호작용을 위한 주제를 다루는 정기적인 회의를 조직할 영구적인 단체를 만들기로 결정한 비공식적인 점심식사가 마련되었다.토론을 거쳐 '계산 수학의 기초'라는 명칭이 결정되었고, 마이클 슈브는 자신이 직접 구성한 작은 팀인 아리 아이세레스와 제임스 르네가르와 함께 주도권을 쥐기 위해 선발되었다.
첫 FoCM 회의는 리우데자네이루에서 열렸으며, 당시 감독이었던 제이콥 팔리스의 후원으로 IMPA가 주최하였다.1999년까지는 정식으로 법인으로 설립되지 않았지만, 학술지 '계산 수학의 기초'의 창간과 동시에 여러 학회가 조직되어(아래 참조) 세계 유수의 수학자와 컴퓨터 과학자들을 규합하였다.그 이후로, 그것의 주요 활동은 3년마다 열리는 회의, 특별 학기, FoCM 저널의 지원뿐 아니라 연산의 기초가 되는 수학 영역에 대한 일반적인 지지다.
회의
주요 FoCM 회의는 3년마다 열린다.이전 회의에는 다음이 포함된다.
- Park City AMS—SIAM 1995 Summer Summer Semina(미국, Utah)는 이 협회의 창립 행사로 간주된다.발표.패널 토론.
- FoCM'97(브라질 리우데자네이루).국제 조직 위원회.지역 조직 위원회.
- FoCM'99(영국 옥스포드).조직위원회 전체 연사.워크샵 목록
- FoCM 2002(미국 미니애폴리스)
- FoCM 2005(스페인 산탄데르)
- FoCM 2008(홍콩, 중국)
- FoCM 2011(헝가리 부다페스트).
- FoCM 2014(우르과이 몬테비디오).
이 회의들은 수학 계산의 전체 스펙트럼을 다루는 것을 목표로 한다.그 외에도 특정 연구주제를 중심으로 한 특화된 행사들이 학회에서 주관하며, 다음과 같은 내용을 포함한다.
- 1998년 버클리, 수학 과학 연구소의 컴퓨터 수학 반년 프로그램의 기초.조직위원회.
- 홍콩 컴퓨터 수학의 기초에 관한 특별 학기, 1999, 홍콩 시티 대학교.
- 2009년 토론토 필즈 인스티튜트 컴퓨터 수학의 기초에 관한 주제 프로그램.
- Dynamics에서 Complexity까지 토론토 마이크 슈브의 작업을 축하하는 컨퍼런스, 2012 Fields Institute.
출판물
2001년 1월부터 FoCM은 학술지 Foundation of Computing Mathy를 지원한다.저널의 최고 편집자:[1]
- 마이클 슈브(2001~2002년).
- 피터 올버(2002~2008년).
- 아리 아이세를레스(2002~2011년).
- 마이클 토드(2008~2011년).
- 펠리페 쿠커(2011~2017년).
- 앨버트 코언(2014–현재)
- 한스 먼테카스 (2017년-현재)
- 테레사 크릭(2020–현재).
의자들
FoCM 의장은 3년마다 선출된다.이 자리는 전 세계 여러 수학자들이 차지하고 있다.
- 마이클 슈브(1995–1997).
- 아리 아이세레스(1997–2000).
- 로널드 드보어(2000–2002)
- Endre Süli(2002-2005년).
- 마이클 토드(2005~2008년).
- 펠리페 쿠커(2008~2011년).
- 테레사 크릭(2011~2014년).
- 볼프강 다멘(2014~2017).
- 아그네스 샨토 (2017--).
스티븐 스마일상
FoCM은 "스텝 스마일 상"을 수여하는데, 그 목적은 사회의 이익의 핵심인 분야에서 젊은 수학자의 업적을 인정하고 과학계의 지도자들 사이의 통합을 촉진하는 데 도움을 주는 것이다.Smale Prize 수상자:
