z3

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

라이센스가있는 모든 플랫폼에서 z3를 대체

180

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

172

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

165

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

140

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

온라인 수학 솔버, 방정식 편집기 및 데이터베이스, 그래프 계산기 및 과학 / 엔지니어링 문제 도우미.

수학 문제를 입력하고 Cymath가 단계별로 해결하도록하십시오! 고등학생의 경우 Cymath는 다음과 같은 대수학 주제를 다룹니다.

$Solve My Math$

수학 문제를 해결하고 그 뒤에 숨겨진 개념을 이해하도록 설계된 백여 개 이상의 즉각적이고 단계별 수학 해석 및 계산기를 사용하여 수학에 대한 온라인 도움말을 신속하게 얻을 수 있습니다.