×

Found 1,441 Software Packages (Results 1–100)

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)