Mac 용 z3의 대안

• Mac
  모든 플랫폼 Windows Mac Linux Android iPhone iPad Web BSD
• 모든 라이센스
  모든 라이센스 무료 라이센스 오픈 소스 라이센스 상용 라이센스

180

MATLAB

수치 계산을위한 엔터프라이즈 급 컴퓨팅 환경 및 프로그래밍 언어.

• 유료 앱
• Windows
• Mac
• Linux
• Android
• iPhone
• iPad
• Web

172

GNU Octave

옥타브는 MATLAB과 대부분 호환되는 수치 계산을 수행하기위한 컴퓨터 프로그램입니다.GNU 프로젝트의 일부입니다.

• 무료 앱
• Windows
• Mac
• Linux
• BSD

165

R (programming language)

R은 통계 컴퓨팅 및 그래픽을위한 무료 소프트웨어 환경입니다.

• 무료 앱
• Windows
• Mac
• Linux
• BSD

140

Mathematica

머신 러닝 및 신경망, 데이터 과학, 시각화 등을 아우르는 결정적인 기술 컴퓨팅 시스템.

• 유료 앱
• Web
• Windows
• Mac
• Linux