"계산 리소스와 프로그래밍"의 두 판 사이의 차이
둘러보기로 가기
검색하러 가기
Pythagoras0 (토론 | 기여) |
Pythagoras0 (토론 | 기여) |
||
| 27번째 줄: | 27번째 줄: | ||
* 국가슈퍼컴퓨팅공동활용체제 구축 http://www.plsi.or.kr/ | * 국가슈퍼컴퓨팅공동활용체제 구축 http://www.plsi.or.kr/ | ||
* http://www.computerbasedmath.org/ | * 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. | ||
2014년 8월 30일 (토) 03:41 판
하위페이지
- 계산 리소스와 프로그래밍
- 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.