수학용 오픈 소스 소프트웨어 목록
List of open-source software for mathematics상위 수학적 계산에 사용할 오픈 소스 소프트웨어 목록입니다.이 소프트웨어는 [1]수학 분야에서 중요한 역할을 해왔다.수학의 오픈 소스 소프트웨어는 비싼 교과서 [2]비용 때문에 교육의 중심이 되었다.
컴퓨터 대수 체계
컴퓨터 대수 시스템은 수학 공식을 조작하는 데 사용되는 소프트웨어 세트의 한 종류입니다.컴퓨터 대수 시스템의 주요 목적은 단조롭고 때로는 문제가 있는 대수 조작 작업을 체계화하는 것이다.컴퓨터 대수 시스템과 전통적인 계산기 사이의 주요 차이점은 방정식을 수치적이 아니라 기호적으로 다루는 능력이다.이러한 시스템의 정확한 용도와 능력은 시스템마다 크게 다르지만, 그 목적은 변하지 않습니다.심볼 방정식의 조작입니다.컴퓨터 대수 시스템은 종종 방정식을 그래프로 표시하는 기능을 포함하고 사용자 자신의 절차를 위한 프로그래밍 언어를 제공한다.
공리
Axiom은 범용 컴퓨터 대수 체계이다.1971년부터 IBM에 의해 개발되어 왔으며, 원래 이름은 스크래치패드였습니다.리처드 젠크스가 당초 이 프로젝트를 주도했지만 수년 동안 스크래치패드 프로젝트의 방향을 잡은 배리 트래거가 프로젝트를 맡았다.프로젝트 스크래치 패드는 결국 NAG(Numerical Algorithms Group)라는 숫자 그룹에 매각되었고 Axiom으로 이름이 변경되었습니다.제품 출시에 실패하자, NAG는 2001년에 300년 이상의 인력에 의한 연구를 수반하는 무료 소프트웨어로 출시하기로 결정했다.Axiom은 수정된 BSD 라이센스로 라이센스가 부여됩니다.
최대
이 무료 소프트웨어는 맥시마의 초기 형태이다.1960년대에 매사추세츠 공과대학에 의해 개발된 그것은 1982년부터 2001년까지 윌리엄 셸터에 의해 유지되었다.1998년 셸터는 GNU General Public 라이선스에 따라 MAXIMA를 오픈소스 소프트웨어로 출시할 수 있는 허가를 취득했습니다.그 후, 그는 그해 말에 소스코드를 세상에 공개했다.2001년 그가 사망한 이후 MAXIMA 마니아 그룹은 계속해서 기술 지원을 제공해 왔습니다.
갭
GAP는 1986년 RWTH Aachen University에 의해 시작되었습니다.1997년 CIRCA(Centre for Research in Computational Algebraz)와 GAP를 더욱 공동 개발하기로 결정하기 전까지는 그랬다.MAXIMA와 Axiom과는 달리, GAP는 계산군 이론에 특히 중점을 둔 계산 이산 대수를 위한 시스템이다.2005년 3월 GAP 평의회와 GAP 개발자는 "GAP 본부"의 지위와 책임을 다수의 "GAP 센터"의 동등한 협력에 넘겨야 한다는 데 합의했으며, 여기에는 상설 직원 참여와 단체 또는 조직의 약속이 있으며, 동시에 인간의 중요한 공헌을 완전히 인식해야 한다.y개의 개인은 그 센터 밖에 있습니다.
카다브라
필드 이론의 문제를 해결하기 위해 설계된 컴퓨터 대수 시스템입니다.이 오픈소스 소프트웨어에는 Abra라는 미공개 컴퓨터 프로그램이 영감을 주었습니다.Abra는 원래 물리학자들이 양자역학에서 존재하는 문제들을 계산하기 위해 고안되었습니다.그리고 나서 Kespers Peeters는 비슷한 프로그램을 파스칼이 아닌 C컴퓨팅 언어로 쓰기로 결심했고, 그는 그것을 Cadabra로 이름 지었다.그러나 Cadabra는 더 넓은 범위의 사용을 위해 확장되었으며, 더 이상 물리학자에 국한되지 않습니다.
CoCoA
CoCoA는 다변량 다항식 계산에 사용되는 오픈 소스 소프트웨어이며 1987년에 시작되었습니다.원래 파스칼로 쓰인 CoCoA는 나중에 C로 번역되었다.
엑스카스
Xcas/Giac은 2000년부터 Joseph Fourier University of Grenoble에서 개발된 오픈 소스 프로젝트입니다.C++ 언어로 작성되었으며 Bernard Parise 등에 의해 유지 관리되며 Windows, Mac, Linux 및 기타 많은 플랫폼에서 사용할 수 있습니다.Maple, Derivel 및 MuPAD 소프트웨어 및 TI-89, TI-92 및 Voyage 200 계산기와 호환됩니다.이 시스템은 HP Prime 계산기의 CAS로 Hewlett-Packard에 의해 선택되었습니다.HP Prime 계산기는 듀얼 라이선스 방식으로 Giac/Xcas 1.1.2 엔진을 사용합니다.
PARI/GP
PARI/GP는 숫자이론 계산을 용이하게 하는 컴퓨터 대수 시스템입니다.인수분해, 대수적 수론, 타원곡선의 분석 외에도 행렬, 다항식, 멱급수, 대수적 [3]수, 초월함수와 같은 수학적 객체와 함께 작동합니다.원래는 프랑스 보르도 대학에서 Henri Cohen et al에 의해 개발되었지만 현재는 GPL 소프트웨어입니다.gp 인터랙티브셸은 GP 언어 스크립팅을 가능하게 하고, gp2c 컴파일러는 GP 스크립트를 C로 컴파일하며, PARI C 라이브러리는 C 프로그램이 PARI/GP 함수를 사용할 수 있도록 합니다.
심피
Sympy는 Python으로 작성된 컴퓨터 대수 체계입니다.
수학
Mathics는 Wolfram Language의 오픈 소스 GPL3 라이센스 버전입니다.
기하학.
게오그라
지오게브라(Geogebra, 기하학 및 대수학) - 그래프와 같은 기하학적 객체를 대수적 표현과 결합한다. 예를 들어 2 + 2 2 \ x2} +2}}: r 학교 및 교육 환경에서 사용하도록 설계되었습니다.
수치 분석
수치 분석은 연속 변수를 포함하는 문제에 대한 수치 근사치를 얻기 위한 알고리즘을 만들고 분석하는 수학 분야입니다.임의의 함수에 해답으로서 닫힌 형태가 없는 경우, 원하는 해답을 평가하기 위한 해석 도구가 존재하지 않기 때문에, 그 대신에 근사법을 사용한다.
모델리카
Modelica는 대수 방정식과 미분 방정식을 포함한 복잡한 시스템의 구성요소 지향 모델링을 위한 객체 지향, 선언형, 다중 도메인 모델링 언어입니다.OpenModelica와 Jmodelica는 이 언어의 오픈 소스 구현의 일부입니다.
옥타브
옥타브(일명 GNU 옥타브)는 MATLAB의 대안이다.1988년 John W. Eaton이 학부 교과서의 부속 소프트웨어로 고안한 Eaton은 나중에 좀 더 유연한 도구로 수정하기로 결정했습니다.1992년에 개발이 시작되었고 1993년에 알파 버전이 출시되었습니다.그 후 버전 1.0은 그로부터 1년 후인 1994년에 출시되었습니다.옥타브는 수치 계산의 주요 의도를 가진 높은 수준의 언어이다.
실랍
MATLAB에서 영감을 얻은 Scilab은 1980년대 중반 INRIA(프랑스 국립 컴퓨터 과학 및 제어 연구소)에서 시작되었습니다.프랑수아 델렉과 Serge Steer가 개발하여 1994년 INRIA에 의해 오픈 소스 소프트웨어로 출시되었습니다.2008년부터 Scilab은 GPL 호환 CeCIL 라이선스로 배포되고 있습니다.2010년 Scilab Enterprise는 소프트웨어에 대한 지원을 더욱 강화하기 위해 설립되었습니다.
프리매트
FreeMat은 MATLAB의 대안입니다.
SciPy
SciPy는 Python의 대용량 데이터 [4]세트를 처리하는 기능을 활용하는 Python 프로그래밍 언어 라이브러리입니다.
그누플롯
오픈 소스 그래프 프로그램의 Gnuplot과 광범위한 그래프 기능을 가지고 있지만, 또한 2차원 및 3차원의 광범위한 사용자 정의 함수를 위한 최소한의 정사각형 피팅 기능을 가지고 있습니다.http://www.gnuplot.info/
통계 정보
통계는 데이터에서 숫자 정보를 수집하고 해석하는 방법에 대한 연구이다.그것은 데이터에서 배우고 불확실성을 전달하는 과학이다.통계에는 '기술 통계'와 '추리 통계'의 두 가지 분기가 있습니다.
기술 통계는 데이터의 정보를 정리, 이미지화 및 요약하는 방법을 포함한다.추리 통계는 표본의 정보를 사용하여 모집단에 대한 결론을 도출하는 방법을 포함한다.
SPSS의 대체 수단
R Statistics Software, SOFA Statistics, PSPP 및 JASP는 SPSS에 대한 오픈 소스 소프트웨어 경쟁업체로 표본 데이터의 통계 분석에 널리 사용된다.PSPP는 GNU 프로젝트에 의해 유지됩니다.SOFA Statistics는 기본적인 기능을 가진 초보자를 대상으로 하고 있으며, GNU-R Statistics Software에는 통계 분석 이외의 R 패키지를 유지하는 대규모 커뮤니티가 있습니다.
R
R은 통계 컴퓨팅과 그래프 작성에 사용되는 언어이자 소프트웨어입니다.R은 원래 Bell Laboraties(현재는 Lucent Technologies)에 의해 John Chambers에 의해 개발되었습니다.R은 주로 C 언어로 작성되므로 사용자는 C 또는 C++ 명령을 사용하여 R 객체를 직접 조작할 수 있습니다.또한 R은 대부분의 UNIX 플랫폼에서 실행됩니다.R은 현재 Free Software Foundation GNU 프로젝트의 일부입니다.
데메트라+
Demetra는 EUPL 라이선스에 따라 Eurostat – European Commission에 의해 개발 및 발행된 계절 조정 프로그램입니다.
다목적 수학 소프트웨어
이러한 소프트웨어는 MATLAB 및 MATMATICA와 같은 독점 소프트웨어와 비교할 수 있는 수학 플랫폼을 제공하기 위해 개발되었습니다.이 소프트웨어에는 여러 개의 다른 무료 소프트웨어가 포함되어 있으며, 따라서 언급된 나머지 소프트웨어보다 더 많은 기능이 있습니다.
SageMath
SageMath는 범용 수학 제품인 Maple과 MATLAB의 무료 대안으로 부분적으로 설계되었습니다.웹 사이트를 통해 다운로드하거나 사용할 수 있습니다.SageMath는 공통 인터페이스와 언어를 가진 다양한 무료 패키지로 구성됩니다.
SageMath는 2005년 Harvard 대학의 William Stein에 의해 그의 숫자 이론 개인 프로젝트를 위해 시작되었습니다.그것은 원래 'HECKE and Manin'으로 알려져 있었다.잠시 후 SAGE로 이름이 바뀌었습니다. SAGE는 "대수와 기하학 실험의 소프트웨어"를 의미합니다.Sage 0.1은 2005년에 출시되었고 거의 1년 후에 Sage 1.0이 출시되었습니다.이미 Pari, GAP, Singular 및 MAXIMA로 구성되었으며 매스매티카와 견줄만한 인터페이스를 갖추고 있습니다.
정리 프로버
레크리에이션용 수학 소프트웨어
「 」를 참조해 주세요.
레퍼런스
- ^ David Joyner; William Stein (November 2007). "Open Source Mathematical Software" (PDF). American Mathematical Society. Retrieved 11 June 2013.
- ^ Russell Herman; Gabriel Lugo (24 May 2008). "Open Source Resources for Teaching and Research in Mathematics" (PDF). University of North Carolina Wilmington. Retrieved 11 June 2013.
- ^ "PARI/GP home page". Archived from the original on 2019-09-29. Retrieved 2016-12-28.
- ^ "Visualizing big data".
- ^ 아르토시, 알베르토, 파올라 카타브리가, 귀도 거버나토리."Ked: 이원론적 정리 증명서"제11회 국제논리프로그래밍회의(ICLP'94)1994.
- ^ Otten, Jens; Bibel, Wolfgang (2003). "LeanCoP: Lean connection-based theorem proving". Journal of Symbolic Computation. 36 (1–2): 139–161. doi:10.1016/S0747-7171(03)00037-3.
- ^ Del Cerro, Luis Fariñas; Fauthoux, David; Gasquet, Olivier; Herzig, Andreas; Longin, Dominique; Massacci, Fabio (2001). "Lotrec: The Generic Tableau Prover for Modal and Description Logics". Automated Reasoning. Lecture Notes in Computer Science. Vol. 2083. pp. 453–458. doi:10.1007/3-540-45744-5_38. ISBN 978-3-540-42254-9.
- ^ 히키, 제이슨 등"MetaPRL – 모듈러형 논리 환경"고차 논리학의 정리 증명에 관한 국제 회의스프링거, 베를린, 하이델베르크, 2003년