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)
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)
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: MiniSat; iProver; iProver-Eq; Kodkod; Mace4; E-Darvin; … Main Fields: Computer science (68-XX)