새로운 수학 소프트웨어 에 Linux

특히 엔지니어링 학생 및 학자에 대한 설계, 카르노지도 분석기는 카르노 맵과 부울 식을 단순화 할 수있는 상용 소프트웨어입니다.사실, 복잡한 맵을 최소화하기위한 강력한 기능을 제공, 부울 식으로 작동하는 사람을위한 편리한 도구가 될 증명할 수 있습니다.카르노지도 분석기는 우분투 10.10 우분투 12.04 LTS에서 테스트되었습니다 이 특징 : 있습니다. 부울 식을 최소화SOP, POS 및 소수 표기법으로 부울 식 변환진실 테이블과 용어의 집합에...

TRIP은 천체 역학에 전념 일반​​적인 컴퓨터 대수 시스템입니다. 여행은 수치 커널을 포함하고 GNUPLOT하는 인터페이스와 xmgrace있다.계산은 이중, 쿼드 러플, 또는 다중 정밀도로 수행 될 수있다. 사용자는 동적으로 C, C ++, 또는 포트란으로 작성된 외부 라이브러리를로드 할 수 있습니다 이 릴리스의 새로운 기능 무엇 :. 이 TRIP 지금까지 1,024 코어 (대신 255)와 컴퓨터를 지원합니다 .확장 성이 큰 NUMA 컴퓨터에서...

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

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

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

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

mathchem는 수학 화학 파이썬 패키지입니다.다음 행렬을 계산합니다 :- 인접성 (adjacency)- 라플라스- Signless 라플라시안- 표준화 된 라플라시안- 거리- 저항의 거리- 상호 거리다음 위상 인덱스를 계산합니다 :- 위의 모든 행렬의 스펙트럼- 스펙트럼 순간- 에너지- 자그레브 M1 색인- 자그레브 M2 색인- 연결 인덱스 (R)- 편심 연결 색인- Randic 색인- 아톰 본드 연결 지수 (ABC)- 모든 행렬에 대한 에스트라다...