Proof Substitute for the Humdrum Toolkit

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