×

Found 3,544 Software Packages (Results 1–100)

R

Software Authors:   Hadley Wickham; Robert Gentleman; Ross Ihaka; John M. Chambers; William N. Venables; Brian D. Ripley
Cited in: 8,591 Publications (1978–2023)
Related Software: CRAN; SAS; MASS (R); ggplot2; S-PLUS; Matlab; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-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)

PETSc

Software Authors:   S. Balay, W.D. Gropp, L.C. McInnes, B.F. Smith
Cited in: 1,594 Publications (1996–2023)
Related Software: FEniCS; hypre; MUMPS; SLEPc; Trilinos; Gmsh; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

LMI toolbox

Software Authors:   MathWorks; Gahinet, P.; Nemirovskii, A.; Laub, A.J.; Chilali, M.
Cited in: 1,459 Publications (1995–2023)
Related Software: Matlab; Control System Toolbox; SeDuMi; YALMIP; Mu Analysis and Synthesis Toolbox; SDPT3; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Operations research, mathematical programming (90-XX)

Simulink

Software Authors:   MathWorks, Inc
Cited in: 692 Publications (1994–2024)
Related Software: Matlab; Ode15s; StateFlow; MATLAB ODE suite; Carsim; Modelica; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

Gmsh

Software Authors:   Christophe Geuzaine, Jean-François Remacle
Cited in: 798 Publications (2003–2023)
Related Software: PETSc; FEniCS; ParaView; MUMPS; deal.ii; FreeFem++; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

ANSYS

Software Authors:   John Swanson, Ansys Inc.
Cited in: 704 Publications (1978–2023)
Related Software: ABAQUS; Matlab; FLUENT; ANSYS-CFX; NASTRAN; APDL; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-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)

CUTEr

Software Authors:   Gould, Nicholas I.M.; Orban, Dominique; Toint, Philippe L
Cited in: 614 Publications (1994–2022)
Related Software: CUTE; SifDec; L-BFGS; CG_DESCENT; LANCELOT; minpack; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Chaff

Software Authors:   Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L. and Malik, S
Cited in: 544 Publications (2001–2022)
Related Software: MiniSat; BerkMin; SATO; Walksat; Siege; Velev SAT Benchmarks; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

OpenFOAM

Software Authors:   OpenCFD Ltd (ESI Group)
Cited in: 554 Publications (2007–2022)
Related Software: FLUENT; Matlab; ANSYS-CFX; Spalart-Allmaras; GitHub; FEATFLOW; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-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)

Mosek

Software Authors:   MOSEK ApS
Cited in: 514 Publications (1999–2023)
Related Software: YALMIP; SeDuMi; SDPT3; CVX; CPLEX; Matlab; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

CGAL

Software Authors:   CGAL Editorial Board
Cited in: 381 Publications (2000–2023)
Related Software: LEDA; 2D triangulations; 2D Arrangement; Triangle; Boost; Qhull; …
Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX)

Nuprl

Software Authors:   R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, D. J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, J. T. Sasaki, S. F. Smith
Cited in: 396 Publications (1986–2022)
Related Software: Coq; HOL; Isabelle; Automath; PVS; ML; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Commutative algebra (13-XX)

Boids

Software Authors:   Craig Reynolds
Cited in: 304 Publications (1989–2022)
Related Software: NetLogo; GitHub; UCI-ml; GSA; AntNet; Beam-ACO; …
Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

HOL Light

Software Authors:   Harrison, John
Cited in: 305 Publications (1998–2022)
Related Software: Coq; Isabelle/HOL; HOL; Isabelle; Mizar; ML; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

LANCELOT

Software Authors:   Conn, Andrew R.; Gould, Nick I.M.; Toint, Philippe L.
Cited in: 312 Publications (1992–2022)
Related Software: CUTEr; SNOPT; L-BFGS; MINOS; Ipopt; ve08; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-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)

Kronos

Software Authors:   Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
Cited in: 243 Publications (1997–2021)
Related Software: Uppaal; HyTech; SPIN; IF-2.0; Uppaal2k; CMC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MENU-OKF

Software Authors:   Daskin, Mark S.
Cited in: 252 Publications (1995–2022)
Related Software: MOD-DIST; SITATION; OR-Library; CPLEX; Tabu search; AMPL; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

MOD-DIST

Software Authors:   Daskin, Mark S.
Cited in: 252 Publications (1995–2022)
Related Software: MENU-OKF; SITATION; OR-Library; CPLEX; Tabu search; AMPL; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

SITATION

Software Authors:   Daskin, Mark S.
Cited in: 244 Publications (1995–2022)
Related Software: MENU-OKF; MOD-DIST; OR-Library; CPLEX; Tabu search; AMPL; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

