×

Found 17 Software Packages (Results 1–17)

Normaliz

Software Authors:   Winfried Bruns, Bogdan Ichim, Tim Römer, Christof Söger
Referenced in: 176 Publications (1998–2023)
Related Software: Macaulay2; 4ti2; polymake; SINGULAR; CoCoA; SageMath; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

kbmag

Software Authors:   Derek Holt
Referenced in: 23 Publications (1996–2022)
Related Software: GAP; MAF; Magma; AUTOMATA; tools-for-cyclically-presented-groups; SINGULAR; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX)

NumericMonoid

Software Authors:   Fromentin, J., Hivert, F.
Referenced in: 22 Publications (2016–2021)
Related Software: nsgtree; numericalsgps; NumericalSemigroupsWithGenus; GAP; OEIS; GitHub; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Commutative algebra (13-XX)

AMoRE

Software Authors:   O. Matz, A. Miller, A. Potthoff, W. Thomas, E. Valkema
Referenced in: 12 Publications (1998–2010)
Related Software: GAP; AUTOMATE; Grail; OEIS; MONOiD; Quicksort; …
Main Fields: General and overarching topics; collections (00-XX); Group theory and generalizations (20-XX); Computer science (68-XX)

AUTOMATE

Software Authors:   Champarnaud, J.M.; Hansel, G.
Referenced in: 12 Publications (1990–2019)
Related Software: Grail; AMoRE; Semigroupe; libsemigroups; Semigroups; MONOiD; …
Main Fields: General algebraic systems (08-XX); Group theory and generalizations (20-XX); Computer science (68-XX)

Kleene Algebra

Software Authors:   Armstrong, A., Struth, G., Weber, T.
Referenced in: 8 Publications (2015–2022)
Related Software: Archive Formal Proofs; Isabelle/HOL; Sledgehammer; Relation Algebra; HOL; RelView; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX)

CCUBE

Software Authors:   A. Brodsky, V. Segal, J. Chen, P. Exarkhopoulo
Referenced in: 4 Publications (1997–2013)
Related Software: XQuery; LyriC; DEDALE; YACC; OPL; CHIP; …
Main Fields: Computer science (68-XX)

AG

Software Authors:   Caron, P.
Referenced in: 3 Publications (2000)
Related Software: LANGAGE; Maple; AMoRE; AUTOMATE
Main Fields: Group theory and generalizations (20-XX); Computer science (68-XX)

MAF

Software Authors:   A. Williams
Referenced in: 4 Publications (2011–2021)
Related Software: kbmag; Magma; GAP; SnapPy
Main Fields: Group theory and generalizations (20-XX); Manifolds and cell complexes (57-XX); Computer science (68-XX)

MONOiD

Software Authors:   James Mitchell; Götz Pfeiffer; Steve A. Linton, Edmund F. Robertson; Nik Ruskuc
Referenced in: 4 Publications (2001–2019)
Related Software: GAP; Magma; Semigroupe; libsemigroups; Semigroups; orb; …
Main Fields: Group theory and generalizations (20-XX); Computer science (68-XX)

MRC

Software Authors:   Reinert, Birgit; Zeckzer, Dirk
Referenced in: 4 Publications (1999–2010)
Related Software: kan; BERGMAN; LEDA
Main Fields: Commutative algebra (13-XX); Associative rings and algebras (16-XX); Group theory and generalizations (20-XX)

ZigZag

Software Authors:   Götz Pfeiffer
Referenced in: 4 Publications (2009–2015)
Related Software: CHEVIE; GAP; OEIS
Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Group theory and generalizations (20-XX)

Stamina

Software Authors:   Fijalkow, Nathanaël; Gimbert, Hugo; Kelmendi, Edon; Kuperberg, Denis
Referenced in: 2 Publications (2017–2021)
Related Software: Algorithm 97; LANGAGE; GitHub
Main Fields: Computer science (68-XX)

Citrus

Software Authors:   Götz Pfeiffer, Steve A. Linton, Edmund F. Robertson, Nik Ruskuc; J. D. Mitchell
Referenced in: 1 Publication (2013)
Related Software: orb; GAP
Main Fields: Group theory and generalizations (20-XX)

Monoid

Software Authors:   Fahrner, A.
Referenced in: 1 Publication (2018)
Related Software: MDSpackage; Convex; Maple
Main Fields: Algebraic geometry (14-XX); Group theory and generalizations (20-XX)

Smalloverlap

Software Authors:   Kambites, M.
Referenced in: 1 Publication (2009)
Related Software: GAP
Main Fields: Group theory and generalizations (20-XX); Computer science (68-XX)

Web_ColoredCubeDance

Software Authors:   Popoff, Alexandre; Guichaoua, Corentin; Andreatta, Moreno
Referenced in: 1 Publication (2022)
Related Software: Tonnetz; D3.js
Main Fields: General and overarching topics; collections (00-XX)