×

Found 710 Software Packages (Results 1–100)

Mathematica

Software Authors:   Wolfram Research
Cited in: 6,255 Publications (1986–2023)
Related Software: Maple; Matlab; R; SageMath; MACSYMA; DLMF; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-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)

SparseMatrix

Software Authors:   Davis, Timothy A; Hu, Yifan
Cited in: 739 Publications (1997–2022)
Related Software: LAPACK; mctoolbox; Matlab; METIS; ILUT; HSL; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-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)

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)

XPPAUT

Software Authors:   Bard Ermentrout; Mohammad Imtiaz; Rob Clewley; Jakub Nowacki
Cited in: 460 Publications (1998–2022)
Related Software: AUTO; Matlab; MATCONT; AUTO-07P; DDE-BIFTOOL; Maple; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

COMSOL

Software Authors:   COMSOL Inc.
Cited in: 445 Publications (2000–2023)
Related Software: Matlab; Python; Gmsh; ABAQUS; FEniCS; OpenFOAM; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-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)

GSL

Software Authors:   Free Software Foundation, M.Galassi, J.Davies, J.Theiler, B.Gough, G.Jungman, P.Alken, M.Booth, F.Rossi
Cited in: 252 Publications (2002–2022)
Related Software: R; LAPACK; MersenneTwister; PETSc; Mathematica; Matlab; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Fluid mechanics (76-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)

Eigen

Software Authors:   Benoît Jacob, Gaël Guennebaud
Cited in: 193 Publications (2012–2023)
Related Software: R; GitHub; PETSc; CUDA; Matlab; Gmsh; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Harwell-Boeing sparse matrix collection

Software Authors:   Duff, Iain S.; Grimes, Roger G.; Lewis, John G.
Cited in: 213 Publications (1989–2022)
Related Software: SparseMatrix; eigs; IRAM; JDQZ; BLAS; MatrixMarket; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-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)

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)

System Identification Toolbox

Software Authors:   Schön, Thomas B; Wills, Adrian; Ninness, Brett; Lennart Ljung
Cited in: 176 Publications (1990–2023)
Related Software: Matlab; Wiener-Hammerstein Benchmark; CONTSID; CAPTAIN; PRMLT; astsa; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-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: 166 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)

Mathcad

Software Authors:   Parametric Technology Corporation
Cited in: 137 Publications (1991–2022)
Related Software: Mathematica; Maple; Matlab; Excel; Visual Basic; OEIS; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-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)

CandS

Software Authors:   Alfred Gray, Rolf Sulanke
Cited in: 116 Publications (2005–2023)
Related Software: Mathematica; DLMF; Maple; hlib; ShNAPr; CouDALFISh; …
Main Fields: Partial differential equations (35-XX); Differential geometry (53-XX); Manifolds and cell complexes (57-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)

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)

GPOPS

Software Authors:   Rao AV, Benson DA, Huntington GT, Francolin C, Darby CL, Patterson MA
Cited in: 92 Publications (2010–2023)
Related Software: Matlab; SOCS; SNOPT; Ipopt; OTIS; ACADO; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

Armadillo

Software Authors:   Conrad Sanderson
Cited in: 65 Publications (2003–2022)
Related Software: R; RcppArmadillo; Rcpp; Matlab; Eigen; Python; …
Main Fields: Ordinary differential equations (34-XX); Statistics (62-XX); Numerical analysis (65-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)

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)

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)

sapa

Software Authors:   William Constantine; Donald Percival
Cited in: 85 Publications (1993–2022)
Related Software: wmtsa; R; longmemo; itsmr; Mathematica; Chronux; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Biology and other natural sciences (92-XX)

Getfem++

Software Authors:   Yves Renard, Julien Pommier
Cited in: 63 Publications (2004–2022)
Related Software: deal.ii; Gmsh; XFEM; PETSc; Feel++; FreeFem++; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-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)

mpmath

Software Authors:   Fredrik Johansson
Cited in: 62 Publications (2010–2022)
Related Software: SageMath; SciPy; Mathematica; SymPy; Python; DLMF; …
Main Fields: Number theory (11-XX); Special functions (33-XX); Numerical analysis (65-XX)

SDPLIB

Software Authors:   Brian Borchers
Cited in: 66 Publications (1999–2022)
Related Software: SDPT3; SeDuMi; CSDP; SDPA; SDPLR; PENNON; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

