libbrial-groebner3t64

computer algebra routines of BRiAl

The core of BRiAl is a C++ library, which provides high-level data types for Boolean polynomials and monomials, exponent vectors, as well as for the underlying polynomial rings and subsets of the powerset of the Boolean variables. As a unique approach, binary decision diagrams are used as internal storage type for polynomial structures. On top of this C++-library a Python interface is provided. This allows parsing of complex polynomial systems, as well as sophisticated and extendable strategies for Groebner base computation. BRiAl features a powerful reference implementation for Groebner basis computation.

libck0t64

Concurrency Kit (library)

The Concurrency Kit library implements concurrency primitives, safe memory reclamation mechanisms and non-blocking data structures for the research, design and implementation of high performance concurrent systems.

libsimtkmolmodel3.1t64

C++ API for creating molecular models for SimTK

Provides C++ API for creating molecular models whose dynamics can be simulated using the SimTK Simbody library. Molmodel is a programmer's toolkit for building reduced-coordinate, yet still all-atom, models of large biopolymers such as proteins, RNA, and DNA. One can control the allowed mobility. By default, Molmodel builds torsion-coordinate models in which bond stretch and bend angles are rigid while bond torsion angles are mobile. But one is able to rigidify or free any subsets of the atoms, such as the rigid benzene ring.

libgap9

GAP computer algebra system, compiler and development files

GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library of thousands of functions implementing algebraic algorithms written in the GAP language as well as large data libraries of algebraic objects. GAP is used in research and teaching for studying groups and their representations, rings, vector spaces, algebras, combinatorial structures, and more.

libopenmesh10.0

Tools for representing and manipulating polygonal meshes

OpenMesh is a generic and efficient data structure for representing and manipulating polygonal meshes. It was designed with the following goals in mind: