Found 2 Software Packages (Results 1–2)


Software Authors:   Bill McCune; Amor Montano, Jose Alfredo; Miranda Perea, Favio Ezequiel
Referenced in: 302 Publications (1988–2021)
Related Software: TPTP; Mace4; VAMPIRE; SPASS; E Theorem Prover; SETHEO; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Group theory and generalizations (20-XX)


Software Authors:   Botana, Francisco
Referenced in: 3 Publications (2014–2017)
Related Software: GeoGebra; GEX; Calques 3D; Cabri 3D; Maple; SINGULAR; …
Main Fields: Computer science (68-XX)