COCO

Software Authors:   Dankowicz, Harry; Schilder, Frank
Cited in: 63 Publications (2012–2022)
Related Software: AUTO; MATCONT; AUTO-07P; TC-HAT; Matlab; HomCont; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-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)

TOUGH

Software Authors:   K. Pruess, C. Oldenburg, G. Moridis, Finsterle, S
Cited in: 57 Publications (1997–2022)
Related Software: PFLOTRAN; DuMuX; iTOUGH2; PETSc; Gmsh; OpenGeoSys; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-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)

Code_Aster

Software Authors:   Électricité de France S.A. (EDF; Electricity of France)
Cited in: 55 Publications (1995–2022)
Related Software: ABAQUS; Gmsh; Matlab; COMSOL; deal.ii; OpenFOAM; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-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)

GiD

Software Authors:   R Ribó, MA de Riera Pasenau, E Escolano; CIMNE
Cited in: 55 Publications (2000–2022)
Related Software: COMET; deal.ii; ParaView; PETSc; FreeFem++; FEniCS; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

SDPpack

Software Authors:   Nayakakuppam M V, Overton M L, Schemita S.
Cited in: 50 Publications (1998–2015)
Related Software: SDPT3; CSDP; SeDuMi; SDPA; SDPHA; Matlab; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

STAMP

Software Authors:   Koopman, S. J.; Harvey, A. C.; Doornik, J. A.; Shephard, A.
Cited in: 37 Publications (1998–2021)
Related Software: SsfPack; Ox; R; Matlab; SAS; Stata; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Overture

Software Authors:   L. Brown, William D. Henshaw, Daniel J. Quinlan.
Cited in: 38 Publications (2000–2022)
Related Software: PETSc; CMPGRD; PARAMESH; Uintah; Ogen; SUGGAR++; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

dcc

Software Authors:   Naumann, Uwe
Cited in: 40 Publications (2012–2021)
Related Software: ADOL-C; TAPENADE; SUNDIALS; FEniCS; dco/c++; revolve; …
Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Blitz++ library

Software Authors:   Todd Veldhuizen
Cited in: 32 Publications (2000–2021)
Related Software: Blitz++; Boost; BLAS; Boost C++ Libraries; ATLAS; STL; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

METSlib

Software Authors:   baol
Cited in: 34 Publications (2011–2022)
Related Software: VRP; Tabu search; Scatter Search; MDVRPTW; irace; CVRPSEP; …
Main Fields: History and biography (01-XX); Numerical analysis (65-XX); Computer science (68-XX)

BEASY

Software Authors:   Danson, D.J.; Brebbia, C.A.
Cited in: 34 Publications (1982–2019)
Related Software: NASGRO; Netgen; ABAQUS; ANSYS; Mathematica
Main Fields: Partial differential equations (35-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)

Oyster

Software Authors:   Horn, Christian; Smaill, Alan
Cited in: 32 Publications (1989–2021)
Related Software: CLAM; Nuprl; HOL; Isabelle; Coq; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

TOMP

Software Authors:   Kraft, D.
Cited in: 32 Publications (1994–2022)
Related Software: NLopt; DFVLR-SQP; SNOPT; Python; Ipopt; OTIS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

Fiji

Software Authors:   Schindelin, J., et al
Cited in: 24 Publications (2016–2022)
Related Software: ImageJ; Python; Scikit; CellProfiler; R; COMSOL; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Computer science (68-XX)

DDDAS

Software Authors:   Frederica Darema
Cited in: 23 Publications (2008–2022)
Related Software: Exshall; QUESO; libMesh; DAKOTA; FEniCS; PMTK; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Knut

Software Authors:   Szalai, Robert
Cited in: 31 Publications (2007–2022)
Related Software: DDE-BIFTOOL; PDDE-CONT; MATCONT; AUTO; dde23; COCO; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

PUMA

Software Authors:   Fraunhofer SCAI; Marc Alexander Schweitzer, Albert Ziegenhagel
Cited in: 31 Publications (2003–2020)
Related Software: XFEM; mctoolbox; Matlab; FEniCS; UG; Trilinos; …
Main Fields: Partial differential equations (35-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)

Schittkowski

