Hilbert II

Hilbert II 0.04.06

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

DanCalculator 사용자가 같은 부문, 곱셈, 뺄셈과 또한 같은 기본적인 수학 연산을 수행 할 수 있습니다 자바로 작성된 오픈 소스 계산기 소프트웨어이다.자바로 작성되고, DanCalculator은 리눅스, 맥 OS & NBSP에 완벽하게 실행하도록 설계 크로스 플랫폼 도구입니다; X & NBSP; 및 Windows 운영 체제 이 요구 사항 :있다. J2SE (Java 2 Standard Edition)의 런타임...

가우스 중 & ndash; 요르단 제거는 가우 & szlig를 사용하여, 잘 아는 사용자가 쉽게 행렬을 반전 할 수 있도록 설계 오픈 소스 소프트웨어입니다 -Jordan 제거.가우스 중 & ndash; 요르단 제거 솔루션과 계산을 표시하고, 10 × 10의 크기로 행렬을 지원합니다. 그것은 리눅스, 맥 OS & NBSP에서 실행되도록 설계 크로스 플랫폼 응용 프로그램입니다; X합니다. & nbsp; 및 Windows 운영...

BoolStuff

BoolStuff 0.1.14

BoolStuff 부울 식 이진 나무에 몇 가지 작업을 지원할 수있는 C 라이브러리입니다.또한 제공되는 DNF로 표현을 변환이 라이브러리를 호출하는 명령 이름 booldnf 이 특징 :. 이 간단한 불리언 표현식 파서 (지원 연산자 AND, OR 및 NOT 등을 잘) 괄호와 같은;알고리즘 (이 알고리즘은 NOT 연산자를 지원합니다)의 논리합 정규형으로 부울 식 이진 트리를 변환;식 트리가 DNF에있는 경우 결정하는 함수입니다. 이 릴리스의 새로운...

RKward

RKward 0.6.1

RKWard 투명하고 쉽게 R 언어로 인터페이스를 사용되기 위해 디자인 된 오픈 소스 소프트웨어입니다.RKward는 편리한 사용자 인터페이스를 제공 할뿐만 아니라, 오피스 스위트와 완벽하게 통합 돌봐되지 않습니다 이 릴리스의 새로운 기능입니다 무엇 : 있습니다. - 가까운 강제로 옵션을 추가 그래픽 윈도우행이나 열에서 data.frames을 부분 집합에 대한 플러그인을 추가Windows 플랫폼에서 새로운 (실험) 바이너리 시작 래퍼...

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

화성 시뮬레이션 프로젝트는 화성의 미래 인간의 정착의 시뮬레이션을 만들 수 있도록 설계 오픈 소스 자바 소프트웨어입니다.화성 시뮬레이션 프로젝트의 메인 윈도우는 다음과 같은 구성 요소가 포함- 메뉴 바- 검색 도구- 시간 도구- 화성 네비게이터- 모니터 도구- 로버 정보 창- 결제 정보 창- 사람 정보 창- 단위 바다음은 시뮬레이션을 위해 수정할 수있는 구성 파일입니다. 변경 후, 새로운 시뮬레이션을 시작해야합니다 :- buildings.xml-...

JKuadrat

JKuadrat 1.1

JKuadrat는 determinan 및 제곱근 수식을 계산에 사용할 수있는 자바로 작성된 무료 그래픽 소프트웨어입니다.JKuadrat을 사용하려면, 당신은 http://www.slideshare.net/trisaptoadji/my-javanote03에서의 튜토리얼을 읽어야자바로 작성되고, JKuadrat은 리눅스, 맥 OS & NBSP을 지원하는 플랫폼에 독립적 인 응용 프로그램입니다; X & NBSP; 및 Windows 운영 체제 이 요구 사항...

HEALPix

HEALPix 3.11

HEALPix는 (계층 동일한 영역 isoLatitude 픽셀 화)은 구형의 영역에 픽셀 화, 계층 연동, 합성, 분석 및 데이터 시각화를위한 소프트웨어입니다.이름으로 제안,이 픽셀 화는 각 픽셀마다 다른 픽셀과 같은 표면 영역을 커버하는 구형 표면의 하부를 생성 이 릴리스의 새로운 기능입니다 무엇 : 있습니다. 버그 수정 및 개선 사항 :일반 :포트란 및 C ++ HEALPix 3.10 이후 구형 고조파 변환에 사용 libsharp C...

EqualX

EqualX 0.6.0 Beta

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