Proof Substitute for the Humdrum Toolkit

Programas Relacionados

• The Tab Completion Grade Book Livre

  Um programa Java para gerenciar livros de notas de professores. Suporta notas ponderadas, atribuições arbitrariamente aninhadas, vários cursos, vários alunos, uma visão per-aluno que não revela informações confidenciais sobr

• BioSap Livre

  BioSap-Blast Pacote de acelerador de seleção de oligonucleotídeos integrados. O BioSap seleciona oligos exclusivos para microarrays detectando parâmetros definidos pelo usuário e executando instâncias paralelas de Featurama e

• EnotifWiki Livre

  EnotifWiki adiciona notificação de e-mail ao mecanismo MediaWiki da Wikipédia: quando as páginas são alteradas ou criadas, um e-mail ("enotif") é enviado automaticamente para usuários de observação. Links rápidos pa

• Gtk+/CLI IDP Interface Livre

  Este projeto fornece software para usar com dicionários IDP sobLinux e outros Unices. Este projeto não redistribui dicionários, maseles são 95% grátis, então você pode baixá-los de http://www.june29.com/IDP/

• MODELbuilder Livre

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

• SPAS Livre

  SPAS (Structure Property Analysis Software) é um software QSPR (Quantitative Structure-Property Relationship, relacionamento estrutura-propriedade) da Estrutura quantitativa.

• CHALICE Livre

  Conectando Autoridades Históricas com Vínculos, Contextos e Entidades. O CÁLICE é um site histórico para o Reino Unido, publicado como Linked Data e vinculado a outras fontes amplamente utilizadas de informações de referência

• Finite Element LibrarY eXperiment Livre

  FELYX é um código FE/FEM orientado a 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 solucionadores iterativos e uma i

• Java Linear Algebra Library Livre

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

• EZMWeb Livre

  O EZMWeb é um sistema de pesquisa e integração de bioinformações baseadas na Web de código aberto. Os usuários podem pesquisar as informações integradas da enzima. Implementa a análise de correlação entre diferentes enzimas,