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)