SUNDIALS

Software Authors:   Hindmarsh, Alan C.; Brown, Peter N.; Grant, Keith E.; Lee, Steven L.; Serban, Radu; Shumaker, Dan E.; Woodward, Carol S.
Cited in: 222 Publications (1990–2023)
Related Software: PETSc; Matlab; RODAS; CVODES; Trilinos; ADOL-C; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

XPRESS

Software Authors:   FICO
Cited in: 233 Publications (1989–2022)
Related Software: CPLEX; SCIP; MIPLIB; Gurobi; MIPLIB2003; AMPL; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

MPT

Software Authors:   M. Kvasnica; P. Grieder; M. Baoti; ETH Zürich; Borrelli, Francesco
Cited in: 234 Publications (2004–2022)
Related Software: YALMIP; CPLEX; Matlab; Hybrid Toolbox; Gurobi; fast_mpc; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

PHCpack

Software Authors:   Jan Verschelde
Cited in: 232 Publications (1999–2022)
Related Software: Bertini; HOM4PS; Macaulay2; SINGULAR; PHoM; MixedVol; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

PhaseLift

Software Authors:   Candès, Emmanuel J.; Eldar, Yonina C.; Strohmer, Thomas; Voroninski, Vladislav
Cited in: 228 Publications (2012–2022)
Related Software: Wirtinger Flow; GESPAR; PhaseMax; TFOCS; CVX; SparsePR; …
Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Statistics (62-XX); Numerical analysis (65-XX)

CutFEM

Software Authors:   Burman, E., Claus, S., Hansbo, P., Larson, M.G., Massing, A.
Cited in: 219 Publications (2014–2023)
Related Software: IIMPACK; FEniCS; PETSc; NGSolve; XFEM; deal.ii; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

SATO

Software Authors:   Zhang, H
Cited in: 189 Publications (1996–2021)
Related Software: Chaff; BerkMin; PSATO; MiniSat; DIMACS; Walksat; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Traces

Software Authors:   Adolfo Piperno
Cited in: 194 Publications (2014–2022)
Related Software: nauty; GAP; SageMath; bliss; OEIS; House of Graphs; …
Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX); Convex and discrete geometry (52-XX)

PATH Solver

Software Authors:   Ferris, Michael C.; Munson, Todd S.
Cited in: 192 Publications (1995–2022)
Related Software: GAMS; MCPLIB; MINOS; CONOPT; AMPL; QPCOMP; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

UG

Software Authors:   Bastian, P.; Birken, K.; Johannsen, K.; Lang, S.; Neuß, N.; Rentz-Reichert, H.; Wieners, C.
Cited in: 177 Publications (1994–2021)
Related Software: DUNE; PETSc; PLTMG; deal.ii; UMFPACK; Diffpack; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

DACE

Software Authors:   Hans Bruun Nielsen, Søren Nymand Lophaven, Jacob Søndergaard
Cited in: 165 Publications (2001–2022)
Related Software: EGO; AK-MCS; Matlab; DiceKriging; SURROGATES; DiceOptim; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-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)

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)

CASL

Software Authors:   Mossakowski, Till
Cited in: 171 Publications (1999–2021)
Related Software: CafeOBJ; Hets; Maude; OBJ3; CoFI; Isabelle; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Neural Network Toolbox

Software Authors:   Demuth, H.B.,Beale, M., Hagan, M.T.
Cited in: 131 Publications (1995–2021)
Related Software: Matlab; UCI-ml; Optimization Toolbox; C4.5; Wavelet Toolbox; Fuzzy Logic Toolbox; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

REDLOG

Software Authors:   Andreas Dolzmann; Thomas Sturm; Weispfenning, Volker
Cited in: 166 Publications (1997–2022)
Related Software: QEPCAD; Maple; z3; REDUCE; RSOLVER; DISCOVERER; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Computer science (68-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)

CESAR

Software Authors:   Queille, J.P.; Sifakis, J.
Cited in: 149 Publications (1982–2021)
Related Software: SPIN; SLAM; Uppaal; NuSMV; Bandera; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

copula

Software Authors:   Yan, J
Cited in: 158 Publications (2008–2022)
Related Software: copula; R; QRM; nacopula; TwoCop; CDVine; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-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)

CVC4

Software Authors:   Barrett, C., Conway, C.L., Deters, M., Hadarean, L., Jovanović, D., King, T., Reynolds, A., Tinelli, C.
Cited in: 153 Publications (2013–2023)
Related Software: z3; SMT-LIB; MathSAT5; VAMPIRE; Yices; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)

