Mathematica는 과학, 공학 및 수학 분야 및 기타 기술 컴퓨팅 분야에서 널리 사용되는 전산 소프트웨어 프로그램입니다.
카테고리
라이센스가있는 모든 플랫폼에서 Mathematica를 대체

2
z3
Z3는 Microsoft Research의 정리 증명 자입니다.

2

1
HP Prime Graphing Calculator
HP Prime은 고등학교 및 대학교를위한 훌륭한 과학 및 그래픽 계산기입니다.

1

1
Altair Compose
Altair Compose는 다양한 수학 및 선형 대수 (매트릭스 분석 및 미분 방정식 포함), 필터 신호, 데이터를 통한 다항식 맞추기, 시뮬레이션 소프트웨어의 결과 근사 또는 확인, 최적화 수행에 사용됩니다.

1

0