Proof Substitute for the Humdrum Toolkit
Podrás descargarlo en 5 segundos.
También puede hacer clic en el siguiente enlace de descarga externa para iniciar la descarga:
http://sourceforge.net/projects/kern-proof/files/census0.3.1.jar/download
acerca de Proof Substitute for the Humdrum Toolkit
Reimplementación del mandato proof del kit de herramientas Humdrum en Java
Programas relacionados
-
The Tab Completion Grade Book Gratis
Un programa Java para la gestión de libros de calificaciones de los profesores. Admite calificaciones ponderadas, tareas anidadas arbitrariamente, varios cursos, varios alumnos, una vista por alumno que no revela información
-
BioSap Gratis
Paquete acelerador de selección de oligonucleótidos integrados BioSap-Blast. BioSap selecciona oligos únicos para microarrays mediante la detección de parámetros definidos por el usuario y la ejecución de instancias paralelas
-
EnotifWiki Gratis
EnotifWiki añade una notificación por correo electrónico al motor MediaWiki de Wikipedia: cuando se cambian o crean páginas, se envía automáticamente un correo electrónico ("enotif") a los usuarios que ven. Enlaces
-
Gtk+/CLI IDP Interface Gratis
Este proyecto proporciona software para usar con diccionarios IDP bajoLinux y otros Unices. Este proyecto no redistribuye diccionarios, peroson 95% gratis, por lo que puedes descargarlos de http://www.june29.com/IDP/
-
MODELbuilder Gratis
MODELbuilder es una aplicación que proporciona una forma gráfica de derivar varios modelos de datos empíricos y de simulación.
-
SPAS Gratis
SPAS (Structure Property Analysis Software) es un software Quantitative Structure-Property Relationship (QSPR).
-
CHALICE Gratis
Conexión de autoridades históricas con enlaces, contextos y entidades. CHALICE es un boletín histórico de nombre de lugar para el Reino Unido, publicado como Linked Data y vinculado a otras fuentes ampliamente utilizadas de i
-
Finite Element LibrarY eXperiment Gratis
FELYX es un código FE/FEM orientado a objetos escrito en C++. Proporciona los elementos más comunes para el análisis estructural, la reducción de ancho de banda, un solucionador de horizonte rápido, algunos solucionadores ite
-
Java Linear Algebra Library Gratis
JLAL es un paquete de álgebra lineal para java, que proporciona una API orientada a objetos fácil de usar. La biblioteca admite operaciones aritméticas, inversión, varias descomposiciones de matrices, solución de ecuaciones l
-
EZMWeb Gratis
EZMWeb es un sistema de búsqueda e integración de bioinformación basado en web de código abierto. Los usuarios pueden buscar en la información de enzimas integrada. Implementa el análisis de correlación entre diferentes enzi