Robust Control Toolbox

Software Authors:   MathWorks; Balas G, Chiang R, Packard A, Safonov M
Cited in: 153 Publications (1989–2022)
Related Software: Matlab; Control System Toolbox; Mu Analysis and Synthesis Toolbox; LMI toolbox; YALMIP; Optimization Toolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

Control System Toolbox

Software Authors:   The MathWorks, Inc; Grace, A.; Laub, A. J.; Little, J. N.; Thompson, C. M.
Cited in: 150 Publications (1995–2022)
Related Software: Matlab; LMI toolbox; Robust Control Toolbox; YALMIP; SeDuMi; Optimization Toolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX)

KEEL

Software Authors:   Alcalá-Fdez, J.; Sánchez, L.; García, S.; del Jesus, M.J.; Ventura, S.; Garrell, J.M.; Otero, J.; Romero, C.; Bacardit, J.; Rivas, V.M.; Fernández, J.C.; Herrera, F.
Cited in: 88 Publications (2009–2022)
Related Software: JStatCom; UCI-ml; C4.5; SMOTE; R; SPEA2; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-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)

SIMPLIFY

Software Authors:   Detlefs, D.; Nelson, G.; Saxe, J. B
Cited in: 131 Publications (2001–2022)
Related Software: z3; ESC/Java; Boogie; Spec#; PVS; cvc3; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

Arc_Mat

Software Authors:   Xingjian Liu; James P. LeSage
Cited in: 140 Publications (2007–2023)
Related Software: spatial panels; R; spBayes; spdep; Matlab; R-INLA; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-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)

UniProt

Software Authors:   The UniProt Consortium; Apweiler, R.; Bairoch, A.; Wu, C. H.; Barker, W. C.; Boeckmann, B.; Ferro, S.; Gasteiger, E.; Huang, H.; Lopez, R.; Magrane, M.; Martin, M. J.; Natale, D. A.; O’donovan, C.; Redaschi, N.; Yeh, L. S.
Cited in: 73 Publications (2004–2022)
Related Software: BLAST; PSI-BLAST; KEGG; Pfam; Cd-hit; ClustalW; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

MADM

Software Authors:   Rao, R. Venkata
Cited in: 127 Publications (1998–2022)
Related Software: ELECTRE; VIKOR; NBI; FLINTSTONES; SimLean; Mathematica; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

CADP

Software Authors:   Garavel, Hubert; Hermanns, Holger; CONVECS team
Cited in: 110 Publications (1997–2022)
Related Software: SPIN; LOTOS; PRISM; mCRL2; Uppaal; E-LOTOS; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

CUTEst

Software Authors:   Gould, N., Orban, D., Toint, P.L.
Cited in: 129 Publications (2014–2023)
Related Software: L-BFGS; LANCELOT; HSL; Ipopt; GALAHAD; ALGENCAN; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Manopt

Software Authors:   Nicolas Boumal; Bamdev Mishra; P.-A. Absil; Rodolphe Sepulchre
Cited in: 128 Publications (2013–2022)
Related Software: RTRMC; Matlab; Pymanopt; ROPTLIB; UCI-ml; SDPLR; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)

ADINA

Software Authors:   ADINA R & D, Inc; K. J. Bathe
Cited in: 131 Publications (1976–2021)
Related Software: ANSYS; ABAQUS; FEAP; Matlab; Mimics; LS-DYNA; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-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)

DFO

Software Authors:   A. R. Conn; K. Scheinberg; Ph.L. Toint
Cited in: 130 Publications (1997–2022)
Related Software: NEWUOA; UOBYQA; WEDGE; COBYLA2; BOBYQA; KELLEY; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

GeoPDEs

Software Authors:   de Falco, C.; Reali, A.; Vázquez, R.
Cited in: 125 Publications (2011–2022)
Related Software: ISOGAT; IETI; PetIGA; Igatools; Matlab; NURBS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Risa/Asir

Software Authors:   Masayuki Noro, Kazuhiro Yokoyama, Taku Takeshima, Takeshi Shimoyama, Hiroshi Anai, Takayuki Kando, Tomokatsu Saito, Yuji Kondoh, Hirokazu Murao, Thomas Sturm, Katsuyoshi Ohara, Nobuki Takayama, (who committed to fundamental design, kernel sources and core libraries). As to committers of libraries and very recent contributors, see also http://www.math.kobe-u.ac.jp/OpenXM/people.html Fujitsu laboratory or asir.org or Kobe university.
Cited in: 119 Publications (1992–2022)
Related Software: SINGULAR; Macaulay2; Kan; OpenXM; Maple; Mathematica; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX)

Chaco

