컴퓨터 대수 체계 목록

List of computer algebra systems

다음 표는 컴퓨터 대수 시스템(CAS)의 비교를 제공한다.[1][2][3] CAS는 대수적 객체에 대한 기호 조작을 수행하기 위한 알고리즘 집합, 이를 구현하기 위한 언어, 언어를 사용할 수 있는 환경으로 구성된 패키지다.[4][5] CAS는 사용자 인터페이스와 그래픽 기능을 포함할 수 있으며, 효과적이기 위해서는 대규모 알고리즘 라이브러리, 효율적인 데이터 구조 및 빠른 커널이 필요할 수 있다.[6]

일반

시스템 크리에이터 개발 시작 첫 공개 최신 안정화 버전 최근 안정적 출시일 비용(USD) 면허증 메모들
공리 리처드 젱스 1977 1993년과 2002년[7] 2014년 8월[8] 무료 수정된 BSD 라이센스 범용 CAS. 도커 컨테이너를 사용한 연속 릴리스
카다브라 카스퍼 피터스 2001 2007 2.3.6.8 2021년 2월 3일 무료 GNU GPL 텐서장 이론에 대한 CAS
코코아 존 애벗, 안나 M. 비가티, 조반니 라고리오 1987 1995 5.2.0 2017년 5월 2일 무료 GNU GPL 정류 대수학 전문 CAS
끌어내다 소프트 웨어하우스 1979 1988 6.1 2007년 11월 중단됨 소유권 포켓 계산기용으로 설계된 CAS; 2007년에 단종되었다.
Erable(일명 ALGB) 베르나르 파리세, 미카 하이스카넨, 클로드 니콜라스 피히터 1993 1993 4.20060919 2009년 4월 21일 무료 LGPL HP 48/49/40/50 시리즈의 Hewlett-Packard 과학 그래프 계산기용으로 설계된 CAS, 2009년 중단
페르마 로버트 H. 루이스 1986 1993 6.5 2021년 6월 21일 보조금이 있는 경우 $70, 그렇지 않은 경우 $0 GNU GPL 다항식 입력을 사용한 결과 계산 및 선형 대수용 특수 CAS
폼 J.A.M. 베르마세렌 1984 1989 4.2 2017년 7월 6일[9] 무료 GNU GPL 주로 입자물리학용으로 설계된 CAS
프리카스 월덱 헤비스치 2007 2007 1.3.7 2021년 6월 21일 무료 수정된 BSD 라이센스 완전한 기능의 범용 CAS. 특히 상징적 통합에 강하다.
GAP GAP 그룹 1986 1986 4.11.1 2021년 3월 2일 무료 GNU GPL[10] 그룹 이론 및 조합에 특화된 CAS.
지나크 크리스티안 바우어, 알렉산더 프링크, 리처드 B. 크레켈, 외 1999 1999 1.7.10 2020년 6월 28일 무료 GNU GPL 심볼 연산을 C++ 프로그램에 통합한다. 높은 수준의 인터페이스는 없지만 상호운용성을 강조한다.
칸트/카시 칸트 그룹 ? ? 3 2005/2008 비상업적 이용 시 무료 면허증을 소지하다 대수숫자 이론에 특화된 CAS
라이브매스 MathMonkeys, LLC 1991 1993 3.6 2018 $399 (상업), $299 (학술), $199 (개인용 에디션), $69 (학생), $29 (학생, 3개월)[11] 소유권 컴퓨팅 성능보다 더 많은 인터페이스
맥컬레이2 대니얼 그레이슨과 마이클 스틸먼 1992 1994 1.14 2019 무료 GNU GPL 대수 기하학 및 정류 대수학 전문 CAS
맥시마 MIT 프로젝트 MAC 및 기호학 1968 1978 2.4 1999 $500 소유권 가장 오래된 범용 CAS. 아직 맥시마로 살아있어
마그마 시드니 대학교 ~1990 1993 2.25-5 2020년 4월 29일 $1,440 소유권 범용 CAS, 원래 그룹 이론에 특화된 CAS. 비타입 수학 식이 아닌 대수적 구조의 요소와 함께 작업한다.
마그누스 뉴욕 그룹 이론 협동조합 1994 1997 2005 무료 GNU GPL 그룹 이론에 특화된 CAS로, 무한대 그룹 및 약의 계산을 위한 시설을 제공한다. 2005년 단종.
단풍나무 Waterloo 대학교 기호 연산 그룹 1980[12] 1984 2021년(2021년 3월 10일; 10개월 전(2021-03-10) [±][13] 2019년 5월 28일 2,390달러(상업), 2,265달러(정부), 995달러(학업), 239달러(개인용 에디션), 99달러(학생), 79달러(학생, 12개월)[14] 소유권 주요 범용 CAS 중 하나
마트카드 파라메트릭 테크놀로지 1985 1985 15.0 M045 2021년 2월 27일 $1,600(상업), $105(학생), 무료(Express Edition)[15] 소유권 일부 CAS 기능이 있는 숫자 소프트웨어
매스매티카 울프램 리서치 1986 1988 13 (2021년 12월 13일; 48일 전(2021년 12월 12일-13일) [±][16] 2019년 4월 16일 2,495달러(프로페셔널), 1095달러(교육), 295달러([17]개인), 140달러(학생), 69.95달러(학생 연간 면허),[18] Rasberry Pi 하드웨어[19] 무료 소유권 주요 범용 CAS 중 하나
수학 얀 포슈코 2016 2016 4.0.0 2021년 8월 1일 무료 GPL3 Mathematica 구문을 사용한다.
수학적 조지 게슬린 2세 1986 1987 16.0.5 2012 중단됨 LGPL 기초 대수학, 미적분학, 복합수, 다항식 조작.
막시마 MIT 프로젝트 MAC 및 Bill Shelter 등. 1967 1998 5.45.0[20] 2021년 5월 24일 무료 GNU GPL 범용 CAS. 맥시마의 지속; 새로운 출시들은 대략 일년에 두 번 발생한다.
무함수 소프트 웨어하우스 1970년대 1980 무함수-83 중단됨 소유권 파생의 전신
무패드 SciFace 소프트웨어 1989 2008 5.1 2008 중단됨 소유권 MathWorks는 MuPAD 기술을 Symbolic Math Toolbox에 통합했다.
오픈악시움 가브리엘 도스 레이스 2007 2007 1.4.2 2013 무료 수정된 BSD 라이센스 범용 CAS. Axiom의 포크.
PARI/GP 앙리 코헨, 카림 벨라바스, 빌 앨롬버트 외 연구진. 1985 1990 2.11.4 2020년 4월 17일 무료 GNU GPL 숫자 이론에 특화된 CAS.
줄이다 앤서니 C. 허른 1960년대 1968 2018 무료 수정된 BSD 라이센스 역사적으로 중요한 범용 CAS. 2008년 12월 오픈소싱 및 해방된 상태로 아직 살아 있음
실랍 실랍 엔터프라이즈 1990 1990 6.0.2 2019년 2월 14일 무료 CeCIL(GPL 호환) 매트랩 대안.
세이지매트 윌리엄 A. 스타인 2005 2005 9.4 2021년 8월 22일[21] 무료 GNU GPL 수치 연산, 통계, 이미지 처리 등 다수의 기존 패키지를 결합한 수학 소프트웨어 시스템
단수형 카이저슬라우테른 대학교 1984 1997 4-2-1 2021년 7월 4일 무료 GNU GPL 다항식 연산을 위한 컴퓨터 대수 체계로, 역행식 및 비확정식 대수학, 대수 기하학, 특이성 이론에 특히 중점을 둔다.
SMath 스튜디오 안드레이 이바쇼프 2004 2006 0.99.7610 2020년 11월 1일 무료 소유권 Mathcad와 유사한 수학 공책 프로그램.
심볼 조작 프로그램 스티븐 울프람 1979[22] 1981 1988 중단됨 소유권 이 소프트웨어는 결국 매스매티카로 대체되었고, 새로운 프로그램은 여전히 이전 SMP의 구문과 기능성의 많은 부분을 유지하고 있다.[23]
기호 산술 도구 상자(MATLAB) 매트릭웍스 1989 2008 9.4(2018a) 2018 3,150달러(상업), 99달러(스튜디오 스위트), 700달러(아카데미), 194달러(홈) 필수 매트랩 포함 소유권 기호 수학 식을 해결하고 조작하며 가변 정밀 산술 수행을 위한 도구를 제공한다.
SICMUTils 콜린 스미스, 샘 리치 2014 2016 0.13.0 2020년 11월 9일 무료 GNU GPL Clojure 및 Clojurescript 컴퓨터 대수 시스템은 고전역학 및 미분 기하학 조사에 최적화되었다.
심피 온데예지 체르티크 2006 2007 1.6.1 2020년 7월 2일 무료 수정된 BSD 라이센스 파이톤 기반
TI-Nspire CAS(컴퓨터 소프트웨어) 텍사스 인스트루먼트 2006 2009 5.1.3 2020 소유권 파생의 후계자. TI-89/Voyage 200 및 TI-Nspire 핸드헬드에 사용되는 Eval의 엔진에 기반
울프람 알파 울프램 리서치 2009 2013 프로 버전: 월 4.99달러, 학생용 프로 버전: 월 2.99달러, ioRegular 버전: 무료 소유권 단계별 해결책이 있는 온라인 컴퓨터 대수 시스템.
Xcas/Giac 베르나르 파리세 2000 2000 1.5.0-85 2019년 12월 12일 무료 GPL General CAS, 또한 HP Prime에 적응했다. Maple, MuPAD 및 TI89 구문에 호환되는 모드. 다른 프로그램과 함께 사용할 수 있는 심볼 스프레드시트, Giac 라이브러리. Linux 또는 WinCE를[24] 사용하는 일부 PDA용 ARM 포트
야카스 아얄 핑커스 외 1998[25] 1999 1.9.1 2020년 7월 4일 무료 GNU GPL
크리에이터 개발 시작 첫 공개 최신 안정화 버전 최근 안정적 출시일 비용(USD) 면허증 메모들

이러한 컴퓨터 대수 시스템은 범용 GNU Texmacs와 같이 더 나은 사용자 인터페이스를 제공하는 "프론트 엔드" 프로그램과 결합되기도 한다.

기능

아래는 각 시스템에서 현저하게 개발된 기호 기능을 요약한 것이다.

시스템 수식 편집기 임의정밀도 미적분학. 해결사 그래프 이론 수 이론 정량화 제거 부울 대수 텐서 확률 제어 이론 집단 이론 시스템
통합 적분 변환 방정식 불평등 디오판틴 방정식 미분 방정식 재발관계
공리 아니요. 네 네 네 네 네 네 네 네 아니요. 네 네 네 네 네 아니요. 네 공리
카다브라 아니요. 네 네 네 네 네 아니요. 네 아니요. 아니요. 아니요. 아니요. 아니요. 네 아니요. 아니요. 네 카다브라
프리카스 네 네 네 네 네 네 네 네 네 네 네 네 네 네 네 아니요. 네 프리카스
마그마 아니요. 네 아니요. 아니요. 네 아니요. 네 아니요. 아니요. 네 네 아니요. 아니요. 아니요. ? ? 네 마그마
마그누스 아니요. 네 아니요. 아니요. 아니요. 아니요. 아니요. 아니요. 아니요. ? ? 아니요. ? 아니요. 아니요. 아니요. 네 마그누스
단풍나무 네 네 네 네 네 네 네 네 네 네 네 네 네 네 네 네 네 단풍나무
마트카드 네 아니요. 네 아니요. 네 아니요. 아니요. 아니요. 아니요. 아니요. 아니요. 아니요. 아니요. 아니요. 아니요. 아니요. 아니요. 마트카드
매스매티카 네 네 네 네 네 네 네 네 네 네 네 네 네 네[26] 네 네 네 매스매티카
수학 아니요. 네[A] 네[A] 네[A] 네[A] 네[A] 네[A] 네[A] 네[A] 네[27] 네 아니요. 네 네 네 아니요. 네 수학
수학적 아니요. 아니요. 네 네 네 아니요. 아니요. 아니요. 아니요. 아니요. 네 아니요. 아니요. 아니요. 아니요. 아니요. 아니요. 수학적
기호 산술 도구 상자(MATLAB) 네 네 네 네 네 네 네 네 아니요. 네 네 아니요. 네 아니요. 네 네 아니요. 기호 산술 도구 상자(MATLAB)
막시마 아니요. 네 네 네 네 네 아니요. 네 네 네 네 아니요. 네 네 네 네 네 막시마
세이지매트 아니요. 네 네 네 네 네 네[A] 네 네 네 네 네[B] 네 네 네 아니요. 네 세이지매트
SICMUTils 아니요. 네 네 아니요. 네 아니요. 아니요. 네 아니요. 아니요. 아니요. 아니요. 네 네 아니요. 아니요. 아니요. SICMUTils
SMath 스튜디오 네 아니요. 네 아니요. 네 아니요. 아니요. 아니요. 아니요. 아니요. 아니요. 아니요. 아니요. 아니요. 아니요. 아니요. 아니요. SMath 스튜디오
심피 아니요. 네 네 네 네 네 네[28] 네 네 아니요. 네 아니요. 네 네 네 아니요. 네 심피
울프람 알파 네 네 네 네 네 네 네 네 네 네 네 네 네 아니요. ? ? 네 울프람 알파
GAP 아니요. 네 아니요. 아니요. 네 네 네 아니요. 네 네 네 네 네 네 아니요. 아니요. 네 GAP
Xcas/Giac 네 네 네 아니요. 네 네 아니요. 네 네 아니요. 네 아니요. 아니요. 아니요. 네 ? ? Xcas/Giac
야카스 아니요. 네 네 아니요. 네 아니요. 아니요. 아니요. 아니요. 아니요. 아니요. 아니요. 아니요. 아니요. ? ? 아니요. 야카스
줄이다 아니요. 네 네 ? 네 네 ? 네 ? ? 네 네 네 네 ? ? ? 줄이다
  1. ^ SymPy를 통해
  2. ^ Qepcad 옵션 패키지를 통해

"정식 편집"이 아닌 것들은 GUI, 플롯팅, ASCII 그래픽 공식, 수학 글꼴 인쇄가 있을 수 있다. 평문 파일을 생성할 수 있는 기능도 컴퓨터 대수 시스템이 설치되지 않은 사람들이 작품을 이해할 수 있게 해 주기 때문에 찾는 기능이다.

운영 체제 지원

소프트웨어는 에뮬레이션 없이 기본적으로 각각의 운영 체제에서 실행될 수 있다. 일부 시스템은 먼저 소스 언어와 대상 플랫폼에 적합한 컴파일러를 사용하여 컴파일되어야 한다. 일부 플랫폼의 경우 소프트웨어의 이전 버전만 사용할 수 있다.

시스템 도스 창문들 마코스 리눅스 BSD 솔라리스 안드로이드 iOS 사스 기타
공리 ? 에뮬레이터 네 네 아니요. 아니요. ? ? 아니요.
카다브라 아니요. 네 네 네 네 아니요. 아니요. 아니요. 아니요.
코코아 아니요. 네 네 네 네 네 ? ? 아니요. Tru64 UNIX, HP-UX, IRIX
끌어내다 네 네 아니요. 아니요. 아니요. 아니요. ? ? 아니요.
에러블 아니요. 에뮬레이터 에뮬레이터 에뮬레이터 아니요. 아니요. 아니요. 아니요. 아니요. HP 48/49/50/40 시리즈의 시스템 RPL
오일러 ? 네 아니요. 네 아니요. 아니요. ? ? 아니요.
페르마 ? 사이그윈 네 네 아니요. 아니요. ? ? 아니요.
폼 ? 사이그윈 네 네 네 네 ? ? 아니요.
프리카스 ? 키그윈+네이티브 네 네 네 네 ? ? 아니요.
GAP ? 네 네 네 네 네 ? ? 아니요.
칸트/카시 ? 네 네 네 아니요. 아니요. ? ? 아니요.
맥컬레이2 ? 사이그윈 네 네 네 네 ? ? 아니요.
마그마 ? 네 네 네 네 네 ? ? 아니요.
마그누스 아니요. 네 ? 네 ? 네 아니요. 아니요. 아니요. 선오스
단풍나무 아니요. 네 네 네 아니요. 아니요. 아니요. 아니요. 아니요.
마트카드 네 네 아니요. 아니요. 아니요. 아니요. 아니요. 아니요. 아니요.
매스매티카 네 네 네 네 아니요. 아니요. 아니요. 아니요. 네 라즈베리파이[19]
수학 아니요. 네 네 네 네 아니요. 아니요. 아니요. 아니요. 모든 POSIX 플랫폼
수학적 네 네 네 네 네 네 아니요. 네 아니요. 모든 POSIX 플랫폼
막시마 ? 네 네 네 네 네 네 ? 아니요. 모든 POSIX 플랫폼(Common Lisp 포함)
무함수 네 아니요. 아니요. 아니요. 아니요. 아니요. ? ? 아니요.
오픈악시움 ? 네 네 네 네 네 ? ? 아니요.
PARI/GP ? 네 네 네 네 네 네 ? 아니요.
줄이다 ? 네 네 네 네 네 네 네 아니요.
세이지매트 아니요. 네 네 네 아니요. 네 아니요. 네 네
SICMUTils 아니요. 네 네 네 네 네 네 네 네 Clojure 또는 Clojurescript를 지원하는 모든 시스템
단수형 ? 네 네 네 네 네 ? ? 아니요.
SMath 스튜디오 아니요. 네 모노 모노 모노 모노 네 네 네 유니버설 윈도 플랫폼
SymbolicC++ ? 네 네 네 네 네 ? ? 아니요.
기호 산술 도구 상자(MATLAB) 아니요. 네 네 네 아니요. 아니요. 아니요. 아니요. 네
심피 ? 네 네 네 네 네 네 네 네[29] Python을 지원하는 모든 시스템
TI-Nspire(데스크톱 소프트웨어) 아니요. 네 네 아니요. 아니요. 아니요. 아니요. 네 아니요.
Xcas/Giac 아니요. 네 네 네 네 네 네 네 아니요. HP Prime CAS, KhiCAS for TI Nspire
야카스 아니요. 네 네 네 네 네 ? ? 아니요.

계산기 그래프 작성

일부 그래프 작성 계산기에는 CAS 기능이 있다.

시스템 크리에이터 개발 시작 첫 번째 공개 릴리스/OS 버전 안정적 최신 버전/OS 버전 메모들
카시오 CFX-9970G CASIO 컴퓨터 주식회사 ? 1998
카시오 대수 FX 2.0 CASIO 컴퓨터 주식회사 ? 1999
Casio ClassPad 300, Casio ClassPad 300 Plus, Casio ClassPad 330, Casio ClassPad 330 Plus, Casio ClassPad fx-CP400, Casio fx-CG500
Casio ClassPad 관리자 		CASIO 컴퓨터 주식회사 2002 2003 3.10.7000(클래스패드 I)

2.01.7000(클래스패드 II, fx-CG500)

ClassPad Manager는 PC에서 실행되는 에뮬레이터다.
HP 49G, HP 49g+, HP 48gII, HP 50g, HP 40G, HP 40gs 휴렛패커드 1993 1.??(1999) / 4 2.15 (2006-09-19, 2009-04-21) / 4 HP 48S, HP 48SX, HP 48G, HP 48G+, HP 48GX의 애드온으로도 이용 가능한 Erable 기반. 엔지니어링 애플리케이션에서 발생하는 문제를 대상으로 함. 공개 가능한 소스 코드.
HP 프라임 휴렛패커드 2000 2013 2.1.14433(2020 01 21) CAS ver. 1.5.0 Xcas/Giac 기반. 공개 가능한 소스 코드.
TI-89 텍사스 인스트루먼트 1995 1996 2.09
TI-89 티타늄 텍사스 인스트루먼트 2003 2004 2005년 7월 18일 v3.10
TI-92 텍사스 인스트루먼트 1994 1995 ?
TI-92 플러스 텍사스 인스트루먼트 1997 1998 2003년 3월 27일 v2.09
TI-Nspire CAS, TI-Nspire CX CAS, TI-Nspire CX II CAS 텍사스 인스트루먼트 2006 2008 2019 v4.5.12(TI-Nspire CX CAS의 경우), 2019 v5.1.3(TI-Nspire CX II CAS의 경우)
항해로200번길 텍사스 인스트루먼트 2001 2002 2005년 7월 18일 v3.10


참고 항목

참조

  1. ^ "Computer Algebra Software". Special Interest Group on Symbolic and Algebraic Manipulation. Association for Computing Machinery. 2008-07-11. Retrieved 2012-11-16.
  2. ^ "Systems and Packages". Computer Algebra Information Network. 1998-05-07. Retrieved 2012-11-17.
  3. ^ "SAC Systems Listing". SymbolicNet. Archived from the original on 2012-04-15. Retrieved 2012-11-17.
  4. ^ Aladjev, V.Z. (2004). Computer algebra systems : a new software toolbox for Maple. [S.l.]: Fultus Books. p. 9. ISBN 9781596820005.
  5. ^ Labahn, K.O. Geddes; S.R. Czapor; G. (1999). Algorithms for computer algebra (6. pr. ed.). Boston: Kluwer. pp. xv. ISBN 9780792392590.
  6. ^ Gerhard, Joachim von Zur Gathen; Jürgen (2003). Modern computer algebra (2. ed.). Cambridge: Cambridge Univ. Press. pp. 4. ISBN 9780521826464.
  7. ^ 첫 번째 날짜는 첫 번째 상용 버전(확인할 날짜)의 날짜, 두 번째 날짜는 첫 번째 무료 라이센스 날짜.
  8. ^ "Axiom Computer Algebra System". Retrieved 2016-04-29.
  9. ^ "Releases - vermaseren/form - GitHub". Retrieved 2016-04-29.
  10. ^ "GAP Copyright". 2012-06-14. Retrieved 2015-02-26.
  11. ^ "LiveMath Store". Retrieved 2020-02-25.
  12. ^ MacCallum, Malcolm A. H. (2018). "Computer algebra in gravity research". Living Reviews in Relativity. 21 (1): 6. Bibcode:2018LRR....21....6M. doi:10.1007/s41114-018-0015-6. ISSN 2367-3613. PMC 6105178. PMID 30174551.
  13. ^ "Maplesoft Media Releases". www.maplesoft.com. Retrieved 2021-10-25.
  14. ^ "Maplesoft Web Store". Retrieved 2019-03-14.
  15. ^ "PTC Web Store". Retrieved 2015-02-01.
  16. ^ "Mathematica Quick Revision History". Retrieved 2020-05-20.
  17. ^ Cohen, Peter (2009-02-05). "Mathematica Home Edition Released". Macworld. Retrieved 2014-07-03.
  18. ^ "Wolfram Worldwide Web Store". Retrieved 2008-11-20.
  19. ^ a b Kastrenakes, Jacob (2013-11-21). "Raspberry Pi now includes Mathematica and Wolfram Language for free". The Verge. Retrieved 2014-07-03.
  20. ^ 컴퓨터 대수 체계인 막시마
  21. ^ "SageMath – Open-Source Mathematical Software System". Retrieved 2020-10-27.
  22. ^ "Wolfram Announcements Archive » Computer Algebra Pioneer Wins Nobel Prize". Wolfram Archive. 1999-10-15. Retrieved 2021-01-19.
  23. ^ Wolfram, Stephen (April 1985). "Symbolic Mathematical Computation" (PDF). Communications of the ACM. 28 (4): 390–394. doi:10.1145/3341.3347. S2CID 15577857.
  24. ^ "Xcas ARM". Retrieved 2010-10-12.
  25. ^ "Big changes ahead for Yacas". Retrieved 2011-04-19.
  26. ^ "Symbolic Tensors". Mathematica Documentation. Retrieved 2014-07-03.
  27. ^ "What makes up Mathics?". Mathics's Developer Reference. Retrieved 2021-07-08.
  28. ^ "SymPy release notes for 0.7.4". GitHub. Retrieved 2014-07-03.
  29. ^ SymPy 감마 통과

외부 링크