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.