Software Authors:   B. Hendrickson; R. Leland
Cited in: 107 Publications (1995–2020)
Related Software: METIS; Scotch; ParMETIS; PETSc; PARTY; MESHPART; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-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)

ABACUS

Software Authors:   Elf, Matthias; Gutwenger, Carsten; Jünger, Michael; Rinaldi, Giovanni
Cited in: 117 Publications (1996–2022)
Related Software: CPLEX; MINTO; SYMPHONY; TSPLIB; PORTA; SCIP; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

GWO

Software Authors:   Mirjalili, S.; Mirjalili, S. M.; Lewis, A.
Cited in: 114 Publications (2014–2022)
Related Software: WOA; GSA; ABC; SSA; ALO; Krill herd; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Diffpack

Software Authors:   Bruaset, Are Magnus; Langtangen, Hans Petter
Cited in: 111 Publications (1996–2021)
Related Software: PETSc; LAPACK; UG; deal.ii; SCIRun; Matlab; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

SICStus

Software Authors:   Mats Carlsson, Per Mildner
Cited in: 91 Publications (1992–2022)
Related Software: SWI-Prolog; Prolog; Ciao; XSB; Oz; CPLEX; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Statistics (62-XX)

Mu Analysis and Synthesis Toolbox

Software Authors:   MathWorks; Gary J. Balas, John C. Doyle, Keith Glover, Andy Packard, Roy Smith
Cited in: 109 Publications (1993–2021)
Related Software: Robust Control Toolbox; LMI toolbox; Matlab; Control System Toolbox; Skew; Optimization Toolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Mechanics of deformable solids (74-XX)

Pastry

Software Authors:   Rowstron, Antony; Druschel, Peter
Cited in: 63 Publications (2001–2022)
Related Software: Chord; SCRIBE; BATON; UNITY; Globus Toolkit; PATRICIA; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

QDES

Software Authors:   Boyd, Stephen P.; Barratt, Craig H.
Cited in: 106 Publications (1991–2022)
Related Software: LMI toolbox; SeDuMi; Matlab; YALMIP; Robust Control Toolbox; Optimization Toolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-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)

eSTREAM

Software Authors:   Cannire, C.D.
Cited in: 106 Publications (2006–2022)
Related Software: Trivium; Grain; MICKEY; SageMath; Salsa20; PRESENT; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Commutative algebra (13-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)

DistAl

Software Authors:   Yang, Jihoon; Parekh, Rajesh; Honavar, Vasant
Cited in: 76 Publications (1999–2022)
Related Software: UCI-ml; C4.5; Genocop; SPEA2; R; LIBSVM; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

rms

Software Authors:   Frank E Harrell Jr
Cited in: 82 Publications (2001–2022)
Related Software: R; SAS; survival; glmnet; Stata; SAS/STAT; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Xilinx