Software Authors:   Schittkowski, Klaus
Cited in: 30 Publications (1993–2021)
Related Software: Matlab; MINLPLib; EASY - FIT; NL2SOL; PDEFIT; PCOMP; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

PIGALE

Software Authors:   H. de Fraysseix; P. Ossona de Mendez
Cited in: 29 Publications (2000–2018)
Related Software: TSPLIB; LEDA; OGDF; ForceAtlas2; Gephi; Pajek datasets; …
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Computer science (68-XX)

SaTScan

Software Authors:   Kulldorff M.
Cited in: 22 Publications (2001–2022)
Related Software: R; Surveillance; ggplot2; epiR; PBSmapping; lattice; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

hfloat

Software Authors:   Jörg Arndt
Cited in: 28 Publications (2001–2023)
Related Software: FXT; OEIS; SageMath; GitHub; Matlab; Stony Brook; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Numerical analysis (65-XX)

MayaVi

Software Authors:   Prabhu Ramachandran
Cited in: 22 Publications (2003–2022)
Related Software: Mayavi; Matplotlib; Python; SciPy; VTK; NumPy; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

DELORES

Software Authors:   Michael Maher; Tristan Miller
Cited in: 20 Publications (2000–2020)
Related Software: DR-Prolog; DLV2; WebPIE; LegalRuleML; swrl; Potassco; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ATL

Software Authors:   Jouault, Frédéric; Allilaire, Freddy; Bézivin, Jean; Kurtev, Ivan
Cited in: 12 Publications (2008–2021)
Related Software: HOL-OCL; Maude; UML2Alloy; Melanee; Henshin; AGG; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

BuDDy

Software Authors:   Jorn Lind-Nielsen
Cited in: 24 Publications (1999–2022)
Related Software: CUDD; Sylvan; GitHub; PDDL; ML; SINGULAR; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Computer science (68-XX)

DELSOL

Software Authors:   Willé, David R.; Baker, Christopher T.H.
Cited in: 25 Publications (1992–2022)
Related Software: dde23; Matlab; DKLAG6; BVPh; ddesd; bvp4c; …
Main Fields: Ordinary differential equations (34-XX); Integral equations (45-XX); Operator theory (47-XX)

OpenGeoSys

Software Authors:   O. Kolditz
Cited in: 21 Publications (2012–2022)
Related Software: PFLOTRAN; PHREEQC; DuMuX; GEMSelektor; PhreeqcRM; GEMS3K; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

QUESO

Software Authors:   Ernesto Prudencio; Karl W. Schulz
Cited in: 21 Publications (2011–2022)
Related Software: libMesh; DAKOTA; PETSc; deal.ii; DDDAS; GRINS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

SMTInterpol

Software Authors:   Jochen Hoenicke, Jürgen Christ, Alexander Nutz
Cited in: 22 Publications (2015–2022)
Related Software: z3; MathSAT5; CVC4; CPAchecker; SMT-LIB; Ultimate Automizer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Specware

Software Authors:   Srinivas, Y., Jullig, R.; Waldiger, R.
Cited in: 25 Publications (1998–2019)
Related Software: PVS; Nuprl; CASL; Maude; Isabelle; TPS; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

TNT

Software Authors:   Roldan Pozo
Cited in: 22 Publications (1998–2019)
Related Software: LAPACK; JAMA; Matlab; TAO; Trilinos; Blitz++; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

PLT Redex

Software Authors:   Felleisen, Matthias; Findler, Bruce; Flatt, Matthew
Cited in: 22 Publications (2009–2022)
Related Software: K Prover; Coq; Haskell; K tool; Ott; Featherweight Java; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

E-CELL

Software Authors:   M Tomita, K Hashimoto, K Takahashi, T S Shimizu,Y Matsuzaki ,F Miyoshi, K Saito S Tanida,K Yugi,J C Venter; C A Hutchison
Cited in: 18 Publications (2003–2019)
Related Software: GEPASI; KEGG; Virtual Cell; SCAMP; COPASI; MCELL; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

ITSM2000

Software Authors:   Brockwell, Peter J.; Davis, Richard A.
Cited in: 20 Publications (2016–2022)
Related Software: itsmr; astsa; GitHub; Python; Matlab; sapa; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)

ToulBar2

