LIBSVM Software Authors: Chih-Chung Chang; Chih-Jen Lin Cited in: 946 Publications (2002–2023) Related Software: UCI-ml; LIBLINEAR; SVMlight; Matlab; C4.5; ElemStatLearn; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
Excel Software Authors: Microsoft Cited in: 522 Publications (1989–2023) Related Software: R; Matlab; SPSS; Visual Basic; Mathematica; SAS; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
XFEM Software Authors: Bordas, Stéphane Author Profile; Nguyen, Phu Vinh; Dunant, Cyrille; Guidoum, Amor; Nguyen-Dang, Hung Cited in: 389 Publications (2002–2022) Related Software: Matlab; Gmsh; Mfree2D; ABAQUS; CutFEM; Getfem++; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
gamair Software Authors: Simon Wood Cited in: 358 Publications (2006–2023) Related Software: R; SemiPar; GAMLSS; mgcv; gss; fda (R); … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
GloptiPoly Software Authors: Didier Henrion; Jean-Bernard Lasserre; Johan Loefberg Cited in: 330 Publications (2003–2022) Related Software: SeDuMi; YALMIP; Sostools; SDPT3; Matlab; SparsePOP; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
AUSM Software Authors: MS Liou; Ullrich, Paul A.; Jablonowski, Christiane Cited in: 329 Publications (1996–2022) Related Software: HLLE; HE-E1GODF; AUSMPW+; Spalart-Allmaras; FLICA-OVAP; RIEMANN; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
FODE Software Authors: Deng, Weihua Cited in: 329 Publications (2007–2022) Related Software: ma2dfc; Matlab; Fractional Order Chaotic Systems; Adaptative L1 TE and Predictive; FracPECE; Mittag-Leffler; … Main Fields: Real functions (26-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)
plfit Software Authors: Clauset A, Shalizi CR, Newman MEJ Cited in: 293 Publications (2008–2023) Related Software: bootstrap; R; poweRlaw; SNAP; Gephi; KONECT; … Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-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)
PSPLIB Software Authors: Kolisch, Rainer; Sprecher, Arno Cited in: 270 Publications (1997–2023) Related Software: RanGen; LSSPER; CPLEX; Scatter Search; BL data set; CHIP; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
ADOL-C Software Authors: Andrea Walther, Andreas Kowarz, Andreas Griewank Cited in: 254 Publications (1991–2023) Related Software: ADIFOR; TAPENADE; ADIC; Matlab; TAF; FADBAD++; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
BoomerAMG Software Authors: Henson, Van Emden; Meier Yang, Ulrike Cited in: 208 Publications (2002–2023) Related Software: hypre; PETSc; ML; MUMPS; Trilinos; FEniCS; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
AdaGrad Software Authors: Duchi, John; Hazan, Elad; Singer, Yoram Cited in: 207 Publications (2011–2023) Related Software: Adam; RMSprop; ADADELTA; ImageNet; Saga; AlexNet; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)
ATFM Software Authors: Parkes, E. J.; Duffy, B. R. Cited in: 208 Publications (1996–2022) Related Software: MACSYMA; Maple; RATH; PDESpecialSolutions; Mathematica; RAEEM; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)
HYPLAS Software Authors: De Souza Neto EA, Perić D, Owen DRJ Cited in: 205 Publications (1996–2022) Related Software: ABAQUS; FEAPpv; Matlab; Trilinos; AceFEM; CutFEM; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)
t-SNE Software Authors: Laurens van der Maaten, Geoffrey Hinton Cited in: 191 Publications (2008–2023) Related Software: ImageNet; word2vec; AlexNet; UMAP; Adam; GitHub; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
ATLAS Software Authors: R. Clint Whaley Cited in: 183 Publications (1992–2022) Related Software: LAPACK; BLAS; PHiPAC; FFTW; ScaLAPACK; Matlab; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)
PRESENT Software Authors: Orange Labs; Ruhr University Bochum; Technical University of Denmark Cited in: 193 Publications (2007–2023) Related Software: KATAN; KTANTAN; HIGHT; LED; SIMON; PRINCE; … Main Fields: Number theory (11-XX); Group theory and generalizations (20-XX); Computer science (68-XX)
SURF Software Authors: Bay, Herbert; Tuytelaars, Tinne; Van Gool, Luc Cited in: 129 Publications (2008–2022) Related Software: SIFT; PCA-SIFT; BRISK; ASIFT; FREAK; PASCAL VOC; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
PolyMesher Software Authors: Talischi, Cameron; Paulino, Glaucio H.; Pereira Anderson; Menezes, Ivan F.M. Cited in: 178 Publications (2012–2023) Related Software: PolyTop; Matlab; Triangle; DistMesh; MRST; iFEM; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
JuMP Software Authors: I. Dunning, J. Huchette, M. Lubin Cited in: 158 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)
PROST Software Authors: Renardy, Yuriko; Renardy, Michael Cited in: 176 Publications (2002–2023) Related Software: Gerris; SLIC; KRAKEN; VOFTools; OpenFOAM; NASA-VOF2D; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
SLIC Software Authors: W. F. Noh, Paul Woodward Cited in: 167 Publications (1976–2022) Related Software: KRAKEN; PROST; Gerris; HE-E1GODF; NASA-VOF2D; VOFTools; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
Nek5000 Software Authors: Peplinski, A.; Schlatter, P.; Fischer, P.F.; Henningson, D.S. Cited in: 160 Publications (2010–2023) Related Software: Nektar++; SIMSON; Gmsh; FreeFem++; OpenFOAM; PyFR; … Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
SnapPea Software Authors: Callahan, Patrick J.; Hildebrand, Martin V.; Weeks, Jeffrey R. Cited in: 165 Publications (1992–2022) Related Software: Snap; SnapPy; Regina; Magma; GAP; Knotscape; … Main Fields: Group theory and generalizations (20-XX); Functions of a complex variable (30-XX); Differential geometry (53-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: 76 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)
MONA Software Authors: Klarlund, Nils; Møller, Anders; Schwartzbach, Michael I.; Elgaard, J. Cited in: 137 Publications (1995–2023) Related Software: z3; DCVALID; NuSMV; Isabelle/HOL; Uppaal; SIMPLIFY; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
U-Net Software Authors: Ronneberger, O.; Fischer, P.; Brox, T. Cited in: 128 Publications (2017–2022) Related Software: Adam; ImageNet; AlexNet; TensorFlow; PyTorch; GitHub; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
SPARQL Software Authors: w3.org; Arenas, Marcelo; Pérez, Jorge Cited in: 88 Publications (2007–2022) Related Software: Jena; XPath; LUBM; DBpedia; Pellet; nSPARQL; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
ELECTRE Software Authors: Figueira, J., Mousseau, V., Roy, B Cited in: 130 Publications (1981–2023) Related Software: UTA Plus; VisualUTA; M-MACBETH; PREFDIS; MADM; IRIS; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
ReALE Software Authors: Raphaël Loubère; Pierre-Henri Maire; Mikhail Shashkov; Jérôme Breil; Stéphane Galera Cited in: 130 Publications (2010–2023) Related Software: HE-E1GODF; MOOD; RIEMANN; CAVEAT; SHASTA; HLLE; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
CandS Software Authors: Alfred Gray, Rolf Sulanke Cited in: 118 Publications (2005–2023) Related Software: Mathematica; Python; DLMF; Maple; hlib; oneAPI; … Main Fields: Partial differential equations (35-XX); Differential geometry (53-XX); Global analysis, analysis on manifolds (58-XX)
SCALCG Software Authors: Andrei, N. Cited in: 114 Publications (2006–2022) Related Software: CUTEr; CUTE; CG_DESCENT; Algorithm 500; L-BFGS; minpack; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
ML Software Authors: Garrappa, R. Cited in: 114 Publications (2015–2023) Related Software: Matlab; mlf; mftoolbox; Mittag-Leffler; DFOC; ma2dfc; … Main Fields: Real functions (26-XX); Special functions (33-XX); Ordinary differential equations (34-XX)
PENNON Software Authors: Kočvara, Michal; Stingl, Michael Cited in: 110 Publications (2003–2022) Related Software: SeDuMi; SDPT3; COMPleib; YALMIP; SDPA; SDPLR; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
PDE-Net Software Authors: Zichao Long, Yiping Lu, Xianzhong Ma, Bin Dong Cited in: 109 Publications (2019–2023) Related Software: DGM; Adam; TensorFlow; PyTorch; AlexNet; ImageNet; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)
Proteus Software Authors: Feng, Zhi-Gang; Michaelides, Efstathios E. Cited in: 109 Publications (2005–2022) Related Software: PHYSALIS; PowerFLOW; PeliGRIFF; hypre; FreeFem++; DINOSOARS; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)
Bio-PEPA Software Authors: Federica Ciocchetta, Maria Luisa Guerriero, Vashti Galpin, Jane Hillston, Giulio Caravagna, Allan Clark, Andrea Degasperi, Adam Duguid, Kanimozhi Ellavarason, Stephen Gilmore, Laurence Loewe, Dimitrios Milios Cited in: 91 Publications (2008–2022) Related Software: PEPA; PRISM; BIOCHAM; BioNetGen; BlenX; LBS; … Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
CLASS Software Authors: Julien Lesgourgues Cited in: 107 Publications (2012–2022) Related Software: Monte Python; CAMB; MontePython 3; CLASSgal; GADGET; GetDist; … Main Fields: Partial differential equations (35-XX); Fluid mechanics (76-XX); Optics, electromagnetic theory (78-XX)
CutTools Software Authors: Giovanni Ossola; Costas G. Papadopoulos; Roberto Pittau Cited in: 106 Publications (2007–2022) Related Software: BlackHat; SAMURAI; Golem95; FeynArts; HELAC-1LOOP; PHEGAS; … Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-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; missForest; VIM; MICE; AS 136; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
node2vec Software Authors: Aditya Grover, Jure Leskovec Cited in: 101 Publications (2017–2023) Related Software: DeepWalk; LINE; word2vec; GraRep; t-SNE; struc2vec; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
QuickCheck Software Authors: Koen Claessen; John Hughes Cited in: 87 Publications (2001–2022) Related Software: Haskell; Coq; SmallCheck; Isabelle/HOL; z3; Isabelle; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
LTL2BA Software Authors: Gastin, Paul; Oddoux, Denis Cited in: 93 Publications (2001–2022) Related Software: SPIN; SPOT; NuSMV; CESAR; lbtt; CUDD; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Taylor Software Authors: Jorba, Àngel; Zou, Maorong Cited in: 102 Publications (2003–2022) Related Software: ATOMFT; TIDES; RODES; Mathematica; Cosy; MPFR; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-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)
GeM Software Authors: Alexei F. Cheviakov Cited in: 101 Publications (1990–2022) Related Software: Maple; CRACK; LIEPDE; ConLaw; SYMMGRP; SADE; … Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Mechanics of deformable solids (74-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: 87 Publications (2009–2022) Related Software: Isabelle/HOL; Coq; Isabelle; HOL; kepler98; HOL Light; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)
Biq Mac Software Authors: Rendl, Franz; Rinaldi, Giovanni; Wiegele, Angelika Cited in: 94 Publications (2010–2022) Related Software: BiqMac; CPLEX; SDPT3; SCIP; SeDuMi; CSDP; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
pcalg Software Authors: Markus Kalisch, Martin Maechler, Diego Colombo Cited in: 80 Publications (2007–2022) Related Software: TETRAD; R; bnlearn; glasso; deal; gRbase; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)
Cadabra Software Authors: Kasper Peeters; Brewin, Leo Cited in: 91 Publications (2007–2022) Related Software: xPerm; Mathematica; xAct; Invar; MathTensor; xTensor; … Main Fields: Partial differential equations (35-XX); Differential geometry (53-XX); Computer science (68-XX)
OMDoc Software Authors: Kohlhase, Michael Cited in: 88 Publications (2001–2021) Related Software: Coq; MMT; Mizar; ActiveMath; Isabelle/HOL; Automath; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)
HMQV Software Authors: Krawczyk, Hugo Cited in: 92 Publications (2001–2022) Related Software: NAXOS; GitHub; KEM-DEM; Keccak; XooTools; Gimli; … Main Fields: Number theory (11-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)
Paramils Software Authors: Hutter, F.; Hoos, H.H.; Leyton-Brown, K.; Stuetzle, T. Cited in: 78 Publications (2009–2022) Related Software: SMAC; irace; SATzilla; SATenstein; MiniSat; SPOT; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
HypE Software Authors: Bader, J., Zitzler, E. Cited in: 86 Publications (2010–2022) Related Software: MOEA/D; SPEA2; SMS-EMOA; NBI; PlatEMO; weightedHypervolume; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
SPADE Software Authors: Zaki, Mohammed J. Cited in: 58 Publications (2001–2022) Related Software: PrefixSpan; BIDE; CloSpan; gSpan; CLOSET; SPMF; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Camellia Software Authors: Aoki, Kazumaro; Ichikawa, Tetsuya; Kanda, Masayuki; Matsui, Mitsuru; Moriai, Shiho; Nakajima, Junko; Tokita, Toshio Cited in: 85 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)
Cell-PLoc Software Authors: Chou, K. C.; Shen, H. B. Cited in: 82 Publications (2008–2019) Related Software: Euk-mPLoc; LIBSVM; iLoc-Euk; Memtype-2L; Plant-mPLoc; iLoc-Hum; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
DeepWalk Software Authors: Bryan Perozzi, Rami Al-Rfou, Steven Skiena Cited in: 87 Publications (2017–2023) Related Software: node2vec; LINE; word2vec; GraRep; t-SNE; struc2vec; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
FracPECE Software Authors: K. Diethelm, A.D. Freed Cited in: 83 Publications (2004–2023) Related Software: Matlab; FDE12; ML; FODE; Sprott's Software; DFOC; … Main Fields: Real functions (26-XX); Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX)
RIEMANN Software Authors: Balsara, Dinshaw S. Cited in: 88 Publications (2010–2022) Related Software: HLLE; HE-E1GODF; MOOD; ReALE; AUSM; ECHO; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
SIMPLIcity Software Authors: Wang, J.Z., Li, J., Wiederhold, G. Cited in: 45 Publications (2002–2021) Related Software: VisualSEEk; NeTra; EMD; LIBSVM; SIFT; PASCAL VOC; … Main Fields: General topology (54-XX); Statistics (62-XX); Computer science (68-XX)
BLEU Software Authors: Kishore Papineni, Salim Roukos, Todd Ward, Wei-Jing Zhu Cited in: 29 Publications (2007–2022) Related Software: SRILM; BERT; Moses; Europarl; Rouge; Tensor2Tensor; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
Healpix Software Authors: K. M. Górski; E. Hivon; A. J. Banday; B. D. Wandelt; F. K. Hansen; M. Reinecke; M. Bartelmann Cited in: 76 Publications (2007–2022) Related Software: healpy; Python; DLMF; SciPy; CAMB; Matplotlib; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
BOBYQA Software Authors: M.J.D. Powell Cited in: 80 Publications (2011–2023) Related Software: NEWUOA; DFO; MultiMin; UOBYQA; NLopt; NOMAD; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
DeepXDE Software Authors: Lu Lu, Xuhui Meng, Zhiping Mao, George E. Karniadakis Cited in: 80 Publications (2019–2023) Related Software: DGM; Adam; PyTorch; FPINNs; TensorFlow; DiffSharp; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-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)
PCA-SIFT Software Authors: Y. Ke and R. Sukthankar Cited in: 53 Publications (2006–2021) Related Software: SIFT; SURF; BRISK; ASIFT; PASCAL VOC; FREAK; … Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Statistics (62-XX); Numerical analysis (65-XX)
SpaceEx Software Authors: Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray,Olivier Lebeltel, Rodolfo Ripado, Antoine Girard,Thao Dang, Oded Maler Cited in: 79 Publications (2011–2022) Related Software: HyTech; PHAVer; Flow*; KeYmaera; RSOLVER; Ellipsoidal Toolbox; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)
STL Software Authors: David R. Musser, Alexander Stepanov Cited in: 72 Publications (1997–2021) Related Software: Boost; Boost C++ Libraries; CGAL; Traits; BGL; LEDA; … Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)
ADADELTA Software Authors: Matthew D. Zeiler Cited in: 80 Publications (2017–2023) Related Software: Adam; AdaGrad; RMSprop; ImageNet; AlexNet; TensorFlow; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
FeynCalc Software Authors: Rolf Mertig; Frederik Orellana; M. Böhm; A. Denner Cited in: 76 Publications (1995–2022) Related Software: FeynArts; Mathematica; FORM; FeynRules; FormCalc; LoopTools; … Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Optics, electromagnetic theory (78-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)
PNEW Software Authors: Lukv san, Ladislav; Vlv cek, Jan Cited in: 80 Publications (1996–2022) Related Software: DGM; NDA; LDGB; GradSamp; QSM; SolvOpt; … Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-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)
BoosTexter Software Authors: Schapire, Robert E.; Singer, Yoram Cited in: 62 Publications (1999–2022) Related Software: ML-KNN; MULAN; AdaBoost.MH; C4.5; UCI-ml; LIBSVM; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
na20 Software Authors: Bini, Dario Andrea; Fiorentino, Giuseppe Cited in: 79 Publications (2000–2022) Related Software: na10; ISOLATE; Eigensolve; mctoolbox; MultRoot; MPSolve; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Real functions (26-XX); Functions of a complex variable (30-XX)
QMRPACK Software Authors: Freund, Roland W.; Nachtigal, No\"el M. Cited in: 78 Publications (1995–2022) Related Software: JDQZ; JDQR; ARPACK; BiCGstab; LAPACK; PETSc; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)
DART Software Authors: Patrice Godefroid; Nils Klarlund; Koushik Sen Cited in: 59 Publications (2005–2022) Related Software: CUTE; z3; Pex; KLEE; STP; Java PathFinder; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
MooNMD Software Authors: John, Volker; Matthies, Gunnar Cited in: 77 Publications (2004–2022) Related Software: UMFPACK; FEATFLOW; RODAS; OpenFOAM; ROS3P; Anderson; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
Nominal Isabelle Software Authors: Urban, Christian; Kaliszyk, Cezary Cited in: 77 Publications (2005–2022) Related Software: Isabelle/HOL; PoplMark; Isabelle; Coq; Twelf; Abella; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
UFL Software Authors: Alnæs, Martin S.; Logg, Anders; Ølgaard, Kristian B.; Rognes, Marie E.; Wells, Garth N. Cited in: 73 Publications (2010–2022) Related Software: FEniCS; PETSc; Firedrake; DOLFIN; FIAT; petsc4py; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
TAG Software Authors: Madden S, Franklin MJ, Hellerstein JM, Hong W Cited in: 37 Publications (2005–2020) Related Software: SPINS; Chord; Featherweight Java; Linda; J-Sim; Pastry; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
Bebop Software Authors: Thomas Ball, Sriram K. Rajamani Cited in: 70 Publications (2000–2022) Related Software: SPIN; Bandera; SLAM; SatAbs; Java PathFinder; CBMC; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
CasADi Software Authors: Andersson, Joel; Åkesson, Johan; Diehl, Moritz Cited in: 68 Publications (2012–2023) Related Software: Ipopt; ACADO; qpOASES; Matlab; HSL; SUNDIALS; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
CEC 13 Software Authors: J. Liang, B. Qu, P. Suganthan, A.G. Hernández-Diaz Cited in: 73 Publications (2014–2023) Related Software: JADE; CEC 05; ABC; WOA; GSA; GWO; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
BlackHat Software Authors: C. F. Berger, Z. Bern, L. J. Dixon, F. Febres Cordero, D. Forde, H. Ita, D. A. Kosower, D. Maître Cited in: 73 Publications (2009–2021) Related Software: CutTools; SAMURAI; Golem95; GoSam; HELAC-1LOOP; PHEGAS; … Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)
hgam Software Authors: Meier, Lukas; van de Geer, Sara; Bühlmann, Peter; Manuel Eugster; ... Cited in: 73 Publications (2009–2018) Related Software: SemiPar; R; gss; gamair; glmnet; ElemStatLearn; … Main Fields: Functional analysis (46-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
HLLC Software Authors: Tokareva, S.A.; Toro, E.F. Cited in: 73 Publications (2010–2023) Related Software: HLLE; HE-E1GODF; AUSM; RIEMANN; CATHARE; PVM; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
ProB Software Authors: Michael Leuschel; Michael Butler Cited in: 55 Publications (2002–2022) Related Software: Rodin; Z; SPIN; z3; Isabelle/HOL; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
AMRCLAW Software Authors: M. J. Berger, R. J. LeVeque Cited in: 70 Publications (1997–2022) Related Software: CLAWPACK; PARAMESH; GEOCLAW; AMROC; Peano; HE-E1GODF; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
HPL Software Authors: D. Maître Cited in: 71 Publications (2006–2023) Related Software: FORM; GiNaC; LiteRed; FIRE; Hypexp; FIRE5; … Main Fields: Number theory (11-XX); Special functions (33-XX); Computer science (68-XX)
KLAIM Software Authors: De Nicola, R.; Ferrari, G.L.; Pugliese, R. Cited in: 62 Publications (2000–2021) Related Software: Linda; Klava; LIME; SCEL; Maude; COWS; … Main Fields: Mathematical logic and foundations (03-XX); General topology (54-XX); Computer science (68-XX)
SDPNAL+ Software Authors: Yang, Liuqin; Sun, Defeng; Toh, Kim-Chuan Cited in: 72 Publications (2014–2022) Related Software: SDPT3; SeDuMi; QSDPNAL; QAPLIB; Mosek; DIMACS; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX)
KONECT Software Authors: J. Kunegis Cited in: 71 Publications (2014–2022) Related Software: SNAP; plfit; Pajek; NetworKit; Pajek datasets; DBpedia; … Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
MeatAxe Software Authors: Michael Ringe Cited in: 69 Publications (1994–2023) Related Software: GAP; Magma; ATLAS Group Representations; CTblLib; GAP Character Table Library; AtlasRep; … Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Group theory and generalizations (20-XX)
Mincer Software Authors: S.G. Gorishny; S.A. Larin; L.R. Surguladze; F.V. Tkachov Cited in: 68 Publications (1991–2021) Related Software: FORM; Reduze; MATAD; Axodraw; Forcer; DIANA; … Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Computer science (68-XX)
Square Software Authors: Daemen, Joan; Knudsen, Lars; Rijmen, Vincent Cited in: 68 Publications (1997–2022) Related Software: Camellia; SHARK; LED; PRESENT; SIMON; Serpent; … Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX)
benchmodred Software Authors: Chahlaoui, Younes; Van Dooren, Paul Cited in: 67 Publications (2003–2022) Related Software: Loewner; mctoolbox; LYAPACK; Algorithm 432; AAA; RKToolbox; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Approximations and expansions (41-XX); Calculus of variations and optimal control; optimization (49-XX)
LYAPACK Software Authors: Thilo Penzl Cited in: 67 Publications (1998–2022) Related Software: Algorithm 432; Matlab; benchmodred; SparseMatrix; SLICOT; mctoolbox; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)