×

Found 5 Software Packages (Results 1–5)

GRADPART

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)

differentialoperator.m2

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)

EDSL

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)

Jacobson_Basic_Algebra

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)

Razor

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