×

Found 12 Software Packages (Results 1–12)

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)