에이다에 대한 간격 산술 에이다에 대한 간격의 구현을 제공하는 수학 라이브러리입니다. 그것은 산술과 관계형 작업이 포함됩니다.예 :트라이 - 상태 로직패키지 간격 루트 패키지로서 기능하고 또한 간격에 관계 연산을 정의 할 필요가 삼 상태 로직을 제공한다. 논리 형태는 다음과 같이 정의된다 : 논리 유형이 (거짓, 사실, 불확실한); 다음 작업은 논리에 대해 정의 : 기능 "없습니다"(왼쪽 : 논리)는 논리를 반환; 기능 "과"(왼쪽, 오른쪽 : 논리)는...
카테고리별로 검색
- 개발자 도구
- 게임
- 교육 및 과학 소프트웨어
- 건강 및 피트니스 소프트웨어
- 과학 계산기
- 과학 소프트웨어
- 교구
- 구경 플러그인
- 단위 변환기
- 물리학 및 화학 소프트웨어
- 사전 및 번역
- 생물 정보학
- 수학 소프트웨어
- 외국어 소프트웨어
- 인공 지능 소프트웨어
- 전자 설계 자동화
- 전자 책 소프트웨어
- 족보 소프트웨어
- 종교 소프트웨어
- 지리 소프트웨어
- 천문학 소프트웨어
- 학생 도구
- 더 많은 교육 및 과학 소프트웨어
- 그래픽 디자인 소프트웨어
- 네트워킹 소프트웨어
- 데스크톱 향상
- 드라이버
- 디스크 및 파일 소프트웨어
- 디지털 사진 소프트웨어
- 보안 소프트웨어
- 브라우저
- 비디오 소프트웨어
- 비즈니스 및 사무실 소프트웨어
- 생산성 소프트웨어
- 시스템 유틸리티
- 오디오 소프트웨어
- 웹 개발 소프트웨어
- 인터넷 소프트웨어
- 통신 소프트웨어
- 홈 & 가족 소프트웨어
- 화면 보호기
인기있는 소프트웨어
-
gEDA 17 Feb 15
-
SAGE 22 Jun 18
-
AMIDE 20 Feb 15
-
PyVISA 3 Jun 15
-
Platform Independent Petri Net Editor 3 Jun 15
-
MMap 2 Jun 15
-
Pattern Classification Program 3 Jun 15
상단 교육 및 과학 소프트웨어 에 Linux
GRASS GIS 7.0.2 업데이트
일반적 GRASS라고도 이쪽 지리 정보 데이터 관리 및 분석, 이미지 처리, 그래픽 /지도 제작, 공간 모델링 및 가시화에 사용되는 지리 정보 시스템 (GIS). GRASS는 현재 전세계뿐만 아니라 많은 정부 기관 및 환경 컨설팅 회사에 의해 학술 및 상업 설정에서 사용된다. GRASS의 GIS는 GNU / GPL 라이센스로 배포되는 자유 소프트웨어입니다 무엇이 릴리스의 새로운 기능입니다. 이 버전을 포함하여 여러 가지 새로운 기능을 제공하는...
TRMiner 1.1
. TRMiner 파이썬 과학적 데이터 큐레이터 목표로 유틸리티 & NBSP이다 그것은 급속하게 주어진 광산 목표에 대한 관련 문장에 과학 출판물의 큰 컬렉션을 치기 할 수 있습니다.이것은 두 단계로 이루어진다. 첫째, 텍스트 관련 단어 토큰의 시퀀스로 tranlated된다. 둘째, 정규 표현식 패턴은 토큰의 순서로 검색됩니다. 일치는 자연 언어 문장으로 다시 번역 및 수동 큐레이터가 정렬하고 그 외의 읽을 거리 및 정보 추출을위한 속도 일치 할 수...
Seal 20120307
인감 하둡에 서열 정렬을 제공하는 파이썬 모듈이다.인감 생물학적 서열 정렬을위한 맵리 듀스의 응용 프로그램입니다. 그것은 Pydoop을 통해 하둡 (http://hadoop.apache.org) (http://pydoop.sourceforge.net), 하둡을위한 파이썬 맵리 듀스와 HDFS API에서 실행 이 요구 사항 :. ...
avalanchetoolbox 0.4.2
avalanchetoolbox 식별하고 같은 신경 눈사태로 분기 프로세스를 설명하기위한 도구입니다 이 요구 사항 : 있습니다. ...
iqr 2.4.1
IQR 그래픽 대규모 뉴런 모델을 설계하고 제어하기위한 시뮬레이션 시스템이다.IQR 작성 및 대규모 신경망의 시뮬레이션을 실행하기위한 도구입니다.IQR의 그래픽 사용자 인터페이스 (GUI)를 통해 사용자의 수 :- 시스템을 설계- 시뮬레이션의 주행을 제어- 런타임시 모델의 매개 변수 변경뉴런의 그룹 사이의 연결을 모델링 초석이므로 IQR 유연하면서도 연결 패턴의 다양한 정의하는 데 사용하는 방법 및 컴팩트 쉽게 제공한다.메인 화면의 왼쪽에있는 브라우저는...
mathtools 1.2
mathtools은 원의 영역과 같은 간단한 수학 공식과 계산을 제공하고, 피트 미터, 속도 = 거리 / 시간 & NBSP에, 그리고 더 많은,보다 더 길에. 의 bitbucket 우리를 확인!...
imposm.geocoder 0.1.3
imposm.geocoder는 OpenStreetMap의 데이터에 대한 지오, 파이썬 libary로 개발 및 주소를 좌표로 변환하는 데 사용할 수있다.지금 지오 코더는 초기 베타 상태에 아직도 일부 코드는 독일어 주소에 최적화되어 있습니다. API는 향후 변경 않을 수 있다는 점에 유의하십시오.그것은 PostgreSQL을 / PostGIS와 데이터베이스 및 가져 오기 도구 Imposm에 따라 달라집니다. 그것은 개발 OmniScale을 지원합니다....
jplephem 1.1
. 사용하여 화성의 위치를 확인하려면 jplephem는 위치와 행성의 하나의 속도 또는 크기와 변화율 지구 장동 또는 달의 libration의의 & NBSP의 제트 추진 연구소 (Jet Propulsion Laboratory)의 위성 궤도를 참조 할 수 있습니다 DE421 추산는, 예를 들어, 두 개의 패키지를 설치하여 시작합니다 :jplephem를 설치 PIPde421를 설치 PIP그럼 당신은이 같은 스크립트를 사용하여 위치를 계산할 수 있습니다...
de405 1997
. de405는 천문 2003 년 이후 미국 해군 관측소의 연감과 힘 제트 추진 연구소 (Jet Propulsion Laboratory)의 온라인 호라이즌 서비스 & NBSP의 기초가되었습니다; 좌표와 속도는 주요 행성 제공하는 일, 그리고 지구의 달 수 있습니다.이름 : DE405 (1997 년 5 월)년 : 1600 2200를 통해행성 : 예일 / 달 : 예Nutations : 예Librations : 예보고서 : 스탠 (1998) [PDF]크기...
카테고리별로 검색
- 개발자 도구
- 게임
- 교육 및 과학 소프트웨어
- 건강 및 피트니스 소프트웨어
- 과학 계산기
- 과학 소프트웨어
- 교구
- 구경 플러그인
- 단위 변환기
- 물리학 및 화학 소프트웨어
- 사전 및 번역
- 생물 정보학
- 수학 소프트웨어
- 외국어 소프트웨어
- 인공 지능 소프트웨어
- 전자 설계 자동화
- 전자 책 소프트웨어
- 족보 소프트웨어
- 종교 소프트웨어
- 지리 소프트웨어
- 천문학 소프트웨어
- 학생 도구
- 더 많은 교육 및 과학 소프트웨어
- 그래픽 디자인 소프트웨어
- 네트워킹 소프트웨어
- 데스크톱 향상
- 드라이버
- 디스크 및 파일 소프트웨어
- 디지털 사진 소프트웨어
- 보안 소프트웨어
- 브라우저
- 비디오 소프트웨어
- 비즈니스 및 사무실 소프트웨어
- 생산성 소프트웨어
- 시스템 유틸리티
- 오디오 소프트웨어
- 웹 개발 소프트웨어
- 인터넷 소프트웨어
- 통신 소프트웨어
- 홈 & 가족 소프트웨어
- 화면 보호기
인기있는 소프트웨어
-
SpatiaLite 20 Feb 15
-
FreeMED LiveCD 3 Jun 15
-
octopus TDDFT 3 Jun 15
-
Nightshade 14 Apr 15
-
Pcb 3 Jun 15
-
TRIP 20 Feb 15
-
wxMaxima 23 Nov 17