Software Authors:   Xilinx Inc.
Cited in: 23 Publications (1994–2021)
Related Software: Handel-C; Simulink; Snort; Matlab; CUDA; PhysioToolkit; …
Main Fields: Field theory and polynomials (12-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

APBS

Software Authors:   Nathan Baker; J. Andrew McCammon; Michael Holst
Cited in: 92 Publications (2001–2022)
Related Software: MIBPB; tabipb; CHARMM; TABI; PDB2PQR; PBEQ-Solver; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Optics, electromagnetic theory (78-XX)

node2vec

Software Authors:   Aditya Grover, Jure Leskovec
Cited in: 88 Publications (2017–2022)
Related Software: DeepWalk; word2vec; GraRep; t-SNE; Adam; struc2vec; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

Graphviz

Software Authors:   Ellson, John; Gansner, Emden; Koutsofios, Lefteris; North, Stephen C.; Woodhull, Gordon
Cited in: 70 Publications (2001–2022)
Related Software: Dynagraph; R; Python; CPLEX; GAP; Rgraphviz; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

NIST Statistical Test Suite

Software Authors:   NIST; Lawrence Bassham, Andrew Rukhin, Juan Soto, James Nechvatal, Miles Smid, Elaine Barker, Stefan Leigh, Mark Levenson, Mark Vangel, David Banks, N. Heckert, James Dray
Cited in: 82 Publications (2004–2021)
Related Software: TestU01; Diehard; MersenneTwister; dieharder; xorgens; SFMT; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Numerical analysis (65-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)

HMQV

Software Authors:   Krawczyk, Hugo
Cited in: 92 Publications (2001–2022)
Related Software: NAXOS; GitHub; liboqs; Reveal; Keccak; XooTools; …
Main Fields: Number theory (11-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

MOCHA

Software Authors:   Alur, R., Henzinger, T.A., Mang, F.Y.C., Qadeer, S., Rajamani, S.K., Tasiran, S.
Cited in: 81 Publications (1999–2021)
Related Software: MCMAS; SPIN; MCMAS-SLK; NuSMV; EAGLE; PRISM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

seL4

Software Authors:   Klein, G., Elphinstone, K., Heiser, G., Andronick, J., Cock, D., Derrin, P., Elkaduwe, D., Engelhardt, K., Kolanski, R., Norrish, M., Sewell, T., Tuch, H., Winwood, S.
Cited in: 84 Publications (2009–2022)
Related Software: Isabelle/HOL; Coq; Isabelle; HOL; HOL Light; kepler98; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Camellia

Software Authors:   Aoki, Kazumaro; Ichikawa, Tetsuya; Kanda, Masayuki; Matsui, Mitsuru; Moriai, Shiho; Nakajima, Junko; Tokita, Toshio
Cited in: 86 Publications (2001–2022)
Related Software: CLEFIA; PRESENT; SIMON; Square; ARIA; LBlock; …
Main Fields: Number theory (11-XX); Group theory and generalizations (20-XX); Numerical analysis (65-XX)

Steerable pyramid

Software Authors:   E. Simoncelli
Cited in: 71 Publications (1999–2022)
Related Software: DT-CWT; SIFT; L-BFGS; PDCO; AlexNet; ImageNet; …
Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Statistics (62-XX); Numerical analysis (65-XX)

CVXPY

Software Authors:   Steven Diamond; Stephen Boyd
Cited in: 80 Publications (2016–2022)
Related Software: ECOS; CVX; Mosek; YALMIP; Gurobi; SCS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Sat4j

Software Authors:   Le Berre; Parrain
Cited in: 83 Publications (2007–2023)
Related Software: MiniSat; Chaff; QMaxSAT; Open-WBO; PicoSAT; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

cvc3

Software Authors:   Clark Barrett, Cesare Tinelli, Chris Conway, Morgan Deters, Alexander Fuchs, Yeting Ge, George Hagen, Mina Jeong, Dejan Jovanovic, Tim King
Cited in: 79 Publications (2006–2022)
Related Software: z3; SMT-LIB; Yices; SIMPLIFY; Why3; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Keccak

Software Authors:   Bertoni, G., Daemen, J., Peeters, M., Van Assche, G.
Cited in: 86 Publications (2011–2022)
Related Software: PRESENT; SIMON; Skein Hash; XooTools; GitHub; spongent; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-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)

SLICOT

Software Authors:   Benner, Peter; Mehrmann, Volker; Sima, Vasile; Van Huffel, Sabine; Varga, Andras
Cited in: 85 Publications (1999–2022)
Related Software: LAPACK; Matlab; mctoolbox; ScaLAPACK; ARPACK; BLAS; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

ALBERT

Software Authors:   Schmidt, A.; Siebert, K.G.
Cited in: 83 Publications (1997–2023)
Related Software: ALBERTA; FreeFem++; Netgen; PETSc; Triangle; TetGen; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

NAXOS

Software Authors:   Berkant Ustaoglu; LaMacchia; Lauter; Mityagin
Cited in: 82 Publications (2007–2022)
Related Software: HMQV; CMQV+; GitHub; liboqs; Curve25519; FrodoKEM; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX)

Cactus

Software Authors:   Goodale, Tom; Allen, Gabrielle; Lanfermann, Gerd; Masso, Joan; Radke, Thomas; Seidel, Edward; Shalf, John
Cited in: 68 Publications (2000–2020)
Related Software: Carpet; Einstein Toolkit; Chombo; Globus Toolkit; PARAMESH; PETSc; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

channelflow

Software Authors:   J. F. Gibson
Cited in: 79 Publications (2008–2022)
Related Software: Matlab; FFTW; Openpipeflow; AUTO-07P; AUTO; LAPACK; …
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

DAKOTA

Software Authors:   Sandia
Cited in: 67 Publications (2002–2022)
Related Software: Matlab; Python; UQLab; QUESO; Trilinos; Ipopt; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

NSDTST

Software Authors:   Enright, W.H.; Pryce, J.D.
Cited in: 80 Publications (1985–2022)
Related Software: STDTST; RODAS; Mathematica; MEBDF; dverk; Matlab; …
Main Fields: History and biography (01-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

STDTST

Software Authors:   Enright, W.H.; Pryce, J.D.
Cited in: 80 Publications (1985–2022)
Related Software: NSDTST; RODAS; Mathematica; MEBDF; dverk; Matlab; …
Main Fields: History and biography (01-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)