×

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

R

Software Authors:   Hadley Wickham; Robert Gentleman; Ross Ihaka; John M. Chambers; William N. Venables; Brian D. Ripley
Referenced in: 8,357 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
Referenced in: 1,066 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
Referenced in: 1,589 Publications (1996–2023)
Related Software: FEniCS; MUMPS; hypre; 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.
Referenced in: 1,451 Publications (1995–2022)
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
Referenced in: 693 Publications (1994–2024)
Related Software: Matlab; Ode15s; StateFlow; Carsim; MATLAB ODE suite; 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
Referenced in: 772 Publications (2003–2022)
Related Software: FEniCS; PETSc; ParaView; MUMPS; FreeFem++; deal.ii; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

ANSYS

Software Authors:   John Swanson, Ansys Inc.
Referenced in: 693 Publications (1978–2022)
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.
Referenced 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
Referenced in: 611 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
Referenced in: 540 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)
Referenced in: 553 Publications (2007–2022)
Related Software: FLUENT; Matlab; ANSYS-CFX; GitHub; FEATFLOW; PETSc; …
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
Referenced in: 409 Publications (2014–2022)
Related Software: GitHub; JuMP; DifferentialEquations.jl; R; Gurobi; Python; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

Mosek

Software Authors:   MOSEK ApS
Referenced in: 494 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
Referenced in: 370 Publications (2000–2022)
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
Referenced in: 396 Publications (1986–2022)
Related Software: Coq; HOL; Automath; Isabelle; 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
Referenced in: 302 Publications (1989–2022)
Related Software: NetLogo; GitHub; UCI-ml; GSA; Scikit; Silhouettes; …
Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

HOL Light

Software Authors:   Harrison, John
Referenced 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.
Referenced in: 309 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
Referenced in: 225 Publications (1989–2020)
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
Referenced 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.
Referenced 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.
Referenced 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.
Referenced 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.
Referenced in: 221 Publications (1990–2022)
Related Software: PETSc; Matlab; RODAS; CVODES; Trilinos; CVODE; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

XPRESS

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

PHCpack

Software Authors:   Jan Verschelde
Referenced in: 229 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)

MPT

Software Authors:   M. Kvasnica; P. Grieder; M. Baoti; ETH Zürich; Borrelli, Francesco
Referenced in: 229 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)

PhaseLift

Software Authors:   Candès, Emmanuel J.; Eldar, Yonina C.; Strohmer, Thomas; Voroninski, Vladislav
Referenced 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.
Referenced 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
Referenced in: 188 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
Referenced in: 194 Publications (2014–2022)
Related Software: nauty; GAP; SageMath; OEIS; House of Graphs; GitHub; …
Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

PATH Solver

Software Authors:   Ferris, Michael C.; Munson, Todd S.
Referenced 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.
Referenced 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
Referenced 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
Referenced 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
Referenced 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
Referenced 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.
Referenced 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)

Esterel

Software Authors:   Gérard Berry
Referenced 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)

REDLOG

Software Authors:   Andreas Dolzmann; Thomas Sturm; Weispfenning, Volker
Referenced in: 164 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)

CESAR

Software Authors:   Queille, J.P.; Sifakis, J.
Referenced 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)

LCF

Software Authors:   Milner, Robin
Referenced in: 155 Publications (1972–2022)
Related Software: Coq; ML; 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)

copula

Software Authors:   Yan, J
Referenced in: 154 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)

Robust Control Toolbox

Software Authors:   MathWorks; Balas G, Chiang R, Packard A, Safonov M
Referenced in: 152 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)

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.
Referenced in: 87 Publications (2009–2022)
Related Software: JStatCom; UCI-ml; C4.5; R; SMOTE; SPEA2; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Control System Toolbox

Software Authors:   The MathWorks, Inc; Grace, A.; Laub, A. J.; Little, J. N.; Thompson, C. M.
Referenced in: 147 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)

Miranda

Software Authors:   Turner, D.A.
Referenced 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
Referenced in: 129 Publications (2001–2021)
Related Software: z3; ESC/Java; PVS; Spec#; Boogie; SMT-LIB; …
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
Referenced 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)
Referenced 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)

MADM

Software Authors:   Rao, R. Venkata
Referenced 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)

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.
Referenced in: 71 Publications (2004–2022)
Related Software: BLAST; PSI-BLAST; KEGG; Pfam; Cd-hit; LIBSVM; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

CADP

Software Authors:   Garavel, Hubert; Hermanns, Holger; CONVECS team
Referenced in: 109 Publications (1997–2021)
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)

