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)