libcoq-mathcomp-algebra
Mathematical Components library for Coq (algebra)
The Mathematical Components Library is an extensive and coherent
repository of formalized mathematical theories. It is based on the
Coq proof assistant, powered with the Coq/SSReflect language.
gap-hapcryst
GAP HAPcryst - A HAP extension for crystallographic groups
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.
libcoq-math-classes
Abstract interfaces for mathematical structures for Coq
This library provides abstract interfaces for mathematical
structures for Coq, such as:
- algebraic hierarchy (groups, rings, fields, ...)
- relations, orders, ...
- Categories, functors, universal algebra, ...
- Numbers: N, Z, Q, ...
- Operations (shift, power, abs, ...).
libopenmesh-apps
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:
libopenmesh1
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:
bergman
Gröbner bases in commutative and non-commutative algebras
Bergman is a powerful tool to calculate Gröbner bases in commutative
and non-commutative algebras, and in modules over them. It may also be
used to calculate some invariants of algebras and modules: the Hilbert
series, and (in the non-commutative case) the Poincaré-Betti series,
the Anick resolution, and the Betti numbers.