-->

Agnitus is a developer of touch-enabled learning applications.

Model Builder is a graphical tool for designing, simulating and analysing Mathematical models).

NETGEN is an automatic 3d tetrahedral mesh generator.

MrBayes is a program for Bayesian inference and model choice across a wide range of phylogenetic and evolutionary models.

Maria is a reachability analyzer for concurrent systems that uses Algebraic System Nets.

CUC³ covers an exceptionally broad range of topics in theoretical and quantum chemistry.

COQ is a Proof Assistant for a Logical Framework known as the Calculus of Inductive Constructions.

Concalc is a calculator for the Linux console.

Cadabra is a computer algebra system (CAS) designed specifically for the solution of problems encountered in field theory.

The Basic Linear Algebra Communication Subprograms constitute a message-passing library designed for linear algebra.

Random Posts

Recent Posts

Recent Posts Widget

Popular Posts

Labels

Archive

page counter follow us in feedly
 
Copyright © 2014 Linuxlandit & The Conqueror Penguin
-->