Matlab Software Authors: MathWorks Inc Cited in: 13,110 Publications (1982–2024) Related Software: Simulink; LMI toolbox; Maple; MATLAB ODE suite; ode23; ode45; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
Mathematica Software Authors: Wolfram Research Cited in: 6,255 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)
Maple Software Authors: Waterloo Maple Inc. Cited in: 5,240 Publications (1983–2023) Related Software: Mathematica; Matlab; MACSYMA; Magma; SINGULAR; REDUCE; … Main Fields: Number theory (11-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)
GAP Software Authors: GAP Group Cited in: 3,292 Publications (1990–2023) Related Software: Magma; SageMath; ATLAS Group Representations; CHEVIE; nauty; GRAPE; … Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX)
Python Software Authors: Guido van Rossum Cited in: 1,094 Publications (1991–2023) Related Software: SciPy; NumPy; Matplotlib; Scikit; Matlab; PyTorch; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
Coq Software Authors: Dehlinger, Christophe; Dufourd, Jean-François Cited in: 1,830 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)
SINGULAR Software Authors: Wolfram Decker; Gert-Martin Greuel; Gerhard Pfister; Hans Schönemann Cited in: 1,537 Publications (1991–2023) Related Software: Macaulay2; CoCoA; Magma; SageMath; Maple; primdec; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX)
Haskell Software Authors: – Cited in: 806 Publications (1989–2022) Related Software: Coq; ML; GHC; Isabelle/HOL; QuickCheck; Maude; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)
Maude Software Authors: Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Maude team Cited in: 619 Publications (1984–2023) Related Software: CafeOBJ; OBJ3; ELAN; Haskell; CASL; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
CoCoA Software Authors: CoCoa-Team; Robbiano, Lorenzo Cited in: 654 Publications (1989–2023) Related Software: Macaulay2; SINGULAR; CoCoALib; Maple; Mathematica; Magma; … Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)
ALGOL 60 Software Authors: Naur, P.; Backus, J.W.; et. al. Cited in: 646 Publications (1959–2022) Related Software: ALGOL 68; Euler; PL/I; Simula 67; COBOL; ML; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)
Z-Tree Software Authors: Fischbacher U. Cited in: 668 Publications (2001–2022) Related Software: ORSEE; hroot; Stata; Gambit; R; oTree; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
SCIP Software Authors: Tristan Gally, Gerald Gamrath, Patrick Gemander, Ambros Gleixner, Robert Gottwald, Gregor Hendel, Christopher Hojny, Stephen J. Maher, Matthias Miltenberger, Benjamin Müller, Marc Pfetsch, Franziska Schlösser, Felipe Serrano, Stefan Vigerske, Dieter Weninger, Jakob Witzig Cited in: 565 Publications (2005–2023) Related Software: CPLEX; MIPLIB; Gurobi; ANTIGONE; Ipopt; BARON; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)
Julia Software Authors: Bezanson J, Karpinski S, Shah VB, Edelman A Cited in: 442 Publications (2014–2023) Related Software: JuMP; GitHub; R; DifferentialEquations.jl; Gurobi; Matlab; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)
ML Software Authors: Harper, Robert; Milner, Robin; Tofte, Mads; University of Edinburgh Cited in: 486 Publications (1978–2022) Related Software: HOL; Coq; Isabelle; Isabelle/HOL; Haskell; HOL Light; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)
Ox Software Authors: Doornik; Ooms; Timberlake Cited in: 497 Publications (1997–2022) Related Software: R; SsfPack; bootstrap; Mathematica; bootlib; STAMP; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
MATCONT Software Authors: Dhooge, A.; Sautois, B.; Govaerts, W.; Kuznetsov, Yu.A. Cited in: 468 Publications (2003–2023) Related Software: AUTO; Matlab; CL_MATCONT; HomCont; AUTO-07P; XPPAUT; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)
Turbo Pascal Software Authors: Borland; Philippe Kahn Cited in: 165 Publications (1985–2017) Related Software: dBase; REDUCE; COBOL; Multiplan; GBDRN; Modula; … Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)
Bioconductor Software Authors: open development project Cited in: 211 Publications (2003–2022) Related Software: R; gcrma; edgeR; limma; KEGG; DEseq; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
Stan Software Authors: Stan Development Team Cited in: 255 Publications (2013–2022) Related Software: R; JAGS; BayesDA; NUTS; RStan; WinBUGS; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
OTTER Software Authors: Bill McCune; Amor Montano, Jose Alfredo; Miranda Perea, Favio Ezequiel Cited in: 305 Publications (1988–2022) Related Software: TPTP; Mace4; VAMPIRE; SPASS; E Theorem Prover; SETHEO; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Group theory and generalizations (20-XX)
Concorde Software Authors: Applegate, David L.; Bixby, Robert E.; Chvátal, Vašek; Cook, William J. Cited in: 311 Publications (1997–2022) Related Software: TSPLIB; LKH; VRP; CPLEX; SCIP; DIMACS; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
Visual Basic Software Authors: Microsoft Cited in: 168 Publications (1993–2022) Related Software: VBA; Excel; Access; Matlab; Delphi; PERL; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
ACL2 Software Authors: Matt Kaufmann, Strother Moore Cited in: 280 Publications (1998–2022) Related Software: Coq; Isabelle/HOL; HOL; PVS; Isabelle; HOL Light; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic topology (55-XX)
Datalog Software Authors: Ceri, S., Gottlob, G., Tanca, L Cited in: 280 Publications (1978–2022) Related Software: ASSAT; Gringo; Clingo; WASP; Smodels; DLV; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
Ada95 Software Authors: Jean Ichbiah Cited in: 274 Publications (1979–2022) Related Software: Modula; Eiffel; Smalltalk; Simula 67; ALGOL 68; ML; … Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
ALGOL 68 Software Authors: van Wijngaarden, A. Author Profile; Mailloux, B.J.; Peck, J.E.L.; Koster, C.H.A.; Sintzoff, M.; Lindsey, C.H.; Meertens, L.G.L.T.; Fisker, R.G. Cited in: 280 Publications (1969–2019) Related Software: ALGOL 60; Simula 67; Ada95; PL/I; SNOBOL; LCF; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)
Eiffel Software Authors: Bertrand Meyer Cited in: 226 Publications (1989–2022) Related Software: JML; Smalltalk; Spec#; Z; ESC/Java; Simula 67; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
PERL Software Authors: Wall, Larry Cited in: 218 Publications (1992–2022) Related Software: TTTPLOTS; Python; GRASP; Scatter Search; R; Tabu search; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
CSparse Software Authors: Davis, Timothy A. Cited in: 244 Publications (2006–2022) Related Software: SparseMatrix; Matlab; symrcm; MUMPS; UMFPACK; PARDISO; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
COBOL Software Authors: Grace Hopper Cited in: 170 Publications (1960–2020) Related Software: PL/I; ALGOL 60; Ada95; dBase; ASF+SDF; DB2; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Numerical analysis (65-XX)
OpenCL Software Authors: Khronos OpenCL Working Group Cited in: 186 Publications (2009–2023) Related Software: CUDA; MPI; OpenACC; Matlab; PyOpenCL; CUBLAS; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
Agda Software Authors: Ulf Norell Cited in: 210 Publications (1999–2022) Related Software: Coq; Haskell; Isabelle/HOL; HOL Light; Nuprl; Idris; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)
Modula Software Authors: Wirth N. Cited in: 192 Publications (1977–2018) Related Software: Ada95; Oberon; Smalltalk; Simula 67; Eiffel; ALGOL 60; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)
dBase Software Authors: – Cited in: 30 Publications (1986–2009) Related Software: Multiplan; Lotus 1-2-3; COBOL; Clipper; Excel; Turbo Pascal; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
GLPK Software Authors: Andrew Makhorin Cited in: 182 Publications (2004–2023) Related Software: CPLEX; Gurobi; AMPL; XPRESS; YALMIP; Mosek; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
Smalltalk Software Authors: Alan Kay, Dan Ingalls, Adele Goldberg, Ted Kaehler, Scott Wallace Cited in: 167 Publications (1983–2018) Related Software: Eiffel; Simula 67; Ada95; CLOS; Squeak; Modula; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)
Scilab Software Authors: Scilab Enterprises; Ricardo Fabbri Cited in: 169 Publications (1999–2022) Related Software: Matlab; Octave; R; Mathematica; Maple; Scicos; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
JavaScript Software Authors: Flanagan Cited in: 139 Publications (1996–2023) Related Software: Python; PHP; Node.js; GitHub; MySQL; JSAI; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)
Twelf Software Authors: Twelf Project; Frank Pfenning; Carsten Schürmann Cited in: 171 Publications (1998–2023) Related Software: Coq; Isabelle/HOL; Abella; Isabelle; Beluga; Nuprl; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Algebraic topology (55-XX)
AXIOM Software Authors: Tim Daly, et al.; http://wiki.axiom-developer.org/axiom-website/community.html Cited in: 172 Publications (1992–2022) Related Software: Maple; Mathematica; REDUCE; MACSYMA; SINGULAR; Magma; … Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX)
PL/I Software Authors: IBM Cited in: 174 Publications (1965–2001) Related Software: COBOL; ALGOL 60; FORMAC; ALGOL 68; Ada95; Simula 67; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-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)
Esterel Software Authors: Gérard Berry Cited in: 133 Publications (1985–2022) Related Software: SIGNAL; LUSTRE; Uppaal; ULM; Simulink; SPIN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
LiE Software Authors: A.M. Cohen, B. Lisser, M.A.A. van Leeuwen Cited in: 163 Publications (1993–2022) Related Software: Magma; Mathematica; Macaulay2; GAP; Maple; SageMath; … Main Fields: Algebraic geometry (14-XX); Nonassociative rings and algebras (17-XX); Group theory and generalizations (20-XX)
Pesca Software Authors: Aarne Ranta Cited in: 165 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)
JuMP Software Authors: I. Dunning, J. Huchette, M. Lubin Cited in: 143 Publications (2017–2023) Related Software: Julia; Gurobi; GitHub; Ipopt; CPLEX; Mosek; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)
Cinderella Software Authors: Jürgen Richter-Gebert; Ulrich Kortenkamp Cited in: 91 Publications (1999–2021) Related Software: Geometer's Sketchpad; GeoGebra; Mathematica; Cabri-geometry; GEX; Maple; … Main Fields: General and overarching topics; collections (00-XX); Geometry (51-XX); Numerical analysis (65-XX)
LCF Software Authors: Milner, Robin Cited in: 156 Publications (1972–2022) Related Software: ML; Coq; HOL; Isabelle; Nuprl; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Category theory; homological algebra (18-XX)
Miranda Software Authors: Turner, D.A. Cited in: 148 Publications (1985–2020) Related Software: Haskell; ML; CLEAN; Nuprl; BABEL; Automath; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Category theory; homological algebra (18-XX)
Mathcad Software Authors: Parametric Technology Corporation Cited in: 137 Publications (1991–2022) Related Software: Mathematica; Maple; Matlab; Excel; Visual Basic; OEIS; … Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)
SnapPy Software Authors: Marc Culler; Nathan Dunfield; Matthias Goerner;Morwen Thistlethwaite. Cited in: 147 Publications (2010–2022) Related Software: SnapPea; Regina; SageMath; KnotInfo; GitHub; Magma; … Main Fields: Group theory and generalizations (20-XX); Manifolds and cell complexes (57-XX); Global analysis, analysis on manifolds (58-XX)
Why3 Software Authors: François Bobot; Jean-Christophe Filliâtre; Claude Marché; Guillaume Melquiond; Andrei Paskevich Cited in: 130 Publications (2004–2023) Related Software: Coq; KRAKATOA; Caduceus; z3; Boogie; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)
OBJ3 Software Authors: J. Goguen, T. Winkler, J. Meseguer, K. Futatsigi and J. Jouannaud; (kiniry) Cited in: 135 Publications (1989–2021) Related Software: Maude; CafeOBJ; CASL; ELAN; Haskell; AProVE; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Category theory; homological algebra (18-XX)
OpenGL Software Authors: Khronos Group Cited in: 106 Publications (1994–2022) Related Software: CUDA; Cg; OpenCL; VTK; Mathematica; Gaalop; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
Simula 67 Software Authors: Dahl, O.J.; Nygaard, K. Cited in: 130 Publications (1963–2021) Related Software: Eiffel; ALGOL 68; Smalltalk; ALGOL 60; Ada95; BETA; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Numerical analysis (65-XX)
CVRPSP Software Authors: Lysgaard, J. Cited in: 135 Publications (2002–2023) Related Software: VRP; CVRPSEP; CPLEX; Concorde; TSPLIB; SCIP; … Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX); Real functions (26-XX)
NetLogo Software Authors: Elizabeth Sklar; Seth Tisue; Uri Wilensky Cited in: 92 Publications (2007–2023) Related Software: Matlab; Boids; Python; MASON; NumPy; GAMS; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Cayley Software Authors: Cannon, John J. Cited in: 131 Publications (1976–2020) Related Software: GAP; Magma; nauty; Maple; ATLAS Group Representations; CAS; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Associative rings and algebras (16-XX)
C-XSC 2.0 Software Authors: Hofschuster, Werner; Krämer, Walter; R. Klatte Cited in: 124 Publications (1979–2021) Related Software: C-XSC; INTLAB; INTOPT_90; PROFIL/BIAS; filib++; PASCAL-XSC; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-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)
Spec# Software Authors: Mike Barnett; K. Rustan M. Leino; Wolfram Schulte Cited in: 103 Publications (2005–2022) Related Software: JML; ESC/Java; Boogie; z3; KRAKATOA; Why3; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)
Java PathFinder Software Authors: Havelund, Klaus; Pressburger, Thomas Cited in: 92 Publications (2000–2021) Related Software: SPIN; Bandera; veriSoft; CUTE; DART; dSPIN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
SETHEO Software Authors: Letz, R.; Schumann, J.; Bayerl, S.; Bibel, W. Cited in: 115 Publications (1990–2022) Related Software: TPTP; OTTER; SPASS; E-SETHEO; VAMPIRE; SATCHMO; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)
Erlang Software Authors: erlang.org Cited in: 101 Publications (1993–2023) Related Software: Haskell; Maude; JCobox; QuickCheck; ABS; Linda; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
GAUSS Software Authors: Aptech Systems, Inc. Cited in: 106 Publications (1988–2019) Related Software: R; Matlab; SAS; Stata; Mathematica; Excel; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
LISP-STAT Software Authors: Luke Tierney Cited in: 88 Publications (1977–2019) Related Software: R; ViSta; XGobi; ARC; Mondrian; MacSpin; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
Oz Software Authors: Henz, M., Smolka, G., and Würtz, J. Cited in: 108 Publications (1994–2022) Related Software: CHIP; Mozart; CLAIRE; CPLEX; SALSA; SICStus; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
ASTREE Software Authors: Patrick Cousot, Radhia Cousot, Jerôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival Cited in: 108 Publications (2002–2021) Related Software: Apron; PPL; z3; Coq; Octagon; BLAST; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Numerical analysis (65-XX)
MiniZinc Software Authors: Guido Tack, NICTA / Monash University (with Sebastian Brand, Mark Brown, Thibaut Feydy, Julien Fischer, Maria Garcia de la Banda, Peter Stuckey, Mark Wallace) Cited in: 107 Publications (2008–2022) Related Software: Gecode; CPLEX; Essence; CHUFFED; SCIP; Chaff; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
C-XSC Software Authors: Lawo, Christian Cited in: 107 Publications (1992–2021) Related Software: C-XSC 2.0; INTLAB; PROFIL/BIAS; INTOPT_90; PASCAL-XSC; filib++; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
Clingo Software Authors: Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub Cited in: 106 Publications (2009–2022) Related Software: Gringo; clasp; WASP; Potassco; DLV2; iClingo; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
RcppArmadillo Software Authors: Romain Francois, Dirk Eddelbuettel, Doug Bates Cited in: 48 Publications (2012–2022) Related Software: R; Rcpp; Armadillo; ggplot2; CODA; CRAN; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
ELAN Software Authors: Peter Borovansky, Eric Deplagne, Claude Kirchner, Helene Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek Cited in: 105 Publications (1996–2020) Related Software: Maude; CafeOBJ; OBJ3; Stratego; Haskell; ATERM; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
ProbLog Software Authors: Renkens, Joris; Van Den Broeck, Guy; Nijssen, Siegfried Cited in: 103 Publications (2007–2022) Related Software: PRISM; PITA; CP-logic; Church; BLOG; YAP-Prolog; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
RStan Software Authors: Jiqiang Guo; et. al. Cited in: 85 Publications (2015–2022) Related Software: R; Stan; rstan; BayesDA; JAGS; NUTS; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
LARCH Software Authors: Guttag, John V.; Horning, James J. Cited in: 94 Publications (1989–2021) Related Software: JML; Eiffel; PVS; CASL; Maude; CafeOBJ; … Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX)
PASCAL-XSC Software Authors: Klatte, R., Kulisch, U., Neaga, M., Ratz, D., Ullrich, Ch, Januschke, P., Ratz, D. Cited in: 98 Publications (1991–2022) Related Software: C-XSC; C-XSC 2.0; ACRITH-XSC; INTLAB; Matlab; PROFIL/BIAS; … Main Fields: Approximations and expansions (41-XX); Numerical analysis (65-XX); Computer science (68-XX)
Linda Software Authors: Gelernter, David Cited in: 76 Publications (1985–2020) Related Software: KLAIM; LIME; ReSpecT; TuCSoN; Klava; Maude; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
AgentSpeak Software Authors: Anand S. Rao Cited in: 87 Publications (1998–2020) Related Software: Jason; 3APL; METATEM; GOLOG; ConGolog; Jadex; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
Scala Software Authors: Loverdos, Christos K. K.; Syropoulos, Apostolos Cited in: 79 Publications (2005–2022) Related Software: Coq; z3; Haskell; Featherweight Java; Isabelle; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)
Circus Software Authors: Woodcock, J.C.P., Cavalcanti, A.L.C. Cited in: 73 Publications (2002–2021) Related Software: Z; ProofPower; ZRC; Isabelle/UTP; Simulink; ClawZ; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
Pyomo Software Authors: Hart, William E.; Laird, Carl; Watson, Jean-Paul; Woodruff, David L. Cited in: 81 Publications (2012–2022) Related Software: Gurobi; Ipopt; Python; CPLEX; GAMS; PySP; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
BENSOLVE Software Authors: Andreas Löhne; Benjamin Weißing Cited in: 87 Publications (2011–2023) Related Software: GLPK; HIPRE 3+; OnBalance; Guimoo; DecideIT; Expert Choice; … Main Fields: Functional analysis (46-XX); Calculus of variations and optimal control; optimization (49-XX); Convex and discrete geometry (52-XX)
pandas Software Authors: Wes McKinney Cited in: 16 Publications (2016–2022) Related Software: Python; NumPy; SciPy; Matplotlib; Scikit; Seaborn; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
GiNaC Software Authors: European Patent Office (EPO); C.W. Bauer, A. Frink, R. Kreckel Cited in: 74 Publications (2002–2023) Related Software: FORM; Reduze; Mathematica; HPL; LiteRed; FIRE; … Main Fields: Functions of a complex variable (30-XX); Geometry (51-XX); Numerical analysis (65-XX)
CHIP Software Authors: Dincbas, M.; Simonis, H.; van Hentenryck, P. Cited in: 79 Publications (1989–2022) Related Software: Oz; ILOG SCHEDULE; CPLEX; PSPLIB; OPL; MiniZinc; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
Delphi Software Authors: Embarcadero Technologies; Borland Cited in: 52 Publications (1995–2015) Related Software: Visual Basic; Excel; SPSS; MS SQL Server; C++ Builder; Unravel; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
Meschach Software Authors: Stewart, David E.; Leyk, Zbigniew Cited in: 82 Publications (1994–2022) Related Software: Chrono; SIMEM3 Renault; RODAS; PATH Solver; GitHub; DualSPHysics; … Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX)
Dafny Software Authors: Rustan Leino Cited in: 76 Publications (2010–2023) Related Software: z3; Boogie; Why3; Coq; VCC; VeriFast; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)
hlib Software Authors: Steffen Börm; Lars Grasedyck; Max-Planck-Institut Leipzig Cited in: 84 Publications (2005–2022) Related Software: STRUMPACK; BEM++; mctoolbox; George; GitHub; H2Lib; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Integral equations (45-XX)
LIPSOL Software Authors: Zhang, Yin; Greg Sweriduk Cited in: 83 Publications (1997–2022) Related Software: PCx; Matlab; Mosek; HOPDM; LOQO; McIPM; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
QPL Software Authors: Peter Selinger Cited in: 81 Publications (2004–2022) Related Software: qGCL; Quipper; LIQUi; ScaffCC; Haskell; openQASM; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Functional analysis (46-XX)
ILOG SCHEDULE Software Authors: Le Pape, C Cited in: 75 Publications (1996–2022) Related Software: CPLEX; CHIP; JOBSHOP; CP Optimizer; PSPLIB; Tabu search; … Main Fields: History and biography (01-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
SAS/IML Software Authors: SAS Institute Inc Cited in: 54 Publications (1988–2019) Related Software: SAS; SAS/STAT; R; spgam1; MIXED; SPSS; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
APL Software Authors: Kenneth E. Iverson Cited in: 77 Publications (1962–2022) Related Software: Haskell; PySB; BioNetGen; SNOOPY; R; ML; … Main Fields: Number theory (11-XX); Statistics (62-XX); Computer science (68-XX)
COMET Software Authors: Michel, Laurent; See, Andrew; van Hentenryck, Pascal Cited in: 75 Publications (2004–2021) Related Software: CPLEX; Localizer; Gecode; SALSA; CSPLib; MiniZinc; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)
Cython Software Authors: Behnel, S., Bradshaw, R., Dalcín, L., Florisson, M., Makarov, V., Seljebotn, D.S. Cited in: 51 Publications (2008–2022) Related Software: Python; NumPy; SciPy; Matplotlib; Scikit; GitHub; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
CCalc Software Authors: Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson Cited in: 74 Publications (2003–2021) Related Software: Smodels; Coala; GOLOG; PDDL; Society Visualiser; NuSMV; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Nominal Isabelle Software Authors: Urban, Christian; Kaliszyk, Cezary Cited in: 77 Publications (2005–2022) Related Software: Isabelle/HOL; PoplMark; Isabelle; Coq; Twelf; Abella; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)