×

Found 2 Software Packages (Results 1–2)

PolyBoRi

Software Authors:   Alexander Dreyer; Michael Brickenstein
Cited in: 48 Publications (2008–2021)
Related Software: SINGULAR; Magma; FGb; SageMath; CUDD; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Commutative algebra (13-XX)

Janet

Software Authors:   Blinkov Y, Cid C, Gerdt V, Plesken W, Robertz D
Cited in: 37 Publications (2005–2021)
Related Software: SINGULAR; Maple; OreModules; DifferentialThomas; Macaulay2; Plural; …
Main Fields: Commutative algebra (13-XX); Partial differential equations (35-XX); Computer science (68-XX)