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)
GitHub Software Authors: github Cited in: 3,033 Publications (2010–2022) Related Software: R; Matlab; Python; Adam; TensorFlow; SageMath; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
SageMath Software Authors: The Sage Developers; William Stein; David Joyner; David Kohel; John Cremona; Eröcal, Burçin Cited in: 2,141 Publications (2002–2023) Related Software: Magma; GAP; OEIS; SINGULAR; Sage-Combinat; PARI/GP; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Algebraic geometry (14-XX)
SciPy Software Authors: Jones, E., Oliphant, T., Peterson, P., et al. Cited in: 579 Publications (2005–2023) Related Software: Python; NumPy; Matplotlib; Scikit; GitHub; TensorFlow; … Main Fields: Partial differential equations (35-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)
SPIN Software Authors: Bell Labs Cited in: 593 Publications (1990–2022) Related Software: NuSMV; Uppaal; Bandera; Java PathFinder; Bebop; CESAR; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
TensorFlow Software Authors: Google Brain team; M. Abadi, A. Agarwal, P. Barham, E. Brevdo, Z. Chen, C. Citro, G. S. Corrado, A. Davis, J. Dean, M. Devin, et al Cited in: 538 Publications (2016–2023) Related Software: Adam; PyTorch; Keras; Python; ImageNet; GitHub; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)
MiniSat Software Authors: Niklas Eén, Niklas Sörensson Cited in: 559 Publications (2003–2022) Related Software: Chaff; BerkMin; Lingeling; z3; PicoSAT; SATO; … 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)
GeoGebra Software Authors: – Cited in: 186 Publications (2007–2022) Related Software: Geometer's Sketchpad; Cinderella; GEX; GeoThms; SINGULAR; GCLC; … Main Fields: General and overarching topics; collections (00-XX); Commutative algebra (13-XX); Geometry (51-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)
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; ABAQUS; Mfree2D; CutFEM; Getfem++; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
polymake Software Authors: Ewgenij Gawrilow, Michael Joswig, and the polymake team Cited in: 336 Publications (2000–2022) Related Software: Macaulay2; Gfan; Normaliz; SINGULAR; GAP; TOPCOM; … Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX)
Bioconductor Software Authors: open development project Cited in: 211 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: 320 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)
WEKA Software Authors: Bouckaert, Remco R.; Frank, Eibe; Hall, Mark A.; Holmes, Geoffrey; Pfahringer, Bernhard; Reutemann, Peter; Witten, Ian H. Cited in: 220 Publications (2005–2023) Related Software: UCI-ml; C4.5; LIBSVM; R; PRMLT; Scikit; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
pyuvdata Software Authors: Bryna J. Hazelton; Daniel C. Jacobs; Jonathan C. Pober; Adam P. Beardsley Cited in: 258 Publications (1985–2022) Related Software: KernSmooth; R; spatstat; spatial; ks; SiZer; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
ParaView Software Authors: Kitware Cited in: 225 Publications (2008–2023) Related Software: Gmsh; PETSc; FEniCS; Python; Matlab; VisIt; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
Bonmin Software Authors: Bonami, Pierre; Biegler, Lorenz T.; Conn, Andrew R.; Cornuéjols, Gérard; Grossmann, Ignacio E.; Laird, Carl D.; Lee, Jon; Lodi, Andrea; Margot, François; Sawaya, Nicolas; Wächter, Andreas Cited in: 217 Publications (1995–2022) Related Software: Ipopt; CPLEX; SCIP; BARON; FilMINT; Gurobi; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-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: 153 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)
JuMP Software Authors: I. Dunning, J. Huchette, M. Lubin Cited in: 143 Publications (2017–2023) Related Software: Julia; Gurobi; GitHub; Ipopt; CPLEX; Mosek; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-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)
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)
MySQL Software Authors: – Cited in: 63 Publications (1999–2021) Related Software: PHP; PostgreSQL; PERL; JavaScript; R; MS SQL Server; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
NLopt Software Authors: Johnson, S.G. Cited in: 108 Publications (2012–2022) Related Software: R; GitHub; BOBYQA; Ipopt; nloptr; SciPy; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)
OpenCV Software Authors: G. Bradski Cited in: 59 Publications (2008–2022) Related Software: Python; NumPy; Matplotlib; SciPy; LIBSVM; Scikit; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
SDPB Software Authors: Simmons-Duffin, D Cited in: 122 Publications (2015–2022) Related Software: JuliBootS; PyCFTBoot; CFTs4D; Mathematica; DLMF; Matplotlib; … Main Fields: Nonassociative rings and algebras (17-XX); Statistics (62-XX); Quantum theory (81-XX)
VTK Software Authors: W. Schroeder, L. Avila, K. Martin, W. Hoffman, C. Law Cited in: 74 Publications (2000–2022) Related Software: ParaView; Python; NumPy; SciPy; Gmsh; Matplotlib; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
Sage-Combinat Software Authors: – Cited in: 108 Publications (2010–2022) Related Software: SageMath; OEIS; ROBBINS; DLMF; CHEVIE; GAP; … Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Algebraic geometry (14-XX)
COIN-OR Software Authors: http://www.coin-or.org/members.html Cited in: 105 Publications (2004–2022) Related Software: CPLEX; SCIP; Ipopt; MIPLIB; Gurobi; SoPlex; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
Jupyter Software Authors: Project Jupyter; Perez, F.; Granger, B. E. Cited in: 45 Publications (2016–2022) Related Software: Python; NumPy; SciPy; Matplotlib; Scikit; pandas; … Main Fields: Algebraic geometry (14-XX); Statistics (62-XX); Numerical analysis (65-XX)
LLVM Software Authors: Lattner, C., Adve, V.; University of Illinois Cited in: 69 Publications (2006–2022) Related Software: z3; GitHub; Python; Julia; KLEE; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)
Rodin Software Authors: Abrial, J.R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L. Cited in: 83 Publications (2008–2022) Related Software: ProB; Z; SPIN; Circus; Coq; z3; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-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)
OpenMPI Software Authors: http://www.open-mpi.org/about/members/ Cited in: 66 Publications (2004–2022) Related Software: MPI/MPICH; MPI; CUDA; MPICH2; FFTW; Boost; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-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: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-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)
Gecode Software Authors: Christian Schulte, KTH Royal Institute of Technology Cited in: 81 Publications (2007–2023) Related Software: MiniZinc; CPLEX; Choco; COMET; SCIP; CSPLib; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
OpenBUGS Software Authors: Andrew Thomas Cited in: 73 Publications (2007–2022) Related Software: R; WinBUGS; JAGS; BUGS; CODA; Stan; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
Cytoscape Software Authors: Shannon P, Markiel A, Ozier O, Baliga NS, Wang JT, Ramage D, Amin N, Schwikowski B, Ideker T Cited in: 42 Publications (2007–2022) Related Software: KEGG; R; IntAct; Bioconductor; Gephi; BioGRID; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
Ptolemy Software Authors: Johan Eker, Jörn W. Janneck, Edward A. Lee, Jie Liu, Xiaojun Liu, Jozsef Ludvig, Stephen Neuendorffer, Sonia Sachs, Yuhong Xiong Cited in: 64 Publications (1995–2022) Related Software: Metropolis; Simulink; StateFlow; Esterel; SIGNAL; Reo; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
qpOASES Software Authors: H. J. Ferreau, C. Kirches, A. Potschka, H. G. Bock, M. Diehl Cited in: 78 Publications (2008–2022) Related Software: Ipopt; fast_mpc; ACADO; CVXGEN; qpDUNES; OSQP; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)
PostgreSQL Software Authors: – Cited in: 52 Publications (2000–2022) Related Software: Oracle; MySQL; Python; MS SQL Server; DB2; R; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-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)
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)
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)
Couenne Software Authors: Belotti, Pietro; Lee, Jon; Liberti, Leo; Margot, François; Wächter, Andreas Cited in: 73 Publications (2009–2022) Related Software: BARON; CPLEX; Bonmin; Ipopt; SCIP; GAMS; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
BNT Software Authors: Kevin Murphy Cited in: 58 Publications (2001–2021) Related Software: TETRAD; UCI-ml; LIBSVM; Matlab; PRMLT; RAIcode; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
CasADi Software Authors: Andersson, Joel; Åkesson, Johan; Diehl, Moritz Cited in: 66 Publications (2012–2022) 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)
DualSPHysics Software Authors: Crespo, A.J.C.; Domínguez, J.M.; Rogers, B.D.; Gómez-Gesteira, M.; Longshaw, S.; Canelas, R.; Vacondio, R.; Barreiro, A.; García-Feal, O. Cited in: 69 Publications (2015–2023) Related Software: CUDA; SPHysics; AQUAgpusph; NDSPMHD; PySPH; GADGET; … Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX)
BEM++ Software Authors: Simon Arridge, Timo Betcke, Richard James, Nicolas Salles, Martin Schweiger, Wojciech Śmigaj Cited in: 66 Publications (2013–2022) Related Software: NGSolve; hlib; Python; DLMF; FEniCS; Gmsh; … Main Fields: Partial differential equations (35-XX); Integral equations (45-XX); Numerical analysis (65-XX)
ECOS Software Authors: Alexander Domahidi, Eric Chu, Santiago Akle, Han Wang Cited in: 63 Publications (2014–2023) Related Software: CVXPY; Mosek; SCS; CVX; SeDuMi; CVXGEN; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Computer science (68-XX)
PLINK Software Authors: Purcell S, Neale B, Todd-Brown K, Thomas L, Ferreira MAR, Bender D et al Cited in: 58 Publications (1994–2022) Related Software: R; GCTA; Eigenstrat; STRUCTURE; Haploview; pi-MASS; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
Gephi Software Authors: M. Bastian, S. Heymann, M. Jacomy Cited in: 58 Publications (2012–2022) Related Software: NetworkX; ForceAtlas2; igraph; Cytoscape; Pajek; R; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
Racer Software Authors: Volker Haarslev, Kay Hidde, Ralf Möller, Michael Wessel Cited in: 52 Publications (2001–2021) Related Software: FaCT++; Pellet; KL-ONE; Protege; RacerPro; HermiT; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Jason Software Authors: Bordini, Rafael H.; Hübner, Jomi Fred; Wooldridge, Michael Cited in: 46 Publications (1977–2021) Related Software: AgentSpeak; Jadex; 2APL; CArtAgO; JADE; GOLOG; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
EEGLAB Software Authors: A Delorme; S Makeig Cited in: 27 Publications (2005–2022) Related Software: Matlab; FieldTrip; Scikit; R; Brainstorm; FastICA; … Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Protege Software Authors: Stanford; J. H. Gennari, M. A. Musen, R. W. Fergerson et al. Cited in: 29 Publications (1997–2022) Related Software: Pellet; Racer; Jena; FaCT++; swrl; HermiT; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
emcee Software Authors: Daniel Foreman-Mackey, David W. Hogg, Dustin Lang, Jonathan Goodman Cited in: 37 Publications (2017–2022) Related Software: Python; SciPy; Matplotlib; NumPy; corner.py; CAMB; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)
Lean Software Authors: Microsoft; de Moura, Leonardo; Kong, Soonho; Avigad, Jeremy; van Doorn, Floris; von Raumer, Jakob Cited in: 58 Publications (2015–2022) Related Software: Coq; Isabelle/HOL; Agda; Mizar; HOL Light; PVS; … Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Category theory; homological algebra (18-XX)
OpenSSL Software Authors: The OpenSSL Project; Young, E.A., Hudson, T.J Cited in: 58 Publications (2002–2021) Related Software: eBACS; GitHub; gmp; eBASH; NaCl; Curve25519; … Main Fields: General and overarching topics; collections (00-XX); Number theory (11-XX); Algebraic geometry (14-XX)
SCS Software Authors: B. O'Donoghue, E. Chu, N. Parikh, S. Boyd Cited in: 58 Publications (2016–2022) Related Software: Mosek; GitHub; CVXPY; ECOS; Julia; SDPT3; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)
SU2 Software Authors: T. D. Economon, F. Palacios, S. R. Copeland, T. W. Lukaczyk, J. J. Alonso Cited in: 53 Publications (2014–2023) Related Software: OpenFOAM; FLUENT; Gmsh; Spalart-Allmaras; CoDiPack; PETSc; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
Chaste Software Authors: Bernabeu, Miguel O.; Bordas, Rafel; Pathmanathan, Pras; Pitt-Francis, Joe; Cooper, Jonathan; Garny, Alan; Gavaghan, David J.; Rodriguez, Blanca; Southern, James A.; Whiteley, Jonathan P. Cited in: 53 Publications (2009–2022) Related Software: CellML; PhysiCell; PETSc; CellSys; Biocellion; Matlab; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
CPAchecker Software Authors: Dirk Beyer, Stefan Löwe, Philipp Wendler Cited in: 39 Publications (2011–2022) Related Software: BLAST; SLAM; z3; CBMC; UFO; SatAbs; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
Quantum Espresso Software Authors: Giannozzi, P., Baroni, S., Bonini, N., Calandra, M., Car, R., Cavazzoni, C., Ceresoli, D, et al. Cited in: 43 Publications (2010–2022) Related Software: ABINIT; lobpcg.m; LAPACK; WIEN2k; Wannier90; CheFSI; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
DuMuX Software Authors: Flemisch, B., Darcis, M., Erbertseder, K., Faigle, B., Lauser, A., Mosthaf, K., Müthing, S., Nuske, P., Tatomir, A., Wolff, M., R. Helmig Cited in: 49 Publications (2009–2023) Related Software: DUNE; UMFPACK; ISTL; Gmsh; MRST; DUNE-ALUGrid; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
LAM-MPI Software Authors: Burns, G., Daoud, R., and Vaigl, J Cited in: 45 Publications (1996–2020) Related Software: MPI/MPICH; MPI; METIS; NAS Parallel Benchmarks; Cactus; HTCondor MW; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)
libMC Software Authors: Chachuat, B Cited in: 52 Publications (2009–2022) Related Software: ANTIGONE; BARON; MC++; Ipopt; SCIP; MAiNGO; … Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
Bocop Software Authors: Bonnans, F.J., Martinon, P., Grélard, V. Cited in: 51 Publications (2013–2022) Related Software: Ipopt; SOCS; minpack; HamPath; GloptiPoly; GitHub; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)
LEMON Software Authors: Balázs Dezsőa; Alpár Jüttner; Péter Kovács Cited in: 51 Publications (2013–2022) Related Software: CPLEX; TSPLIB; VRP; SCIP; XPRESS; Concorde; … Main Fields: Combinatorics (05-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)
RealPaver Software Authors: Laurent Granvilliers Cited in: 51 Publications (2003–2017) Related Software: Numerica; INTOPT_90; gaol; ICOS; dReal; RSOLVER; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
Astropy Software Authors: T.P. Robitaille, E.J. Tollerud, et. al. Cited in: 3 Publications (2018–2021) Related Software: Python; NumPy; Matplotlib; SciPy; Scikit; pandas; … Main Fields: Statistics (62-XX); Optics, electromagnetic theory (78-XX); Quantum theory (81-XX)
G+Smo Software Authors: Angelos Mantzaflaris, Bert Jüttler Cited in: 50 Publications (2014–2022) Related Software: ISOGAT; IETI; GitHub; GeoPDEs; Igatools; PetIGA; … Main Fields: Partial differential equations (35-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)
GGobi Software Authors: Debby Swayne; Di Cook; Duncan Temple Lang; Andreas Buja Cited in: 34 Publications (2003–2022) Related Software: R; XGobi; rggobi; ggplot2; RGtk2; iplots; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
ITK Software Authors: Ibanez, L., Schroeder, W., Ng, L., Cates, J. Cited in: 25 Publications (2006–2019) Related Software: VTK; CUDA; Elastix; Matlab; Python; 3D Slicer; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
MOA Software Authors: Albert Bifet; Geoff Holmes; Bernhard Pfahringer Cited in: 35 Publications (2013–2021) Related Software: UCI-ml; WEKA; Scikit; Scikit-multiflow; ElemStatLearn; OpenML; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
PyFR Software Authors: Michael Klemm, Freddie Witherden, Peter Vincent Cited in: 48 Publications (2014–2022) Related Software: Gmsh; Nektar++; PETSc; RODAS; OpenCL; Nek5000; … Main Fields: Partial differential equations (35-XX); Functional analysis (46-XX); Numerical analysis (65-XX)
manYPoints Software Authors: van der Geer, Gerard; Howe, Everett W.; Lauter, Kristin E.; Ritzenthaler, Christophe Cited in: 48 Publications (1999–2022) Related Software: Magma; MinT; Code Tables; TFHE; FHEW; HElib; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX)
BIOCHAM Software Authors: Chabrier, N., Fages, F., Soliman, S. Cited in: 45 Publications (2005–2022) Related Software: Bio-PEPA; PRISM; PEPA; BioNetGen; LBS; GNA; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
Vlfeat Software Authors: A. Vedaldi, B. Fulkerson Cited in: 40 Publications (2011–2020) Related Software: SIFT; ImageNet; SURF; AlexNet; LIBSVM; ASIFT; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
KLEE Software Authors: Cristian Cadar, Daniel Dunbar, Dawson Engler Cited in: 37 Publications (2010–2021) Related Software: z3; DART; CUTE; CPAchecker; LLVM; STP; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
Snort Software Authors: Cisco Cited in: 15 Publications (2005–2016) Related Software: Autograph; Polygraph; Xilinx; TCPDUMP; ADEPTS; CUDA; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
STP Software Authors: Vijay Ganesh; Trevor Hansen; Mate Soos; Dan Liew; Ryan Govostes; Andrew V. Jones; et al. Cited in: 40 Publications (2007–2022) Related Software: z3; DART; CUTE; Yices; Boolector; MiniSat; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)
Taverna Software Authors: Oinn, T.; Addis, M.; Ferris, J.; Marvin, D.; Senger, M.; Greenwood, M.; Carver, T.; Glover, K.; Pocock, M. R.; Wipat, A.; Li, P. Cited in: 8 Publications (2005–2019) Related Software: Pegasus; Java CoG Kit; BioMOBY; Globus Toolkit; YAWL; Triana; … Main Fields: History and biography (01-XX); Statistics (62-XX); Computer science (68-XX)
GEOCLAW Software Authors: M. J. Berger, D. L. George, R. J. LeVeque, K. M. Mandli Cited in: 43 Publications (2011–2022) Related Software: AMRCLAW; CLAWPACK; ADCIRC; PARAMESH; HE-E1GODF; HLLE; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)
Cbc Software Authors: John Forrest Cited in: 41 Publications (2007–2022) Related Software: CPLEX; SCIP; Gurobi; COIN-OR; MIPLIB; CLP; … Main Fields: Combinatorics (05-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
InterFOAM Software Authors: Suraj S Deshpande; Lakshman Anumolu; Mario F Trujillo Cited in: 42 Publications (2013–2022) Related Software: OpenFOAM; Gerris; PROST; SLIC; VOFTools; LIGGGHTS; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)
OpenMx Software Authors: Boker, Steven; Neale, Michael; Maes, Hermine; Wilde, Michael; Spiegel, Michael; Brick, Timothy; Spies, Jeffrey; Estabrook, Ryne; Kenny, Sarah; Bates, Timothy; Mehta, Paras; Fox, John Cited in: 29 Publications (2006–2022) Related Software: R; Mplus; lavaan; LISREL; sem; EQS; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
affy Software Authors: Rafael A. Irizarry; Laurent Gautier, Leslie Cope; Ben Bolstad Cited in: 24 Publications (2004–2021) Related Software: Bioconductor; R; gcrma; affyPLM; ArrayExpress; ElemStatLearn; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
COCONUT Software Authors: Hermann Schichl, COCONUT project, Arnold Neumaier, Oleg Shcherbina, Eric Monfroy, Brice Pajot Cited in: 38 Publications (2003–2021) Related Software: BARON; AMPL; GlobSol; INTOPT_90; GAMS; INTLAB; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
bliss Software Authors: T. Junttila, P. Kaski Cited in: 39 Publications (2007–2022) Related Software: nauty; Traces; GAP; SageMath; OEIS; conauto; … Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
CiME Software Authors: Évelyne Contejean, Claude Marché, Andrei Paskevich, Xavier Urbain Cited in: 38 Publications (1997–2022) Related Software: AProVE; Tyrolean; Coq; CoLoR; MU-TERM; CeTA; … Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX)
CLP Software Authors: John Forrest; Julian Hall; Clp team; David de la Nuez; Robin Lougee-Heimer Cited in: 38 Publications (2006–2021) Related Software: CPLEX; Cbc; Gurobi; COIN-OR; SCIP; MIPLIB; … Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)
dReal Software Authors: Gao, Sicun; Kong, Soonho; Clarke, Edmund M. Cited in: 38 Publications (2013–2022) Related Software: z3; CalCS; MathSAT5; HOL Light; Coq; Yices; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
PyAMG Software Authors: Bell, W. N.; Olson, L. N.; Schroder, J. B. Cited in: 35 Publications (2010–2022) Related Software: hypre; BoomerAMG; GitHub; Python; SciPy; Getfem++; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
QuTiP Software Authors: J. R. Johansson, P. D. Nation, F. Nori Cited in: 24 Publications (2015–2022) Related Software: Python; NumPy; SciPy; WavePacket; Julia; QuantumOptics.jl; … Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)
RMetrics Software Authors: Rmetrics Association Cited in: 35 Publications (2008–2022) Related Software: R; fGarch; fBasics; tseries; copula; copula; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
SINTEF Software Authors: Hasle, Geir (ed.); Lie, Knut-Andreas (ed.); Quak, Ewald (ed.) Cited in: 37 Publications (2007–2022) Related Software: Matlab; VRP; CPLEX; Cython; Plotly; Matplotlib; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)