×

Found 8 Software Packages (Results 1–8)

ETPS

Software Authors:   Peter Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
Cited in: 157 Publications (1986–2022)
Related Software: TPS; Isabelle/HOL; HOL; Isabelle; Nuprl; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

TPS

Software Authors:   Andrews, Peter B.; Brown, Chad E.
Cited in: 76 Publications (1990–2022)
Related Software: TPTP; ETPS; HOL; LEO-II; Satallax; PVS; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

MeatAxe

Software Authors:   Michael Ringe
Cited in: 68 Publications (1994–2022)
Related Software: GAP; Magma; ATLAS Group Representations; CTblLib; GAP Character Table Library; AtlasRep; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Associative rings and algebras (16-XX); Group theory and generalizations (20-XX)

EAT

Software Authors:   Francis Sergeraert; Julio Rubio
Cited in: 17 Publications (2001–2015)
Related Software: Kenzo; ACL2; Coq; Isabelle/HOL; LISP; AXIOM; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Algebraic topology (55-XX)

wedderga

Software Authors:   Osnel Broche Cristo, Allen Herman, Alexander Konovalov, Gabriela Olteanu, Aurora Olivieri, Angel del Rio, Inneke Van Gelder
Cited in: 12 Publications (2003–2019)
Related Software: GAP; PARI/GP; Congruence; LAGUNA
Main Fields: Number theory (11-XX); Associative rings and algebras (16-XX); \(K\)-theory (19-XX)

PrimGrp

Software Authors:   Alexander Hulpke, Colva M. Roney-Dougal, Christopher Russell
Cited in: 5 Publications (1988–2021)
Related Software: GAP; Magma; Cayley; bliss; BacktrackKit; GraphBacktracking; …
Main Fields: Group theory and generalizations (20-XX)

IRREDSOL

Software Authors:   Burkhard Höfling
Cited in: 2 Publications (2013–2022)
Related Software: GAP; COCO2P; Magma
Main Fields: Associative rings and algebras (16-XX); Group theory and generalizations (20-XX)

GENOTYPE

Software Authors:   Shaumyan, Sebastian
Cited in: 1 Publication (1991)
Related Software:
Main Fields: Computer science (68-XX)