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)