Proof Substitute for the Humdrum Toolkit

Programas Relacionados

• The Tab Completion Grade Book Grátis

  Um programa java para gerir os livros de notas dos professores. Suporta notas ponderadas, atribuições arbitrariamente aninhadas, vários cursos, vários alunos, uma visão por aluno que não revela nenhuma informação sensível so

• BioSap Grátis

  Pacote de acelerador integrado de oligonucleótido BioSap-Blast. O BioSap seleciona oligos únicos para microarrays, detetando parâmetros definidos pelo utilizador e executando instâncias paralelas de Acaama e Blast nos motores

• EnotifWiki Grátis

  EnotifWiki adiciona notificação de e-mail ao motor MediaWiki da Wikipédia: quando as páginas são alteradas ou criadas, um e-mail ("enotif") é automaticamente enviado para os utilizadores de observação. Ligações rápi

• Gtk+/CLI IDP Interface Grátis

  Este projeto fornece software para usar com dicionários IDP sobLinux e outros Unices. Este projeto não redistribui dicionários, massão 95% grátis, para que possa descarregá-los a partir de http://www.june29.com/IDP/

• MODELbuilder Grátis

  MODELbuilder é uma aplicação que fornece uma forma gráfica de derivar vários modelos a partir de dados empíricos e de simulação.

• SPAS Grátis

  SPAS (Structure Property Analysis Software) é um software de relação estrutura-propriedade quantitativa (QSPR).

• CHALICE Grátis

  Ligação das Autoridades Históricas com Ligações, Contextos e Entidades. O CHALICE é um nome histórico de nome gazeta para o Reino Unido, publicado como Linked Data e ligado a outras fontes amplamente utilizadas de informações

• Finite Element LibrarY eXperiment Grátis

  FELYX é um código FE/FEM orientado para objetos escrito em C++. Fornece os elementos mais comuns para análise estrutural, redução da largura de banda, um solucionador de horizonte rápido, alguns solvedores iterativos e uma in

• Java Linear Algebra Library Grátis

  JLAL é um pacote linear de álgebra para java, proporcionando uma API orientada a objetos fácil de usar. A biblioteca suporta operações aritméticas, inversão, várias decomposições matrices, solução de equações lineares, e muit

• EZMWeb Grátis

  O EZMWeb é um sistema de integração e pesquisa de bioinformação baseado na Web de código aberto. Os utilizadores podem pesquisar a informação enzimática integrada. Implementa a análise da correlação entre diferentes enzimas,