Search Results for "computer aided software engineering"

Our software GENPPI is efficient because, for example, it creates interaction networks from the central genome of 50 species/lineages of Corynebacterium, with an average size of 2200 genes, in less than 40 minutes, on a conventional computer. Our software is compelling because the interaction networks that it creates reflect evolutionary relationships between species and obtained in Average Nucleotide Identity (ANI) analyzes. Also, It allows the user to define how he intends to explore the...

Axiom is a computer algebra system. It consists of an interpreter, a compiler and a library of algorithms. Axiom is an excellent research platform as well as a useful tool for scientific programming.

OpenAxiom is an open source Computer Algebra System. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences.

Collection of tools for allowing CAD (Computer Aided Design) systems to interact with STEP (ISO 10303) data.

The OKlibrary is a research platform for generalised SAT solving. It provides tools to tackle "intractable problems" at the Maxima computer-algebra level and at the C++ level. It also automatically installs a wide range of external software.