MPTP Software Authors: Urban, Josef Cited in: 26 Publications (2003–2021) Related Software: Mizar; E Theorem Prover; MaLARea; VAMPIRE; MPTP 0.2; MML; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
BRAID Software Authors: Magaard, Kay; Shpectorov, Sergey; Völklein, Helmut Cited in: 18 Publications (2003–2019) Related Software: GAP; Magma; ComputeBelyi; MapClass; SINGULAR Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX)
CSP-prover Software Authors: Isobe, Yoshinao; Roggenbach, Markus Cited in: 17 Publications (2005–2022) Related Software: PVS; Isabelle/HOL; FDR2; Z; CASL; PAT; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
CkAnalytic Software Authors: Lessard, Jean-Philippe; Mireles James, J.D. Cited in: 11 Publications (2017–2022) Related Software: INTLAB; RODES; CAPD; Matlab; Taylor; galepu; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)
navierstokes Software Authors: van den Berg, Jan Bouwe; Breden, Maxime; Lessard, Jean-Philippe; van Veen, Lennaert Cited in: 9 Publications (2019–2022) Related Software: INTLAB; RODES; Ada95; Matlab; Bilbao Crystallography Server; FEniCS; … Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
FOL Fitting Software Authors: Stefan Berghofer; Andreas Halkjær From Cited in: 6 Publications (2014–2021) Related Software: Isabelle/HOL; Archive Formal Proofs; Completeness theorem; HOL; Sledgehammer; Isabelle; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Ordinary Differential Equations Software Authors: Fabian Immler; Johannes Hölzl Cited in: 6 Publications (2012–2022) Related Software: Isabelle/HOL; Archive Formal Proofs; Kleene Algebra; Algebraic_VCs; Coquelicot; RODES; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX)
MapDE Software Authors: Mohammadi, Zahra; Reid, Gregory J.; Huang, Tracy Shih-lung Cited in: 3 Publications (2019–2021) Related Software: GeM; DifferentialGeometry; LieAlgebrasOfVectorFields; SADE; CRACK; DifferentialAlgebra; … Main Fields: Field theory and polynomials (12-XX); Partial differential equations (35-XX); Computer science (68-XX)
Conn Software Authors: Eriksen, E.; Gustavsen, T. S. Cited in: 2 Publications (2007–2008) Related Software: SINGULAR Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX)
GUBS Software Authors: Basso-Blandin, Adrien; Delaplace, Franck Cited in: 2 Publications (2013–2014) Related Software: – Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
Vector Spaces Software Authors: Holden Lee Cited in: 2 Publications (2018–2020) Related Software: Berlekamp Zassenhaus; Isabelle/HOL; Sqrt_Babylonian; Archive Formal Proofs; Lifting; Transfer; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Field theory and polynomials (12-XX)
Girth-Chromatic Software Authors: Lars Noschinski Cited in: 1 Publication (2012) Related Software: Isabelle/HOL; Locales; Flyspeck; PVS; MetiTarski Main Fields: Combinatorics (05-XX); Computer science (68-XX)