Proof Substitute for the Humdrum Toolkit
Sarai in grado di scaricare in 5 secondi.
Puoi anche fare clic sul seguente link per il download esterno per iniziare il download:
http://sourceforge.net/projects/kern-proof/files/census0.3.1.jar/download
Circa Proof Substitute for the Humdrum Toolkit
Reimplementazione del comando proof dal toolkit Humdrum in Java
Programmi correlati
-
The Tab Completion Grade Book Gratuito
Un programma Java per la gestione dei libri di voto degli insegnanti. Supporta voti ponderati, assegnazioni nidificate arbitrariamente, più corsi, più studenti, una visualizzazione per studente che non rivela informazioni ri
-
BioSap Gratuito
Pacchetto acceleratore di selezione oligonucleotide integrato BioSap-Blast. BioSap seleziona olighi unici per microarray rilevando parametri definiti dall'utente ed eseguendo istanze parallele di Featurama e Blast sui motori
-
EnotifWiki Gratuito
EnotifWiki aggiunge una notifica tramite posta elettronica al motore MediaWiki di Wikipedia: quando le pagine vengono modificate o create, viene automaticamente inviata una e-mail ("enotif") agli utenti che guardano
-
Gtk+/CLI IDP Interface Gratuito
Questo progetto fornisce software da utilizzare con dizionari IDPLinux e altri Unices. Questo progetto non ridistribuisce i dizionari, masono gratuiti al 95%, quindi puoi scaricarli da http://www.june29.com/IDP/
-
MODELbuilder Gratuito
MODELbuilder è un'applicazione che fornisce un modo grafico per derivare vari modelli da dati empirici e di simulazione.
-
SPAS Gratuito
SPAS (Structure Property Analysis Software) è un software QSPR (Quantitative Structure-Property Relationship).
-
CHALICE Gratuito
Collegamento delle autorità storiche con collegamenti, contesti ed entità. CHALICE è uno storico gazetteer di luoghi per il Regno Unito, pubblicato come Linked Data e collegato ad altre fonti ampiamente utilizzate di informaz
-
Finite Element LibrarY eXperiment Gratuito
FELYX è un codice FE/FEM orientato agli oggetti scritto in C++. Fornisce gli elementi più comuni per l'analisi strutturale, la riduzione della larghezza di banda, un risolutore di skyline veloce, alcuni risolutori iterativi e
-
Java Linear Algebra Library Gratuito
JLAL è un pacchetto di algebra lineare per java, che fornisce un'API orientata agli oggetti facile da usare. La libreria supporta operazioni aritmetiche, inversione, varie decomposizioni di matrici, soluzione di equazioni lin
-
EZMWeb Gratuito
EZMWeb è un sistema di integrazione e ricerca di bioinformazione open source basato sul Web. Gli utenti possono cercare le informazioni enzimatica integrate. Implementa l'analisi della correlazione tra diversi enzimi, dà i s