가장 좋은 수학 소프트웨어 에 Linux

힐버트 II 프로젝트는 확인 읽을 수학적 지식에 분산 된 접근이다. 이 이름은 이미 알 수 있듯이,이 프로젝트는 힐버트의 프로그램의 전통입니다. 힐버트 II는 공식적인 올바른 형태의 수학적 정리와 증거가 포함 된 무료, 월드 와이드 수학적 지식베이스되고 싶다. 모든 속하는 문서는 GNU 자유 문서 사용 허가서를하고 있습니다. 우리는 형식적인 구문에 대한 공통의 수학적 논증을 적용하는 것을 목표로 . 즉, 수학 논증의 특정 종류는 종종 우리가 힐버트...

.이 누락 계획 funcionality 많이, 그것의 아주 초기 버전 프랙탈 Fr0st는 반복 된 funcion의이 렌더링과 같은 시스템 & NBSP의 결과를 시각화 할 수 파이썬 / 파이 게임에서 작성된 응용 프로그램입니다.전용 제어 원경 변환 활성의 위치를​​ 변경하기 위해 마우스를 이동하고, 좌우 키 변환 전환 할. 그것은 단지 그것을 밖으로 시도, 비 기술적 인 측면에서 설명하기 어렵다. 당신이 융기를 사용하는 방법을 알고 있다면, 당신은...

상미 분 방정식 RubySode 시스템은 (Sode.rb)는 하나를 해결하기 루비 프로그램 (또는 시스템) 상미 분 방정식 (S)가 생성 루비 프로그램이다. 교수 YF에 의해 개척 긴 테일러 급수 방법, 내가 거기에 대학원생이었던 1970 년대 후반에 네브라스카 대학에서 강의 장, 사용됩니다.그것은 일반적으로 30 불구하고 테일러 급수 용어의 수는 문제 파일을 지정할 수 있습니다 이 릴리스의 새로운 기능입니다 무엇 :. 이 결과는 지금...

EqualX 쉽게 라텍스 방정식을 작성하고 실시간으로 미리 볼 수 있습니다 응용 프로그램입니다.프로젝트의 목적은 다음과 같습니다- 멤버십 사용자 기록을 더 쉽게 라텍스 및 식 실시간 미리 볼 :- 기호 완료- GUI 툴 필요한 심볼들을 포함- (등 전경, 배경, 글꼴 크기, 글꼴 얼굴, 그림자,) 생성 식을 사용자 정의- 생성 된 방정식을 끌어 다른 응용 프로그램에서 삭제 될 수 있습니다- 다른 형식으로 내보내기 / 가져 오기 생성 식 (PNG,...

P3DFFT 불리는 병렬 3 차원 고속 푸리에 변환은, 물리학, 기후학, 화학 등 과학의 넓은 범위에서 계산 컴퓨팅을위한 라이브러리입니다.이 프로젝트는 전략 애플리케이션 협력 (SAC) 프로젝트의 제품으로 드미트리 Pekurovsky에 의해 SDSC에서 개발 한 이 특징 :.에 중요한 한계를 극복 2D 데이터 분해 이 병렬 구현, 1D, 또는 슬래브, 분해를 구현하는 다른 3D FFT 라이브러리의 확장 성을 제공합니다.병렬 통신 및 단일 CPU...

는 Stacniac RPN 계산기 프로그램이다. 당신은 다운로드하여 무료로 사용 (- 아래의 버튼을 클릭하지만 기부금은 감사 허용됩니다) 할 수 있습니다.이 페이지에 링크 할 수 있습니다. Stacniac 재배포하지 마십시오; 을 디 컴파일하거나 수정하지 마십시오.당신이 번호를 입력 한 다음 명령을 입력 :이 버튼이없는 점에서 Stacniac는 '약간 이상한'입니다. 분명히, 대부분의 사람들은 대수 계산기를 선호 버튼을 클릭하고 싶은,...