Software Authors:   Thomas Schiex; Simon de Givry; David Allouche
Cited in: 23 Publications (2007–2022)
Related Software: mplp2; NumberJack; MaxHS; MiniMaxSat; GitHub; Gecode; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Epigram

Software Authors:   McBride, Conor
Cited in: 22 Publications (2005–2020)
Related Software: Coq; Agda; Haskell; LEGO; Irdis; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Algebraic topology (55-XX)

JCell

Software Authors:   Dorronsoro, Bernabé
Cited in: 13 Publications (2008–2021)
Related Software: jMetal; SPEA2; MOEA/D; ParaDisEO; MOCell; Genocop; …
Main Fields: Computer science (68-XX); Fluid mechanics (76-XX); Operations research, mathematical programming (90-XX)

GTS

Software Authors:   S. Popinet; T. Jones
Cited in: 20 Publications (2000–2019)
Related Software: CGAL; DOLFIN; FEniCS; Triangle; FFC; Qhull; …
Main Fields: Algebraic topology (55-XX); Numerical analysis (65-XX); Computer science (68-XX)

IPSEN

Software Authors:   Schürr, Andy
Cited in: 20 Publications (1991–2010)
Related Software: mctoolbox; LAPACK; GRAS; DRAGOS; PostgreSQL; Fujaba; …
Main Fields: History and biography (01-XX); Linear and multilinear algebra; matrix theory (15-XX); Operator theory (47-XX)

Rhinoceros

Software Authors:   Robert McNeel & Associates
Cited in: 17 Publications (2004–2022)
Related Software: ISOGAT; Grasshopper; Mathematica; Maya; PETSc; Gmsh; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

CHUFFED

Software Authors:   Chu, G., Stuckey, P.J., Schutt, A., Ehlers, T., Gange, G., Francis, K.
Cited in: 19 Publications (2016–2022)
Related Software: MiniZinc; CPLEX; OR-tools; Gecode; GitHub; Chaff; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Information and communication theory, circuits (94-XX)

MUSCOD-II

Software Authors:   University of Heidelberg; M. Diehl, D. B. Leineweber, A. A. S. Schäfer
Cited in: 19 Publications (1998–2021)
Related Software: Ipopt; ADIFOR; SOCS; PROPT; qpOASES; NewtonLib; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

ToscanaJ

Software Authors:   Becker, Peter; Correia, Joachim Hereth
Cited in: 17 Publications (2004–2011)
Related Software: Galicia; ConImp; JGraph; Dia; fca.sty; ConExp; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX)

GeoProof

Software Authors:   Julien Narboux; Nicolas François
Cited in: 17 Publications (2007–2020)
Related Software: GEX; GeoThms; Coq; GCLC; GeoGebra; JGEX; …
Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Numerical analysis (65-XX)

Salinas

Software Authors:   Bhardwaj, M., Pierson, K., Reese, G., Walsh, T., Day, D., Alvin, K., Peery, J.
Cited in: 18 Publications (2003–2018)
Related Software: PETSc; ARPACK; Trilinos; LAPACK; MUMPS; hypre; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

SHTns

Software Authors:   Nathanael Schaeffer
Cited in: 18 Publications (2008–2022)
Related Software: FFTW; pySDC; chammp; DLMF; PARDISO; pizza; …
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

JAS

Software Authors:   Heinz Kredel
Cited in: 15 Publications (2008–2023)
Related Software: SINGULAR; AXIOM; Plural; SageMath; Orbital library; ALDOR; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Associative rings and algebras (16-XX)

DAGH

Software Authors:   Parashar, Manish; Browne, James C.
Cited in: 12 Publications (1998–2011)
Related Software: PARAMESH; AMROC; SAMRAI; Chombo; PETSc; Carpet; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

QROOT

Software Authors:   M.L. Chaudhry
Cited in: 16 Publications (1993–2022)
Related Software: MCQueue; QPACK
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

TeXmacs

Software Authors:   Van Der Hoeven, J.
Cited in: 15 Publications (2004–2021)
Related Software: Coq; Isabelle/HOL; Isabelle; GAP; OMDoc; Automath; …
Main Fields: Field theory and polynomials (12-XX); Special functions (33-XX); Computer science (68-XX)

VIFF

Software Authors:   Damgård, Ivan; Geisler, Martin; Krøigaard, Mikkel; Nielsen, Jesper Buus
Cited in: 14 Publications (2009–2022)
Related Software: Sharemind; FairplayMP; TASTY; VMCrypt; fhe; MP-SPDZ; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Information and communication theory, circuits (94-XX)

AMLET

Software Authors:   Fabian Bastin
Cited in: 15 Publications (2006–2020)
Related Software: SUTIL; sn; ALGENCAN; CVX; TRON; HOGWILD; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

GiNaC-cycle

Software Authors:   Vladimir V. Kisil
Cited in: 14 Publications (2004–2022)
Related Software: GiNaC; MetaPost; Asymptote; Noweb; Python; Kig; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Functions of a complex variable (30-XX); Geometry (51-XX)

HTK

Software Authors:   Young, S. J; Cambridge University Engineering Department (CUED)
Cited in: 8 Publications (1997–2007)
Related Software: Praat; Pfinder; rastamat; Sphinx-II; AdaBoost.MH
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

i*

Software Authors:   University of Toronto
Cited in: 11 Publications (2001–2004)
Related Software: SecureUML; TAMBIS; UEML; GOLOG; SoFAR
Main Fields: Computer science (68-XX)

MLPACK

Software Authors:   Curtin, Ryan R.; Cline, James R.; Slagle, N.P.; March, William B.; Ram, Parikshit; Mehta, Nishant A.; Gray, Alexander G.
Cited in: 9 Publications (2013–2020)
Related Software: UCI-ml; Scikit; SciPy; Armadillo; Python; SHOGUN; …
Main Fields: Measure and integration (28-XX); Statistics (62-XX); Numerical analysis (65-XX)

ESMF

Software Authors:   Collins, N., G. Theurich, C. DeLuca, M. Suarez, A. Trayanov, V. Balaji, P. Li, W. Yang, C. Hill, A. da Silva
Cited in: 9 Publications (2006–2020)
Related Software: PETSc; Cactus; Uintah; SCIRun2; MCT; PALM; …
Main Fields: Approximations and expansions (41-XX); Numerical analysis (65-XX); Computer science (68-XX)

FDLIB

Software Authors:   Pozrikidis, C.
Cited in: 14 Publications (2001–2019)
Related Software: Matlab
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

FXT

Software Authors:   Jörg Arndt
Cited in: 14 Publications (2011–2022)
Related Software: hfloat; OEIS; GitHub; SageMath; infCS; MRI Simulation and Reconstruction; …
Main Fields: Combinatorics (05-XX); Special functions (33-XX); Numerical analysis (65-XX)

hmm

Software Authors:   K Murphy
Cited in: 12 Publications (2004–2020)
Related Software: R; Matlab; Brain Connectivity Toolbox; depmixS4; hmm.discnp; mhsmm; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

OpenSees

Software Authors:   Mazzoni, S.; Mckenna, F.; Fenves, G.
Cited in: 11 Publications (2009–2021)
Related Software: Matlab; SAP2000; LS-DYNA; EaRL; FM-2D; ABAQUS; …
Main Fields: General and overarching topics; collections (00-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

OPTIMA

Software Authors:   Bartholomew-Biggs, Michael
Cited in: 14 Publications (2008–2022)
Related Software: tn; L-BFGS; WORHP; ALGENCAN; MINOS; Ipopt; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

Orbital library

Software Authors:   André Platzer
Cited in: 14 Publications (2008–2021)
Related Software: z3; QEPCAD; KeYmaera; AXIOM; SINGULAR; MetiTarski; …
Main Fields: Commutative algebra (13-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

BCEL

Software Authors:   The Apache Software Foundation
Cited in: 5 Publications (2007–2011)
Related Software: TaintDroid; AspectJ; LoPSiL; ASM; TALx86; LMS; …
Main Fields: Computer science (68-XX)

BioJava

Software Authors:   Andreas Prlic; Andrew Yates; Spencer E. Bliven; Peter W. Rose; Julius Jacobsen; Peter V. Troshin; Mark Chapman; Jianjiong Gao; Chuan Hock Koh; Sylvain Foisy; Richard Holland; Gediminas Rimsa; Michael L. Heuer; H. Brandstatter-Muller; Philip E. Bourne; Scooter Willis
Cited in: 5 Publications (2009–2017)
Related Software: Biopython; bioperl; MMTK; ProDy; Python; Taverna; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)