Found 5 Software Packages (Results 1–5)


Software Authors:   Boix, Alberto F.; De Stefani, Alessandro; Vanzo, Davide
Cited in: 1 Publication (2015)
Related Software: Fsplitting; Macaulay2
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX)


Software Authors:   Bain, Alex; Mitchell, John; Sharma, Rahul; Stefan, Deian; Zimmerman, Joe
Cited in: 1 Publication (2011)
Related Software: Sharemind; Haskell
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)


Software Authors:   Thomas Gr√ľner
Cited in: 2 Publications (1999–2007)
Related Software: Gavrog; Systre; E-DRAGON; GENREG; GraPHedron; bliss; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)


Software Authors:   Clemens Ballarin
Cited in: 1 Publication (2020)
Related Software: Automath; Secondary Sylow; Archive Formal Proofs; Locales; Isabelle/HOL; Isabelle; …
Main Fields: Computer science (68-XX)


Software Authors:   Salman Saghafi; Daniel J. Dougherty
Cited in: 1 Publication (2015)
Related Software: MiniSat; iProver; iProver-Eq; Kodkod; Mace4; E-Darvin; …
Main Fields: Computer science (68-XX)