Mathematica Software Authors: Wolfram Research Cited in: 6,266 Publications (1986–2023) Related Software: Maple; Matlab; R; SageMath; MACSYMA; DLMF; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
Coq Software Authors: Dehlinger, Christophe; Dufourd, Jean-François Cited in: 1,835 Publications (1993–2023) Related Software: Isabelle/HOL; Isabelle; HOL; PVS; HOL Light; Nuprl; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)
Isabelle/HOL Software Authors: Naraschewski, Wolfgang; Nipkow, Tobias Cited in: 988 Publications (1996–2023) Related Software: Isabelle; Coq; HOL; Archive Formal Proofs; PVS; HOL Light; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)
KernSmooth Software Authors: Wand, M.P.; Jones, M.C.; Brian Ripley Cited in: 985 Publications (1993–2022) Related Software: R; pyuvdata; fda (R); SemiPar; SiZer; UCI-ml; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
Isabelle Software Authors: Larry Paulson, Tobias Nipkow, Makarius Wenzel Cited in: 704 Publications (1990–2022) Related Software: Isabelle/HOL; HOL; Coq; PVS; Archive Formal Proofs; ML; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)
MACSYMA Software Authors: symbolics Cited in: 714 Publications (1971–2023) Related Software: Maple; Mathematica; REDUCE; HIROTA.MAX; ATFM; Matlab; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
GeoGebra Software Authors: – Cited in: 186 Publications (2007–2022) Related Software: Geometer's Sketchpad; Cinderella; GEX; GeoThms; SINGULAR; GCLC; … Main Fields: General and overarching topics; collections (00-XX); Commutative algebra (13-XX); Geometry (51-XX)
Z Software Authors: Woodcock, Jim; Davies, Jim Cited in: 228 Publications (1958–2022) Related Software: Circus; ProofPower; Rodin; Z/EVES; Eiffel; Isabelle/HOL; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)
CRONE Software Authors: Michel Alexeline, Rachid Malti, Patrick Lanusse, Pierre Melchior, Alain Oustaloup Cited in: 188 Publications (1995–2022) Related Software: Ninteger; DFOC; Matlab; sysdfod; Fractional Order Chaotic Systems; Robotics; … Main Fields: Real functions (26-XX); Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX)
JML Software Authors: Gary T. Leavens; Yoonsik Cheon Cited in: 151 Publications (2000–2021) Related Software: Spec#; Eiffel; KRAKATOA; ESC/Java; PVS; LOOP; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)
CafeOBJ Software Authors: Mori, Akira; Futatsugi, Kokichi Cited in: 162 Publications (1997–2022) Related Software: Maude; OBJ3; CASL; ELAN; ITP; Haskell; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Algebraic geometry (14-XX)
GOLOG Software Authors: Levesque, Hector J.; Reiter, Raymond; Lespérance, Yves; Lin, Fangzhen; Scherl, Richard B. Cited in: 157 Publications (1996–2022) Related Software: ConGolog; AgentSpeak; METATEM; Graphplan; Jason; CCalc; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Pesca Software Authors: Aarne Ranta Cited in: 169 Publications (2001–2023) Related Software: MiniML; Isabelle; TABLEAUX; Coq; Maude; Hyperproof; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Geometry (51-XX)
LCF Software Authors: Milner, Robin Cited in: 158 Publications (1972–2022) Related Software: ML; Coq; HOL; Nuprl; Isabelle; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Category theory; homological algebra (18-XX)
LOTOS Software Authors: Bolognesi, T., Brinksma, E. Cited in: 132 Publications (1988–2023) Related Software: CADP; SPIN; Uppaal; Z; LOTOSphere; FDR2; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)
DiffSharp Software Authors: Baydin, A.G., Pearlmutter, B.A. Cited in: 149 Publications (2016–2023) Related Software: Adam; TensorFlow; PyTorch; DGM; ImageNet; DeepXDE; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
LISP Software Authors: McCarthy, John Cited in: 111 Publications (1960–2020) Related Software: ACL2; NQTHM; Haskell; ML; Coq; REDUCE; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
ML Software Authors: Garrappa, R. Cited in: 114 Publications (2015–2023) Related Software: Matlab; mftoolbox; Mittag-Leffler; mlf; DFOC; ma2dfc; … Main Fields: Real functions (26-XX); Special functions (33-XX); Ordinary differential equations (34-XX)
LEGO Software Authors: Luo, Z., Pollack, R. Cited in: 106 Publications (1991–2021) Related Software: Coq; Nuprl; Automath; Isabelle; ML; HOL; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)
Featherweight Java Software Authors: Igarashi, Atsushi; Pierce, Benjamin C.; Wadler, Philip Cited in: 88 Publications (2001–2022) Related Software: ML; MJ; JML; Scala; Eiffel; Creol; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)
pcalg Software Authors: Markus Kalisch, Martin Maechler, Diego Colombo Cited in: 80 Publications (2007–2022) Related Software: TETRAD; R; bnlearn; glasso; deal; gRbase; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)
Circus Software Authors: Woodcock, J.C.P., Cavalcanti, A.L.C. Cited in: 74 Publications (2002–2022) Related Software: Z; ProofPower; ZRC; Rodin; Isabelle/UTP; Simulink; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
Matita Software Authors: Asperti, Andrea; Ricciotti, Wilmer; Sacerdoti Coen, Claudio; Tassi, Enrico Cited in: 74 Publications (2007–2022) Related Software: Coq; Mizar; Isabelle/HOL; Isabelle; Agda; Proof General; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Real functions (26-XX)
DIMSYM Software Authors: James Sherring; Geoff Prince; Michael Jerie Cited in: 74 Publications (1993–2021) Related Software: LIE; REDUCE; SYMMGRP; SPDE; CRACK; LIEPDE; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)
SLMC Software Authors: Hugo Vieira; Luís Caires Cited in: 72 Publications (2003–2022) Related Software: PIPER; PRISM; KLAIM; Maude; Uppaal; BlenX; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Pict Software Authors: Pierce, Benjamin C.; Turner, David N Cited in: 69 Publications (1998–2022) Related Software: JoCaml; Maude; Oz; Erlang; MWB; Lolli; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
DERIVE Software Authors: Kutzler, Bernhard; Wall, Bernhard; Winkler, Franz Cited in: 49 Publications (1991–2019) Related Software: Mathematica; Maple; MACSYMA; REDUCE; AXIOM; MuPAD; … Main Fields: General and overarching topics; collections (00-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)
ALF Software Authors: Lena Magnusson Cited in: 67 Publications (1993–2018) Related Software: Coq; Automath; Nuprl; LEGO; Isabelle; Twelf; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Geometry (51-XX)
COCO Software Authors: Dankowicz, Harry; Schilder, Frank Cited in: 64 Publications (2012–2022) Related Software: AUTO; MATCONT; AUTO-07P; HomCont; TC-HAT; Matlab; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)
Racer Software Authors: Volker Haarslev, Kay Hidde, Ralf Möller, Michael Wessel Cited in: 52 Publications (2001–2021) Related Software: FaCT++; Pellet; KL-ONE; Protege; RacerPro; HermiT; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Isabelle/ZF Software Authors: Lawrence C. Paulson Cited in: 63 Publications (1993–2021) Related Software: Isabelle; Coq; Isabelle/HOL; HOL; Mizar; ML; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic topology (55-XX)
Satallax Software Authors: Chad E. Brown; Andreas Teucke; Geoff Sutcliffe; Frank Theiß; Gert Smolka; Julian Backes; Chris Benzmüller Cited in: 62 Publications (2010–2022) Related Software: TPTP; Isabelle/HOL; LEO-II; E Theorem Prover; VAMPIRE; Sledgehammer; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
iProver Software Authors: Korovin, Konstantin Cited in: 56 Publications (2008–2022) Related Software: TPTP; VAMPIRE; E Theorem Prover; SPASS; z3; Sledgehammer; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Church Software Authors: Goodman N., Mansinghka V.K., Roy D., Bonawitz K., Tenenbaum J.B. Cited in: 53 Publications (2008–2022) Related Software: BLOG; IBAL; ProbLog; Figaro; Haskell; FACTORIE; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Probability theory and stochastic processes (60-XX)
Abella Software Authors: Andrew Gacek Cited in: 53 Publications (2008–2022) Related Software: Twelf; Beluga; Coq; Isabelle/HOL; PoplMark; Bedwyr; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Omega Software Authors: Andrews, George E.; Paule, Peter; Riese, Axel Cited in: 55 Publications (2001–2022) Related Software: OEIS; LattE; Mathematica; CliffOC; CliffSymNil; CliffMath; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Commutative algebra (13-XX)
COWS Software Authors: Lapadula, Alessandro; Pugliese, Rosario; Tiezzi, Francesco Cited in: 46 Publications (2007–2020) Related Software: SPIN; CC-Pi; PiDuce; Maude; Orc; KLAIM; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
HiLog Software Authors: Weidong Chen; Michael Kifer; David S. Warren Cited in: 47 Publications (1993–2021) Related Software: Hiord; swrl; Haskell; Smodels; XSB; Twelf; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
KeYmaera Software Authors: Platzer, André; Quesel, Jan-David Cited in: 48 Publications (2008–2022) Related Software: SpaceEx; HyTech; KeYmaera X; PHAVer; Isabelle/HOL; Flow*; … Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX)
MiniML Software Authors: Davies, Rowan; Pfenning, Frank Cited in: 49 Publications (2000–2021) Related Software: Coq; ML; Haskell; Pesca; Links; Twelf; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
ConGolog Software Authors: De Giacomo; Lespérance, Y.; Levesque, H.J. Cited in: 40 Publications (1999–2022) Related Software: GOLOG; AgentSpeak; METATEM; Jason; Graphplan; 3APL; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
K Prover Software Authors: Roşu, Grigore et.al Cited in: 46 Publications (2007–2022) Related Software: Maude; K tool; z3; MMT; JavaFAN; K-Java; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
OSCAR Software Authors: Pollock, John L. Cited in: 42 Publications (1992–2021) Related Software: AFRA; ClaiMaker; C4.5; UCI-ml; PULCinella; M-MACBETH; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Chebfun2 Software Authors: Townsend, Alex; Trefethen, Lloyd N. Cited in: 42 Publications (2013–2022) Related Software: Chebfun; Matlab; DLMF; rootsb; mctoolbox; Bertini; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Approximations and expansions (41-XX)
EXCALC Software Authors: Eberhard Schrüfer Cited in: 41 Publications (1987–2016) Related Software: REDUCE; Maple; DIMSYM; Mathematica; EinS; GRTensorII; … Main Fields: Partial differential equations (35-XX); Differential geometry (53-XX); Computer science (68-XX)
leanTAP Software Authors: Beckert, Bernhard; Posegga, Joachim Cited in: 39 Publications (1994–2021) Related Software: SETHEO; TPTP; SATCHMO; ModLeanTAP; CondLean; ileanCoP; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Ltur Software Authors: Minoux, M. Cited in: 39 Publications (1988–2020) Related Software: Datalog; HgMUS; EL2MCS; XPath; MiniSat; JBool; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)
Invar Software Authors: J.M. Martin-Garcia, R. Portugal, L.R.U. Manssur Cited in: 36 Publications (1996–2022) Related Software: xTensor; xPert; xPerm; xTras; xAct; Mathematica; … Main Fields: Commutative algebra (13-XX); Differential geometry (53-XX); Quantum theory (81-XX)
Symbolic Math Toolbox Software Authors: mathworks Cited in: 35 Publications (2003–2022) Related Software: Matlab; Mathematica; Simulink; MuPAD; Maple; Python; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)
leanCoP Software Authors: Jens Otten Cited in: 37 Publications (2001–2022) Related Software: ileanCoP; TPTP; VAMPIRE; E Theorem Prover; FEMaLeCoP; MaLeCoP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
xTensor Software Authors: José M. Martín-García Cited in: 33 Publications (2007–2022) Related Software: Invar; xPert; xPerm; xTras; xAct; Mathematica; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Differential geometry (53-XX)
MWB Software Authors: Björn Victor, Faron Moller Cited in: 31 Publications (1998–2021) Related Software: Petruchio; Pict; PRISM; MMC; SPEC; ContentCVS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
ABS Software Authors: Johnsen, E.B., Hähnle, R., Schäfer, J., Schlatte, R., Steffen, M. Cited in: 30 Publications (2012–2022) Related Software: JCobox; SACO; Erlang; Creol; COSTABS; SPEED; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
ileanCoP Software Authors: Otten, Jens Cited in: 31 Publications (2005–2022) Related Software: leanCoP; TPTP; FEMaLeCoP; E Theorem Prover; VAMPIRE; ILTP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
CC-Pi Software Authors: Maria Grazia Buscemi, Ugo Montanari Cited in: 28 Publications (2007–2022) Related Software: COWS; Isabelle/HOL; Nominal Isabelle; Scribble; PiDuce; Psi-calculi; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
DifferentialGeometry Software Authors: Anderson, I.M.; Torre, C.G. Cited in: 30 Publications (2001–2022) Related Software: Maple; GeM; LieAlgebrasOfVectorFields; SADE; Rif; Vessiot; … Main Fields: Partial differential equations (35-XX); Differential geometry (53-XX); Global analysis, analysis on manifolds (58-XX)
Jets Software Authors: H. Baran, M. Marvan Cited in: 30 Publications (2014–2022) Related Software: CDE; Cadabra; DESOLV; GitHub; ReLie; WAlg; … Main Fields: Nonassociative rings and algebras (17-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)
MaLeCoP Software Authors: Josef Urban, Jiří Vyskočil, Petr Štěpánek Cited in: 28 Publications (2011–2021) Related Software: E Theorem Prover; VAMPIRE; MaLARea; Mizar; FEMaLeCoP; HOL Light; … Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX)
PIPER Software Authors: Chaki, Sagar; Rajamani, Sriram K.; Rehof, Jakob Cited in: 28 Publications (2002–2017) Related Software: SLMC; Cyclone; PiDuce; Automath; TyPiCal; COWS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
JoCaml Software Authors: Fournet, Cedric; Le Fessant, Fabrice; Maranget, Luc; Schmitt, Alan Cited in: 26 Publications (2000–2022) Related Software: Pict; OCaml; PiDuce; KLAIM; Erlang; Scala; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
MegaWave Software Authors: Jacques Froment; Lionel Moisan; Jean-Michel Morel Cited in: 24 Publications (1999–2019) Related Software: SIFT; ASIFT; BSDS; AlexNet; ImageNet; EMD; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
Darwin Software Authors: Peter Baumgartner, Alexander Fuchs, Hans de Nivelle, Cesare Tinelli Cited in: 25 Publications (2005–2021) Related Software: E-Darvin; E Theorem Prover; TPTP; Mace4; iProver; MiniSat; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
qGCL Software Authors: Zuliani, Paolo Cited in: 23 Publications (2000–2021) Related Software: QPL; Quipper; ScaffCC; GitHub; PyTorch; TensorFlow; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)
MSPASS Software Authors: Ullrich Hustadt, Renate A. Schmidt Cited in: 23 Publications (2000–2021) Related Software: TPTP; VAMPIRE; E Theorem Prover; SPASS; QMLTP; Isabelle/HOL; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Cyclist Software Authors: N Gorogiannis Cited in: 23 Publications (2014–2022) Related Software: Slide; HipSpec; SLAyer; HIP; VeriFast; Predator; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
Bedwyr Software Authors: David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu Cited in: 21 Publications (2007–2022) Related Software: Twelf; Abella; Nominal Isabelle; HYBRID; PoplMark; Teyjus; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
CliffMath Software Authors: Schott, René; Staples, G. Stacey Cited in: 23 Publications (2012–2021) Related Software: CliffOC; CliffSymNil; Mathematica; Omega; OEIS; Genius; … Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX)
DerivaGem Software Authors: Hull, John C. Cited in: 22 Publications (2002–2022) Related Software: fminsearch; KapSyn; FinTS; Human Mortality; Excel Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
FOTF Toolbox Software Authors: Xue, Dingyü Cited in: 21 Publications (2015–2021) Related Software: Matlab; Ninteger; CRONE; Robust Control Toolbox; FOMCON; FLOreS; … Main Fields: General and overarching topics; collections (00-XX); Real functions (26-XX); Ordinary differential equations (34-XX)
HermiT Software Authors: Glimm, Birte; Horrocks, Ian; Motik, Boris; Stoilos, Giorgos; Wang, Zhe; Shearer, R. Cited in: 20 Publications (2013–2022) Related Software: Pellet; FaCT++; Konclude; ELK; RacerPro; Racer; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
ITSM2000 Software Authors: Brockwell, Peter J.; Davis, Richard A. Cited in: 19 Publications (2016–2022) Related Software: itsmr; astsa; GitHub; Python; Matlab; sapa; … Main Fields: Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)
BlenX Software Authors: Lorenzo Dematté; Corrado Priami; Alessandro Romanel Cited in: 18 Publications (2008–2020) Related Software: Bio-PEPA; PRISM; PEPA; BioNetGen; LBS; BioModels; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
DCTP Software Authors: Letz, R., Stenz, G Cited in: 21 Publications (2001–2017) Related Software: E Theorem Prover; SPASS; VAMPIRE; OTTER; SATCHMO; TPTP; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Mathpert Software Authors: Michael J. Beeson Cited in: 14 Publications (1989–2019) Related Software: Haskell; ActiveMath; MathXpert; Aplusix; Aplusix-editor; Mathematica; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mathematics education (97-XX)
PiDuce Software Authors: Carpineti, Samuele; Laneve, Cosimo; Padovani, Luca Cited in: 18 Publications (2006–2020) Related Software: XPi; XDuce; COWS; XPath; CDuce; PIPER; … Main Fields: Computer science (68-XX)
SOLAR Software Authors: Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray Cited in: 19 Publications (1993–2022) Related Software: E Theorem Prover; SPASS; SCIFF; SBGN; MiniSat; SMT-LIB; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
CliffOC Software Authors: Schott, René; Staples, G. Stacey Cited in: 20 Publications (2006–2021) Related Software: CliffMath; CliffSymNil; Mathematica; Omega; Genius; OEIS; … Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Probability theory and stochastic processes (60-XX)
E-Darvin Software Authors: Baumgartner, Peter; Pelzer, Björn; Tinelli, Cesare; Alexander Fuchs; Hans de Nivelle Cited in: 19 Publications (2006–2021) Related Software: Darwin; Mace4; E Theorem Prover; TPTP; iProver; OTTER; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
F* Software Authors: Microsoft Research, INRIA; Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean Cited in: 20 Publications (2011–2020) Related Software: Coq; EasyCrypt; Nuprl; Idris; Irdis; z3; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
FOMCON Software Authors: A. Tepljakov, E. Petlenkov, J. Belikov Cited in: 19 Publications (2013–2021) Related Software: Ninteger; CRONE; Matlab; FOPID; DFOC; FIT; … Main Fields: Real functions (26-XX); Ordinary differential equations (34-XX); Statistics (62-XX)
ISETL Software Authors: Dubinsky, Ed Cited in: 9 Publications (1989–2002) Related Software: Mathematica; Maple; GAP Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX)
dedukti Software Authors: Mathieu Boespflug, Ronan Saillard, François Thiré, Gaspard Férey Cited in: 17 Publications (2012–2021) Related Software: Coq; Zenon; TPTP; HOL Light; FoCaLiZe; PVS; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)
ModLeanTAP Software Authors: Beckert, Bernhard; Goré, Rajeev Cited in: 19 Publications (1998–2019) Related Software: leanTAP; MSPASS; KLMLean; CondLean; Coq; SETHEO; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MUltlog Software Authors: Gernot Salzer; Vienna Group for Multiple-valued Logics Cited in: 19 Publications (1996–2021) Related Software: JGXYZ; VAMPIRE; Gen2sat; KEMS; MetTeL; NESCOND; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
YAPA Software Authors: Baudet, Mathieu; Cortier, Véronique; Delaune, Stéphanie Cited in: 18 Publications (2009–2020) Related Software: AVISPA; Akiss; Maude-NPA; ProVerif; OFMC; FAST; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
FOXBOX Software Authors: Díaz, Angel; Kaltofen, Erich Cited in: 18 Publications (1998–2022) Related Software: Maple; SACLIB; PVMaple; Dagwood; ffmodstd; CASA; … Main Fields: Commutative algebra (13-XX); Functions of a complex variable (30-XX); Approximations and expansions (41-XX)
TRP++ Software Authors: Hustadt, U., Konev, B. Cited in: 17 Publications (2004–2021) Related Software: NuSMV; TSPASS; SPASS; MiniSat; TTM; CTL-RP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
FOC Software Authors: Petráš, Ivo Cited in: 17 Publications (2012–2019) Related Software: CRONE; Matlab; DFOC; Fractional Order Chaotic Systems; sysdfod; ma2dfc; … Main Fields: Real functions (26-XX); Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX)
MBase Software Authors: Franke, Andreas; Kohlhase, Michael Cited in: 17 Publications (1999–2006) Related Software: TPS; OMEGA; Nuprl; Coq; OMDoc; TRAMP; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Mathematics education (97-XX)
stochastic Software Authors: Cyganowski, S. Cited in: 16 Publications (1996–2021) Related Software: Maple; Matlab; Python; SDELab; MATLAB ODE suite; ode23s; … Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
Akiss Software Authors: Rohit Chadha, Vincent Cheval, Ștefan Ciobâcă, Steve Kremer Cited in: 16 Publications (2012–2022) Related Software: AVISPA; TAMARIN; Apte; YAPA; scyther; Maude-NPA; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
DCVALID Software Authors: P. Pandya Cited in: 16 Publications (2001–2022) Related Software: MONA; IDLVALID; Uppaal; Kronos; MRMC; Modechart; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
LBS Software Authors: Pedersen, Michael; Plotkin, Gordon D. Cited in: 15 Publications (2010–2022) Related Software: Bio-PEPA; BioNetGen; BIOCHAM; PRISM; BlenX; NFsim; … Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
Petruchio Software Authors: Tim Strazny; Roland Meyer; Sven Linker Cited in: 15 Publications (2008–2022) Related Software: MWB; SLMC; Storm; MCMAS; PRISM; MiniSat; … Main Fields: Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
SAD Software Authors: Verchinine, Konstantin; Lyaletski, Alexander; Paskevich, Andrei Cited in: 15 Publications (2004–2021) Related Software: Mizar; ForTheL; TPTP; Automath; Isar; kepler98; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)
DDebugger Software Authors: Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso; Caballero, Rafael Cited in: 11 Publications (2009–2017) Related Software: Maude; Anima; Web-TLR; iJulienne; QuickCheck; Elf; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MleanCoP Software Authors: Otten, Jens Cited in: 15 Publications (2014–2022) Related Software: QMLTP; TPTP; E Theorem Prover; ileanCoP; leanCoP; Leo-III; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Orc Software Authors: Kitchin, David; Quark, Adrian; Cook, William; Misra, Jayadev Cited in: 14 Publications (2009–2015) Related Software: COWS; Maude; Jolie; Quicksort; Dist-Orc; BPEL2oWFN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
PARTHEO Software Authors: Schumann, J., Letz, R. Cited in: 13 Publications (1990–2015) Related Software: SETHEO; METEOR; TPTP; SicoTHEO; OTTER; PARTHENON; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ArcAngel Software Authors: Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim Cited in: 11 Publications (2003–2019) Related Software: Z; ProofPower; Circus; ClawZ; ZRC; ArcAngelC; … Main Fields: Computer science (68-XX)