ADINA

Software Authors:   ADINA R & D, Inc; K. J. Bathe
Referenced 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)

CUTEst

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

DFO

Software Authors:   A. R. Conn; K. Scheinberg; Ph.L. Toint
Referenced in: 129 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)

CVC4

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

GeoPDEs

Software Authors:   de Falco, C.; Reali, A.; Vázquez, R.
Referenced 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)

Manopt

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

NetLogo

Software Authors:   Elizabeth Sklar; Seth Tisue; Uri Wilensky
Referenced in: 85 Publications (2007–2022)
Related Software: Boids; Python; Matlab; 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)

Chaco

Software Authors:   B. Hendrickson; R. Leland
Referenced 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
Referenced 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)

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.
Referenced in: 116 Publications (1992–2022)
Related Software: SINGULAR; Macaulay2; Kan; OpenXM; Mathematica; hgm R; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX)

ABACUS

Software Authors:   Elf, Matthias; Gutwenger, Carsten; Jünger, Michael; Rinaldi, Giovanni
Referenced 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)

Diffpack

Software Authors:   Bruaset, Are Magnus; Langtangen, Hans Petter
Referenced 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)

GWO

Software Authors:   Mirjalili, S.; Mirjalili, S. M.; Lewis, A.
Referenced in: 110 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)

SICStus

Software Authors:   Mats Carlsson, Per Mildner
Referenced 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
Referenced 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
Referenced 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.
Referenced in: 106 Publications (1991–2022)
Related Software: LMI toolbox; SeDuMi; YALMIP; Robust Control Toolbox; Matlab; 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
Referenced 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.
Referenced 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.
Referenced 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
Referenced 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
Referenced in: 81 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.
Referenced in: 22 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
Referenced in: 91 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)

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
Referenced 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)

Graphviz

Software Authors:   Ellson, John; Gansner, Emden; Koutsofios, Lefteris; North, Stephen C.; Woodhull, Gordon
Referenced 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)

Scala

Software Authors:   Loverdos, Christos K. K.; Syropoulos, Apostolos
Referenced in: 78 Publications (2005–2022)
Related Software: Coq; z3; Haskell; Featherweight Java; Isabelle; OCaml; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)

MOCHA

Software Authors:   Alur, R., Henzinger, T.A., Mang, F.Y.C., Qadeer, S., Rajamani, S.K., Tasiran, S.
Referenced 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.
Referenced 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
Referenced 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)

HMQV

Software Authors:   Krawczyk, Hugo
Referenced in: 90 Publications (2001–2022)
Related Software: NAXOS; GitHub; liboqs; Reveal; KEM-DEM; Curve25519; …
Main Fields: Number theory (11-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

Steerable pyramid

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

node2vec

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

Sat4j

Software Authors:   Le Berre; Parrain
Referenced 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
Referenced in: 78 Publications (2006–2021)
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.
Referenced in: 86 Publications (2011–2022)
Related Software: PRESENT; SIMON; Skein Hash; GitHub; spongent; Salsa20; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX)

CVXPY

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

SLICOT

Software Authors:   Benner, Peter; Mehrmann, Volker; Sima, Vasile; Van Huffel, Sabine; Varga, Andras
Referenced in: 84 Publications (1999–2022)
Related Software: LAPACK; Matlab; mctoolbox; ScaLAPACK; ARPACK; BLAS; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

ALBERT

Software Authors:   Schmidt, A.; Siebert, K.G.
Referenced in: 82 Publications (1997–2021)
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)

GiNaC

Software Authors:   European Patent Office (EPO); C.W. Bauer, A. Frink, R. Kreckel
Referenced in: 71 Publications (2002–2022)
Related Software: FORM; Reduze; Mathematica; HPL; FIRE; LiteRed; …
Main Fields: Functions of a complex variable (30-XX); Geometry (51-XX); Numerical analysis (65-XX)

pandas

Software Authors:   Wes McKinney
Referenced in: 14 Publications (2016–2022)
Related Software: Python; NumPy; SciPy; Matplotlib; Scikit; R; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

NAXOS

Software Authors:   Berkant Ustaoglu; LaMacchia; Lauter; Mityagin
Referenced 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
Referenced in: 68 Publications (2000–2020)
Related Software: Carpet; Einstein Toolkit; Chombo; PARAMESH; Globus Toolkit; Kranc; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

channelflow

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

NSDTST

Software Authors:   Enright, W.H.; Pryce, J.D.
Referenced 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.
Referenced 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)

DAKOTA

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