계산 리소스와 프로그래밍

하위페이지

• 계산 리소스와 프로그래밍
• experimental mathematics
• 다양한 수학 프로그램(소프트 웨어)
• Macaulay2
• Sage와 Sage 노트북
• PARI/GP
• Magma
• 울프람알파의 활용
• 매스매티카 리소스
• Differential Geometry Library
• 매스매티카 강의노트
• 매스매티카 에세이
• 매스매티카 파일 목록
• 매스매티카 패키지 (Mathematica packages)
• 매스매티카의 활용
• 유용한 코드 모음
• TeX 코드를 매스매티카 코드로 변환하기
• 미분의 표현
• 표와 테이블 관리
• 항등식의 확인
• 기하학 및 위상수학 소프트웨어

메모

• 국가슈퍼컴퓨팅공동활용체제 구축 http://www.plsi.or.kr/
• http://www.computerbasedmath.org/
• Hales, Thomas C. “Developments in Formal Proofs.” arXiv:1408.6474 [cs, Math], August 24, 2014. http://arxiv.org/abs/1408.6474.

에세이

• Wilson, Greg, D. A. Aruliah, C. Titus Brown, Neil P. Chue Hong, Matt Davis, Richard T. Guy, Steven H. D. Haddock, et al. 2012. “Best Practices for Scientific Computing.” arXiv:1210.0530 (September 30). http://arxiv.org/abs/1210.0530.