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: