Matlab Software Authors: MathWorks Inc Cited in: 13,208 Publications (1982–2024) Related Software: Simulink; LMI toolbox; Maple; MATLAB ODE suite; ode23; ode45; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
Maple Software Authors: Waterloo Maple Inc. Cited in: 5,250 Publications (1983–2023) Related Software: Mathematica; Matlab; MACSYMA; Magma; SINGULAR; REDUCE; … Main Fields: Number theory (11-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)
DLMF Software Authors: Lozier, Daniel W. Cited in: 3,038 Publications (2000–2023) Related Software: Mathematica; Matlab; OEIS; Chebfun; GitHub; Maple; … Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX)
Python Software Authors: Guido van Rossum Cited in: 1,165 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,598 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)
ABAQUS Software Authors: Simulia (Dassault Systemes); ABAQUS Inc Cited in: 1,589 Publications (1985–2023) Related Software: UMAT; ABAQUS/Standard; ABAQUS/Explicit; Matlab; ANSYS; LS-DYNA; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-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)
CUDA Software Authors: NVIDIA; Vingelmann, Péter; Fitzek, Frank H.P. Cited in: 1,072 Publications (2007–2023) Related Software: OpenCL; CUBLAS; Matlab; CUSPARSE; Thrust; MPI; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
Isabelle/HOL Software Authors: Naraschewski, Wolfgang; Nipkow, Tobias Cited in: 988 Publications (1996–2023) Related Software: Isabelle; Coq; HOL; Archive Formal Proofs; PVS; HOL Light; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)
FEniCS Software Authors: Simula Research Laboratory, University of Cambridge, University of Chicago, Texas Tech University and KTH Royal Institute of Technology Cited in: 851 Publications (2007–2023) Related Software: SyFi; PETSc; DOLFIN; Gmsh; Python; deal.ii; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-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)
Excel Software Authors: Microsoft Cited in: 521 Publications (1989–2022) Related Software: R; Matlab; SPSS; Visual Basic; Mathematica; SAS; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
QRM Software Authors: Bernhard Pfaff; Marius Hofert; Alexander McNeil; Scott Ulmann Cited in: 787 Publications (2005–2022) Related Software: R; CopulaModel; copula; copula; ismev; CAViaR; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
Regularization tools Software Authors: Per Christian Hansen Cited in: 758 Publications (1994–2023) Related Software: UTV; LSQR; Matlab; IR Tools; AIR tools; RestoreTools; … 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: 706 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)
Isabelle Software Authors: Larry Paulson, Tobias Nipkow, Makarius Wenzel Cited in: 704 Publications (1990–2022) Related Software: Isabelle/HOL; HOL; Coq; PVS; Archive Formal Proofs; ML; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)
z3 Software Authors: Microsoft Research; Leonardo de Moura; Nikolaj Bjørner Cited in: 640 Publications (2001–2023) Related Software: CVC4; SMT-LIB; Yices; Coq; Isabelle/HOL; VAMPIRE; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
deal.ii Software Authors: Bangerth W, Hartman R, Kanschat G Cited in: 637 Publications (1999–2023) Related Software: Trilinos; PETSc; p4est; FEniCS; UMFPACK; FreeFem++; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
Uppaal Software Authors: Uppsala University, Sweden; Aalborg University in Denmark Cited in: 541 Publications (1990–2022) Related Software: Kronos; HyTech; SPIN; PRISM; IF-2.0; NuSMV; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
PVS Software Authors: Sam Owre, Natarajan Shankar, John Rushby Cited in: 606 Publications (1993–2022) Related Software: Coq; Isabelle/HOL; HOL; Isabelle; Nuprl; ACL2; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
S-PLUS Software Authors: TIBCO Software Inc. Cited in: 585 Publications (1994–2022) Related Software: R; MEMSS; SAS; lme4; SemiPar; nlme; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
CUTEr Software Authors: Gould, Nicholas I.M.; Orban, Dominique; Toint, Philippe L Cited in: 616 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)
HOL Software Authors: Gordon, Michael J. C. Cited in: 582 Publications (1985–2022) Related Software: Isabelle; Isabelle/HOL; ML; Coq; HOL Light; PVS; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)
OpenFOAM Software Authors: OpenCFD Ltd (ESI Group) Cited in: 559 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)
robustbase Software Authors: Peter Rousseeuw; Christophe Croux; Valentin Todorov, Andreas Ruckstuhl, Matias Salibian-Barrera, Tobias Verbeke, Manuel Koller, Martin Maechler Cited in: 509 Publications (1992–2023) Related Software: R; rrcov; ROBPCA; RobStatTM; fda (R); MASS (R); … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
SAS/STAT Software Authors: SAS Cited in: 374 Publications (1992–2022) Related Software: SAS; R; Stata; SPSS; S-PLUS; PROC NLMIXED; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
Chebfun Software Authors: ChebfunTeam; A Driscoll, N. Hale, L. N. Trefethen Cited in: 440 Publications (2004–2023) Related Software: Matlab; DLMF; Chebfun2; mctoolbox; GitHub; chebop; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)
Trilinos Software Authors: Trilinos contributors Cited in: 403 Publications (2003–2023) Related Software: PETSc; deal.ii; ML; p4est; UMFPACK; hypre; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-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: 397 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)
Bioconductor Software Authors: open development project Cited in: 216 Publications (2003–2022) Related Software: R; gcrma; edgeR; limma; KEGG; DEseq; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
gss Software Authors: Chong Gu Cited in: 321 Publications (1997–2023) Related Software: R; SemiPar; gamair; fda (R); ElemStatLearn; GAMLSS; … Main Fields: Functional analysis (46-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
Octave Software Authors: John W. Eaton Cited in: 279 Publications (1992–2022) Related Software: Matlab; R; Scilab; Python; Mathematica; LAPACK; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)
NuSMV Software Authors: Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Fausto; Roveri, Marco; Roberto Cavada, Michele Dorigatti, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Andrei Tchaltsev Cited in: 266 Publications (1999–2022) Related Software: SPIN; Uppaal; CUDD; Chaff; PRISM; Bandera; … Main Fields: Mathematical logic and foundations (03-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)
INTOPT_90 Software Authors: Kearfott, R.Baker Cited in: 304 Publications (1996–2021) Related Software: INTLAB; PROFIL/BIAS; C-XSC; C-XSC 2.0; BARON; Numerica; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)
UTV Software Authors: Fierro, Ricardo D.; Hansen, Per Christian Cited in: 279 Publications (1997–2023) Related Software: Regularization tools; Matlab; LSQR; AIR tools; VanHuffel; RestoreTools; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)
CHEMKIN Software Authors: Sandia National Laboratories; Coltrin, M. E., Kee, R. J., Rupley, F. M., Meeks, E. Cited in: 262 Publications (1982–2022) Related Software: TRANSPORT; VODE; PREMIX; GRI-Mech 3.0; Cantera; SENKIN; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)
CSparse Software Authors: Davis, Timothy A. Cited in: 257 Publications (2006–2023) Related Software: SparseMatrix; Matlab; symrcm; MUMPS; UMFPACK; PARDISO; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
Schwarz-Christoffel Software Authors: Tobin A. Driscoll Cited in: 246 Publications (1996–2022) Related Software: SC Toolbox; Matlab; SCPACK; cap; Algorithm 785; FMMLIB2D; … Main Fields: Functions of a complex variable (30-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
CUTE Software Authors: Bongartz, I., Conn, A., Gould, N., Toint, Ph. Cited in: 242 Publications (1994–2023) Related Software: CUTEr; L-BFGS; minpack; CG_DESCENT; SCALCG; SifDec; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-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)
PHCpack Software Authors: Jan Verschelde Cited in: 233 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)
PSI-BLAST Software Authors: Altschul, S.F., Madden, T.L., Schäffer, A.A., Zhang, J., Zhang, Z., Miller, W., Lipman, D.J. Cited in: 140 Publications (1999–2022) Related Software: BLAST; Pfam; UniProt; ClustalW; MUSCLE; LIBSVM; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
SPARSKIT Software Authors: Yousef Saad Cited in: 220 Publications (1991–2021) Related Software: ITSOL; ILUT; SparseMatrix; Matlab; LAPACK; BLAS; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
SifDec Software Authors: Gould, Nicholas I.M.; Orban, Dominique; Toint, Philippe L. Cited in: 223 Publications (2003–2022) Related Software: CUTEr; Ipopt; L-BFGS; CUTE; minpack; LANCELOT; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-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)
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)
copula Software Authors: Marius Hofert, Ivan Kojadinovic, Martin Maechler, Jun Yan Cited in: 169 Publications (2008–2022) Related Software: copula; R; QRM; nacopula; VineCopula; CDVine; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
Scilab Software Authors: Scilab Enterprises; Ricardo Fabbri Cited in: 169 Publications (1999–2022) Related Software: Matlab; Octave; R; Mathematica; Maple; Scicos; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
CASL Software Authors: Mossakowski, Till Cited in: 173 Publications (1999–2023) 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)
LIBLINEAR Software Authors: Rong-En Fan; Kai-Wei Chang; Cho-Jui Hsieh; Xiang-Rui Wang; Chih-Jen Lin Cited in: 152 Publications (2008–2022) Related Software: LIBSVM; UCI-ml; Pegasos; PRMLT; ElemStatLearn; Scikit; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
Globus Toolkit Software Authors: University of Chicago; Ian Foster; ... Cited in: 61 Publications (2000–2022) Related Software: Condor-G; MPICH-G2; Nimrod/G; Java CoG Kit; Chord; Open Science Grid; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
MatrixMarket Software Authors: Boisvert, R., Pozo, R., Remington, K., Barrett, R., Dongarra, J Cited in: 168 Publications (1999–2023) Related Software: SparseMatrix; Matlab; Harwell-Boeing sparse matrix collection; JDQZ; JDQR; LAPACK; … Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)
Esterel Software Authors: Gérard Berry Cited in: 135 Publications (1985–2023) 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)
forecast Software Authors: Rob J Hyndman; Slava Razbash; Drew Schmidt Cited in: 134 Publications (2006–2023) Related Software: Forecast; R; expsmooth; zoo; tseries; ggplot2; … Main Fields: Statistics (62-XX); Computer science (68-XX); Geophysics (86-XX)
JuMP Software Authors: I. Dunning, J. Huchette, M. Lubin Cited in: 147 Publications (2017–2023) Related Software: Julia; Gurobi; GitHub; Ipopt; CPLEX; Mosek; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
CVC4 Software Authors: Barrett, C., Conway, C.L., Deters, M., Hadarean, L., Jovanović, D., King, T., Reynolds, A., Tinelli, C. Cited in: 158 Publications (2013–2023) 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)
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)
Nek5000 Software Authors: Peplinski, A.; Schlatter, P.; Fischer, P.F.; Henningson, D.S. Cited in: 150 Publications (2010–2023) Related Software: Nektar++; SIMSON; FreeFem++; OpenFOAM; Gmsh; p4est; … Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
gfun Software Authors: B. Salvy; P. Zimmermann Cited in: 144 Publications (1992–2023) Related Software: Maple; OEIS; GeneratingFunctions; Mathematica; SIGMA; DLMF; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Special functions (33-XX)
SIMPLIFY Software Authors: Detlefs, D.; Nelson, G.; Saxe, J. B Cited in: 132 Publications (2001–2022) Related Software: z3; ESC/Java; Boogie; Spec#; PVS; CVC4; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)
Bandera Software Authors: Hatcliff, John; Dwyer, Matthew Cited in: 104 Publications (2000–2018) Related Software: SPIN; Java PathFinder; veriSoft; SLAM; Bebop; dSPIN; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-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)
TestU01 Software Authors: P. L'Ecuyer; R. Simard Cited in: 122 Publications (2005–2022) Related Software: MersenneTwister; Diehard; NIST Statistical Test Suite; dieharder; SPRNG; MRG32k3a; … Main Fields: Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Numerical analysis (65-XX)
GeoPDEs Software Authors: de Falco, C.; Reali, A.; Vázquez, R. Cited in: 128 Publications (2011–2023) 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)
Gfan Software Authors: Anders Nedergaard Jensen Cited in: 126 Publications (2006–2023) Related Software: SINGULAR; Macaulay2; polymake; SageMath; cdd; PHCpack; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX)
JBool Software Authors: Claude Benzaken; Nadia Brauner Cited in: 127 Publications (2008–2022) Related Software: OEIS; MiniSat; GitHub; C4.5; Scikit; UCI-ml; … Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
GrabCut Software Authors: Rother C, Kolmogorov V, Blake A. Cited in: 68 Publications (2007–2022) Related Software: MAXFLOW; BSDS; SIFT; PASCAL VOC; iCoseg; LabelMe; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
Forecast Software Authors: Rob J Hyndman; George Athanasopoulos, Slava Razbash, Drew Schmidt, Zhenyu Zhou, Yousaf Khan, Christoph Bergmeir, Earo Wang Cited in: 115 Publications (2010–2023) Related Software: forecast; R; expsmooth; fpp; GitHub; fda (R); … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
FeynRules Software Authors: A. Alloul, N.D. Christensen, C. Degrande, C. Duhr, B. Fuks Cited in: 108 Publications (2010–2022) Related Software: FeynArts; MadGraph; CalcHEP; PYTHIA8; MadGraph5_aMC@NLO; DELPHES; … Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Quantum theory (81-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)
APCluster Software Authors: Brendan J. Frey; Delbert Dueck; Ulrich Bodenhofer , Johannes Palme , Chrats Melkonian , Andreas Kothmeier Cited in: 91 Publications (2007–2022) Related Software: apcluster; UCI-ml; clusfind; AS 136; R; ElemStatLearn; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
PEPA Software Authors: Jane Hillston; http://www.dcs.ed.ac.uk/pepa/people/ Cited in: 107 Publications (1995–2022) Related Software: Bio-PEPA; PRISM; BIOCHAM; SPADES; SMART_; HyTech; … Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)
Clingo Software Authors: Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub Cited in: 106 Publications (2009–2022) Related Software: Gringo; clasp; WASP; Potassco; DLV2; iClingo; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Gringo Software Authors: Martin Gebser, Roland Kaminski, Benjamin Kaufmann,Max Ostrowski, Torsten Schaub, Sven Thiele Cited in: 98 Publications (2007–2021) Related Software: clasp; Clingo; Lparse; WASP; ASSAT; MiniSat; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
M-MACBETH Software Authors: Carlos Bana e Costa; Jean Marie De Corte; Jean-Claude Vansnick Cited in: 106 Publications (1994–2023) Related Software: UTA Plus; VisualUTA; ELECTRE; PRIME Decisions; kappalab; VIP Analysis; … Main Fields: Measure and integration (28-XX); Statistics (62-XX); Computer science (68-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)
impute Software Authors: Troyanskaya, O.; Cantor, M.; Sherlock, G.; Brown, P.; Hastie, T.; Tibshirani, R.; Botstein, D.; Altman, R. Cited in: 92 Publications (2002–2023) Related Software: R; softImpute; VIM; missForest; MICE; AS 136; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
Pfam Software Authors: Finn RD, Mistry J, Schuster-Bockler B, Griffiths-Jones S, Hollich V, Lassmann T, Moxon S, Marshall M, Khanna A, Durbin R, Eddy SR, Sonnhammer EL, Bateman A Cited in: 56 Publications (1999–2021) Related Software: PSI-BLAST; BLAST; UniProt; KEGG; ClustalW; SMART; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)
AIR tools Software Authors: Hansen, Per Christian; Saxild-Hansen, Maria Cited in: 99 Publications (2012–2022) Related Software: Regularization tools; IR Tools; UTV; LSQR; ASTRA; Matlab; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
TOMLAB Software Authors: Holmstrom, K., Goran, A.O., Edvall, M.M. Cited in: 99 Publications (1999–2022) Related Software: OPERA; NLPLIB; Matlab; SNOPT; EGO; MultiMin; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
LiteRed Software Authors: R. Lee Cited in: 92 Publications (2013–2022) Related Software: FIRE; FIRE5; Reduze; FORM; FIESTA; Kira; … Main Fields: Global analysis, analysis on manifolds (58-XX); Statistics (62-XX); Mechanics of particles and systems (70-XX)
Isabelle/Isar Software Authors: Markus Wenzel et. al. Cited in: 96 Publications (2002–2021) Related Software: Isabelle; Isabelle/HOL; Isar; Coq; HOL; Mizar; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX)
Xilinx Software Authors: Xilinx Inc. Cited in: 23 Publications (1994–2021) Related Software: Handel-C; Simulink; Snort; Matlab; CUDA; dfp; … Main Fields: Field theory and polynomials (12-XX); Ordinary differential equations (34-XX); Computer science (68-XX)
pandas Software Authors: Wes McKinney Cited in: 18 Publications (2016–2023) Related Software: Python; NumPy; SciPy; Matplotlib; Scikit; Seaborn; … Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)
Pyomo Software Authors: Hart, William E.; Laird, Carl; Watson, Jean-Paul; Woodruff, David L. Cited in: 81 Publications (2012–2022) Related Software: Gurobi; Ipopt; Python; CPLEX; GAMS; PySP; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
AGG Software Authors: Gabriele Taentzer Cited in: 67 Publications (1994–2022) Related Software: GROOVE; PROGRES; AToM3; VIATRA2; Henshin; GrGen; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX)
Visual C++ Software Authors: Microsoft Cited in: 83 Publications (1993–2021) Related Software: Visual Basic; OpenGL; VisualStudio.NET; Matlab; BabelFish; STRONgrid; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
ILOG SCHEDULE Software Authors: Le Pape, C Cited in: 79 Publications (1996–2022) Related Software: CPLEX; CHIP; JOBSHOP; CP Optimizer; PSPLIB; Tabu search; … Main Fields: History and biography (01-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
CUBIT Software Authors: Sandia National Laboratories Cited in: 75 Publications (1996–2021) Related Software: PETSc; Trilinos; Gmsh; hypre; ParaView; MUMPS; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-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)
Potassco Software Authors: Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius Cited in: 73 Publications (2008–2022) Related Software: Clingo; Gringo; clasp; MiniSat; ASSAT; Chaff; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-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)
Apache Spark Software Authors: apache.org Cited in: 70 Publications (2015–2022) Related Software: MLlib; Hadoop; MapReduce; UCI-ml; Scikit; GitHub; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
IPython Software Authors: F. Pérez, B.E. Granger Cited in: 51 Publications (2008–2022) Related Software: Python; Matplotlib; SciPy; NumPy; Jupyter; Scikit; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)
LIMDEP Software Authors: Econometric Software, Inc Cited in: 69 Publications (1984–2020) Related Software: Stata; R; Excel; SAS; GAUSS; SHAZAM; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
na14 Software Authors: Alberty, Jochen; Carstensen, Carsten; Funken, Stefan A. Cited in: 77 Publications (1999–2022) Related Software: Matlab; p1afem; mfem; iFEM; DistMesh; Triangle; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
mixtools Software Authors: T. Benaglia, D. Chauveau, D.R. Hunter, D. Young Cited in: 58 Publications (2010–2022) Related Software: R; mclust; flexmix; Rmixmod; ElemStatLearn; PRMLT; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
Apron Software Authors: Jeannet, Bertrand; Miné, Antoine Cited in: 71 Publications (1991–2022) Related Software: ASTREE; PPL; z3; Octagon; Interproc; OCaml; … Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX)
SLMC Software Authors: Hugo Vieira; Luís Caires Cited in: 72 Publications (2003–2022) Related Software: PIPER; PRISM; KLAIM; Maude; Uppaal; BlenX; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)