×

Found 505 Software Packages (Results 1–100)

Maple

Software Authors:   Waterloo Maple Inc.
Referenced in: 5,182 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)

Magma

Software Authors:   W. Bosma, A. Steel, G. Matthews, D. Fisher, J. Cannon, S. Contini, B. Smith
Referenced in: 3,357 Publications (1994–2023)
Related Software: GAP; SageMath; PARI/GP; SINGULAR; Maple; Code Tables; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Algebraic geometry (14-XX)

DLMF

Software Authors:   Lozier, Daniel W.
Referenced in: 2,885 Publications (2000–2022)
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)

Macaulay2

Software Authors:   Grayson, Daniel R.; Stillman, Michael E.; Eisenbud, David; http://www.math.uiuc.edu/Macaulay2/Contributors/
Referenced in: 1,934 Publications (1988–2023)
Related Software: SINGULAR; CoCoA; SageMath; Bertini; Magma; Maple; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

Isabelle/HOL

Software Authors:   Naraschewski, Wolfgang; Nipkow, Tobias
Referenced in: 972 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)

Ipopt

Software Authors:   Andreas Waechter, Carl Laird
Referenced in: 793 Publications (2005–2022)
Related Software: AMPL; SNOPT; SCIP; Bonmin; CPLEX; KNITRO; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Isabelle

Software Authors:   Larry Paulson, Tobias Nipkow, Makarius Wenzel
Referenced in: 701 Publications (1990–2022)
Related Software: Isabelle/HOL; HOL; Coq; PVS; ML; Archive Formal Proofs; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-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
Referenced in: 533 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)

IMSL Numerical Libraries

Software Authors:   Visual Numerics, Inc.
Referenced in: 572 Publications (1976–2020)
Related Software: SAS; Mathematica; ABAQUS; EISPACK; LINPACK; nag; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

BLAS

Software Authors:   Jack Dongarra; Eric Grosse
Referenced in: 481 Publications (1987–2022)
Related Software: LAPACK; ScaLAPACK; ATLAS; mctoolbox; Matlab; Algorithm 679; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

bootlib

Software Authors:   Angelo Canty; Davison, A. C. Au; Hinkley, D. V.
Referenced in: 457 Publications (1997–2022)
Related Software: bootstrap; R; KernSmooth; Ox; ismev; boot; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

MATCONT

Software Authors:   Dhooge, A.; Sautois, B.; Govaerts, W.; Kuznetsov, Yu.A.
Referenced in: 453 Publications (2003–2022)
Related Software: AUTO; Matlab; CL_MATCONT; HomCont; AUTO-07P; XPPAUT; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

Chebfun

Software Authors:   ChebfunTeam; A Driscoll, N. Hale, L. N. Trefethen
Referenced in: 427 Publications (2004–2022)
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)

MATLAB ODE suite

Software Authors:   Shampine, L. F.; Reichelt, M. W.
Referenced in: 412 Publications (1995–2022)
Related Software: Matlab; ode23; ode113; ode45; ode23s; Ode15s; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

nag

Software Authors:   Numerical Algorithms Group (NAG)
Referenced in: 313 Publications (1979–2022)
Related Software: NAG; Matlab; LAPACK; IMSL Numerical Libraries; QUADPACK; Maple; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Statistics (62-XX)

GSL

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

DEA

Software Authors:   Productivity Analysis Research Network
Referenced in: 244 Publications (1988–2022)
Related Software: DEAFrontier; FEAR; Benchmarking; DEAP; sfa; LIMDEP; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Geometer's Sketchpad

Software Authors:   2009 KCP Technologies.
Referenced in: 63 Publications (1997–2021)
Related Software: Cinderella; GeoGebra; Mathematica; Cabri-geometry; GEX; CoCoA; …
Main Fields: General and overarching topics; collections (00-XX); Geometry (51-XX); Numerical analysis (65-XX)

XPRESS

Software Authors:   FICO
Referenced in: 229 Publications (1989–2022)
Related Software: CPLEX; SCIP; MIPLIB; Gurobi; MIPLIB2003; AMPL; …
Main Fields: Combinatorics (05-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.
Referenced 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)

FEATFLOW

Software Authors:   S Turek, C Becker
Referenced in: 207 Publications (1998–2022)
Related Software: OpenFOAM; MooNMD; ANSYS-CFX; PETSc; RODAS; Gmsh; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Scilab

Software Authors:   Scilab Enterprises; Ricardo Fabbri
Referenced 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)

MatrixMarket

Software Authors:   Boisvert, R., Pozo, R., Remington, K., Barrett, R., Dongarra, J
Referenced in: 165 Publications (1999–2022)
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)

LiE

Software Authors:   A.M. Cohen, B. Lisser, M.A.A. van Leeuwen
Referenced in: 163 Publications (1993–2022)
Related Software: Magma; Mathematica; Macaulay2; GAP; Maple; SageMath; …
Main Fields: Algebraic geometry (14-XX); Nonassociative rings and algebras (17-XX); Group theory and generalizations (20-XX)

ETPS

Software Authors:   Peter Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
Referenced in: 156 Publications (1986–2022)
Related Software: TPS; Isabelle/HOL; HOL; Isabelle; Nuprl; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Mathcad

Software Authors:   Parametric Technology Corporation
Referenced in: 136 Publications (1991–2021)
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)

MLwiN

Software Authors:   Goldstein, Harvey (et al.)
Referenced in: 91 Publications (1999–2022)
Related Software: WinBUGS; R; Stata; SAS; HLM; Mplus; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)

Sage-Combinat

Software Authors:   –
Referenced 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)

JStatCom

Software Authors:   Markus Krätzig
Referenced in: 77 Publications (2007–2022)
Related Software: KEEL; UCI-ml; C4.5; SMOTE; R; SMOTEBoost; …
Main Fields: Combinatorics (05-XX); Algebraic topology (55-XX); Statistics (62-XX)

OMDoc

Software Authors:   Kohlhase, Michael
Referenced in: 88 Publications (2001–2021)
Related Software: MMT; Coq; 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)

NFFT

Software Authors:   Jens Keiner, Stefan Kunis, Daniel Potts
Referenced in: 83 Publications (2003–2022)
Related Software: NFFT3; FFTW; Matlab; FINUFFT; DLMF; NUFFT; …
Main Fields: Approximations and expansions (41-XX); Harmonic analysis on Euclidean spaces (42-XX); Numerical analysis (65-XX)

na20

Software Authors:   Bini, Dario Andrea; Fiorentino, Giuseppe
Referenced in: 79 Publications (2000–2022)
Related Software: na10; ISOLATE; Eigensolve; mctoolbox; MPSolve; SqFreeEVAL; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Real functions (26-XX); Functions of a complex variable (30-XX)

UFL

Software Authors:   Alnæs, Martin S.; Logg, Anders; Ølgaard, Kristian B.; Rognes, Marie E.; Wells, Garth N.
Referenced in: 73 Publications (2010–2022)
Related Software: FEniCS; PETSc; Firedrake; DOLFIN; petsc4py; SyFi; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

TPS

Software Authors:   Andrews, Peter B.; Brown, Chad E.
Referenced in: 75 Publications (1990–2022)
Related Software: TPTP; ETPS; HOL; LEO-II; PVS; Nuprl; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

bayesm

Software Authors:   Allenby, Greg M.; Rossi, Peter E.
Referenced in: 64 Publications (1999–2022)
Related Software: R; CODA; MNP; JAGS; flexmix; OpenBUGS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

NFFT3

Software Authors:   J. Keiner, S. Kunis, D. Potts
Referenced in: 72 Publications (2009–2022)
Related Software: NFFT; FFTW; FINUFFT; DLMF; Matlab; PNFFT; …
Main Fields: Approximations and expansions (41-XX); Harmonic analysis on Euclidean spaces (42-XX); Numerical analysis (65-XX)

Matita

Software Authors:   Asperti, Andrea; Ricciotti, Wilmer; Sacerdoti Coen, Claudio; Tassi, Enrico
Referenced in: 71 Publications (2007–2020)
Related Software: Coq; Mizar; Isabelle/HOL; Isabelle; Agda; Proof General; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Real functions (26-XX)

DERIVE

Software Authors:   Kutzler, Bernhard; Wall, Bernhard; Winkler, Franz
Referenced in: 49 Publications (1991–2019)
Related Software: Mathematica; Maple; MACSYMA; REDUCE; AXIOM; MuPAD; …
Main Fields: General and overarching topics; collections (00-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

CL_MATCONT

Software Authors:   W. Govaerts; Yu.A. Kuznetsov
Referenced in: 69 Publications (2003–2022)
Related Software: MATCONT; Matlab; AUTO; HomCont; CL_MATCONTL; AUTO2000; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

Isabelle/ZF

Software Authors:   Lawrence C. Paulson
Referenced in: 63 Publications (1993–2021)
Related Software: Isabelle; Coq; Isabelle/HOL; HOL; Mizar; ML; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic topology (55-XX)

HSL_MI20

Software Authors:   Boyle, Jonathan; Mihajlovi, Milan; Scott, Jennifer
Referenced in: 59 Publications (2009–2022)
Related Software: IFISS; Matlab; AGMG; UMFPACK; HSL; GitHub; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Probability theory and stochastic processes (60-XX)

DAISY

Software Authors:   Giuseppina Bellu , Maria Pia Saccomani, Stefania Audoly , Leontina D’Angiò
Referenced in: 55 Publications (2008–2022)
Related Software: COMBOS; GenSSI; SIAN; BLAD; ObservabilityTest; MESSI; …
Main Fields: Commutative algebra (13-XX); Ordinary differential equations (34-XX); Statistics (62-XX)

CompCert

Software Authors:   Leroy, X.
Referenced in: 50 Publications (2009–2022)
Related Software: Coq; Isabelle/HOL; z3; CakeML; cminor; Isabelle; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)

RRL

Software Authors:   D.Kapur; H.Zhang
Referenced in: 48 Publications (1985–2019)
Related Software: NQTHM; REVE; OTTER; SPIKE; PVS; Tecton; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)

G+Smo

Software Authors:   Angelos Mantzaflaris, Bert Jüttler
Referenced 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)

ITPACK

Software Authors:   Kincaid, David R.; Young, David M.
Referenced in: 44 Publications (1979–2017)
Related Software: ITPACK 2C; ELLPACK; CUDA; LINPACK; SparseMatrix; CUSPARSE; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

CoFI

Software Authors:   Mosses, Peter D.
Referenced in: 39 Publications (1997–2017)
Related Software: CASL; ATERM; Maude; OMDoc; MAYA; OBJ3; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); General algebraic systems (08-XX)

Feel++

Software Authors:   Christophe Prud'homme, Vincent Chabannes, Stéphane Veys, Abdoulaye Samake, Cecile Daversin, Christophe Trophime, Goncalo Pena, Guillaume Dollé, Jean-Baptiste Wahl, Mourad Ismail, Ranine Tarabay, Vincent Doyeux, Vincent Huber
Referenced in: 38 Publications (1999–2022)
Related Software: PETSc; FEniCS; FreeFem++; deal.ii; Gmsh; Firedrake; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Graclus

Software Authors:   I. Dhillon, Y. Guan, B, Kulis
Referenced in: 37 Publications (2008–2022)
Related Software: BSDS; AFGen; UCI-ml; Algorithm 457; ImageNet; PRMLT; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

ARC

Software Authors:   Cook, R. Dennis; Weisberg, Sanford
Referenced in: 39 Publications (1999–2022)
Related Software: R; LISP-STAT; alr3; sm; XGobi; MAMI; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

dcc

Software Authors:   Naumann, Uwe
Referenced 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)

affy

Software Authors:   Rafael A. Irizarry; Laurent Gautier, Leslie Cope; Ben Bolstad
Referenced 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)

DUNE-FEM

Software Authors:   Dedner, Andreas; Klöfkorn, Robert; Nolte, Martin; Ohlberger, Mario
Referenced in: 39 Publications (2010–2022)
Related Software: DUNE; deal.ii; PETSc; FEniCS; Feel++; UFL; …
Main Fields: Partial differential equations (35-XX); Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX)

SIMEM3 Renault

Software Authors:   Jourdan, Franck; Alart, Pierre; Jean, Michel
Referenced in: 40 Publications (1998–2021)
Related Software: Meschach; LMGC90; Solfec; MFIX-DEM; FFSQP(f77); Mathematica; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

CLUCalc

Software Authors:   Christian Perwass
Referenced in: 34 Publications (2004–2022)
Related Software: Gaigen; Gaalop; CLIFFORD; GABLE; CLU; GMac; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Group theory and generalizations (20-XX); Numerical analysis (65-XX)

Equator

Software Authors:   Oldham, Keith; Myland, Jan; Spanier, Jerome
Referenced in: 35 Publications (2008–2023)
Related Software: DLMF; HomotopyContinuation; SageMath; circular; CircStats; UTV; …
Main Fields: Number theory (11-XX); Real functions (26-XX); Special functions (33-XX)

GEX

Software Authors:   Gao, X.-S., et al.
Referenced in: 30 Publications (1996–2020)
Related Software: GeoGebra; JGEX; GeoProof; GEOTHER 1.1; GeoThms; GCLC; …
Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Numerical analysis (65-XX)

Ginsim

Software Authors:   Gonzales, A. G.; Naldi, A.; Sanchez, L.; Thieffry, D.; Chaouiya, C
Referenced in: 34 Publications (2008–2022)
Related Software: BoolNet; GitHub; Macaulay2; ADAM; PyBoolNet; Python; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Slatec

Software Authors:   W. H. Vandevender; K. H. Haskell
Referenced in: 34 Publications (1985–2016)
Related Software: Mathematica; ODEPACK; LAPACK; NAG; TENSOLVE; LANCELOT; …
Main Fields: Special functions (33-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)

Brian

Software Authors:   Goodman DFM, Brette R
Referenced in: 21 Publications (2008–2021)
Related Software: NEURON; NEST; Pynn; Python; TensorFlow; Matlab; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

INTBIS

Software Authors:   Kearfott, R.Baker; Novoa, Manuel III
Referenced in: 31 Publications (1990–2018)
Related Software: INTLIB; IbexOpt; Numerica; ANTIGONE; ICOS; C-XSC 2.0; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

homalg

Software Authors:   Barakat, Mohamed; Robertz, Daniel
Referenced in: 28 Publications (2007–2021)
Related Software: GAP; SINGULAR; Macaulay2; Plural; OreModules; Magma; …
Main Fields: Commutative algebra (13-XX); Associative rings and algebras (16-XX); Category theory; homological algebra (18-XX)

Schittkowski

Software Authors:   Schittkowski, Klaus
Referenced 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)

MegaWave

Software Authors:   Jacques Froment; Lionel Moisan; Jean-Michel Morel
Referenced in: 24 Publications (1999–2019)
Related Software: SIFT; AlexNet; ImageNet; ASIFT; BSDS; iHOG; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

SparseLOGREG

Software Authors:   S. K. Shevade; S. S. Keerthi
Referenced in: 24 Publications (2006–2021)
Related Software: glmnet; LASSO; R; penalized; TFOCS; LIBSVM; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

BioBayes

Software Authors:   Mark Girolami; Vladislav Vyshemirsky
Referenced in: 20 Publications (2008–2022)
Related Software: PRMLT; deGradInfer; BayesDA; ABC-SysBio; R; PMTK; …
Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

EnviroStat

Software Authors:   Le, Nhu D.; Zidek, James V.
Referenced in: 24 Publications (2006–2021)
Related Software: R; BayesDA; spBayes; EnvStats; MVN; LambertW; …
Main Fields: Statistics (62-XX); Geophysics (86-XX); Operations research, mathematical programming (90-XX)

MarPlex

Software Authors:   Stojkovi'c, Nebojv{s}a V.; Stanimirovi'c, Predrag S.; Petkovi'c, Marko D.; Milojkovi'c, Danka S.
Referenced in: 26 Publications (1997–2021)
Related Software: NETLIB LP Test Set; CPLEX; LPbook; CONOPT; SuiteSparseQR; MINOS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

MuPAD-Combinat

Software Authors:   Descouens, Francois
Referenced in: 24 Publications (2004–2019)
Related Software: MuPAD; OEIS; SageMath; Mathematica; Maple; Python; …
Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Nonassociative rings and algebras (17-XX)

LOGOS

Software Authors:   Deryugin, Yu.N.; Zhuchkov, R.N.; Zelenskiy, D.K.; Kozelkov, A.S.; Sarazov, A.S.; Kudimov, N.F.; Lipnickiy, Yu.M.; Panasenko, A.V.; Safronov, A.V.
Referenced in: 24 Publications (2014–2021)
Related Software: AUSM; LSODE; PETSc; SUNDIALS; RKC; SIMPLE; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

ROSE

Software Authors:   Liberti, Leo; Cafieri, Sonia; Savourey, David
Referenced in: 24 Publications (2010–2022)
Related Software: AMPL; CPLEX; BARON; Bonmin; GAMS; FEASPUMP; …
Main Fields: Geometry (51-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CPMP

Software Authors:   Core-Plus Mathematics Project
Referenced in: 0 Publications
Related Software: Mathematica
Main Fields:

DEDiscover

Software Authors:   University of Rochester’s Center for Biodefense Immune Modeling (CBIM)
Referenced in: 22 Publications (2011–2022)
Related Software: SemiPar; R; fda (R); smfsb; deSolve; System Identification Toolbox; …
Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

Optim

Software Authors:   P. K. Mogensen; A. N. Riseth
Referenced in: 12 Publications (2019–2022)
Related Software: Julia; JuMP; Matlab; Ipopt; CG_DESCENT; NLopt; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

wavetrain

Software Authors:   Sherratt, Jonathan A.
Referenced in: 23 Publications (2012–2021)
Related Software: AUTO; HomCont; AUTO-07P; PRED_PREY; AUTO-86; Matlab; …
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

CAS/PI

Software Authors:   Kajler, Norbert
Referenced in: 21 Publications (1992–2018)
Related Software: Mathematica; Maple; AXIOM; MACSYMA; OMRS; Isabelle; …
Main Fields: Real functions (26-XX); Computer science (68-XX)

Be-CoDiS

Software Authors:   Ivorra, Benjamin; Ngom, Diène; Ramos, Ángel M.
Referenced in: 21 Publications (2015–2022)
Related Software: Matlab; GitHub; iOverbook; TopoChemie-2020; pomp
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Statistics (62-XX)

UniTESK

Software Authors:   Institute for System Programming of the Russian Academy of Sciences
Referenced in: 14 Publications (2002–2015)
Related Software: SpecExplorer; DART; CUTE; NModel; Symstra; SPIN; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

ALLTYPES

Software Authors:   Schwarz, Fritz
Referenced in: 18 Publications (1999–2017)
Related Software: REDUCE; Maple; SINGULAR; SDeval; NCPOLY; Plural; …
Main Fields: Field theory and polynomials (12-XX); Associative rings and algebras (16-XX); Ordinary differential equations (34-XX)

CaGe

Software Authors:   G. Brinkmann, O. Delgado Friedrichs, S. Lisken, A. Peeters, N. Van Cleemput
Referenced in: 20 Publications (2003–2019)
Related Software: plantri; House of Graphs; GrInvIn; Buckygen; GENREG; Conjecturing; …
Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX); Convex and discrete geometry (52-XX)

D-Claw

Software Authors:   George, David L.; Iverson, Richard M.
Referenced in: 20 Publications (2014–2022)
Related Software: GEOCLAW; PVM; CLAWPACK; HE-E1GODF; MPAS-Ocean; SWASHES; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

MOPS

Software Authors:   Suhl, Uwe H.
Referenced in: 20 Publications (1993–2011)
Related Software: CPLEX; MIPLIB; DEVEX; SoPlex; Decision tree for optimization software; MIPLIB2003; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ASCEND

Software Authors:   Piela, P.C., Epperly, T.G., Westerberg, K.M., Westerberg, A.W
Referenced in: 15 Publications (1993–2018)
Related Software: AMPL; Modelica; GAMS; AIMMS; gPROMS; Python; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

CHABIS

Software Authors:   Vrahatis, Michael N.
Referenced in: 19 Publications (1988–2020)
Related Software: RFSFNS; ZEBEC; minpack; PVM; MANBIS; BRENT; …
Main Fields: Special functions (33-XX); Dynamical systems and ergodic theory (37-XX); Algebraic topology (55-XX)

Igatools

Software Authors:   Pauletti, M.Sebastian; Martinelli, Massimiliano; Cavallini, Nicola; Antolin, Pablo
Referenced in: 19 Publications (2015–2021)
Related Software: PetIGA; GeoPDEs; IETI; ISOGAT; G+Smo; PetIGA-MF; …
Main Fields: Partial differential equations (35-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)

ADiMat

Software Authors:   C. H. Bischof, H. M. Bücker, J., Willkomm, A. Vehreschild
Referenced in: 18 Publications (2003–2018)
Related Software: Matlab; ADOL-C; TAPENADE; FADBAD++; ADIC; ADIFOR; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

JavaView

Software Authors:   Polthier, K., Preuss, E., Hildebrandt, K., Reitebuch, U.
Referenced in: 16 Publications (2002–2019)
Related Software: polymake; cdd; Macaulay2; EG-Models; GeoGebra; 3dprintmath; …
Main Fields: General and overarching topics; collections (00-XX); Convex and discrete geometry (52-XX); Manifolds and cell complexes (57-XX)

mathStatica

Software Authors:   Rose, Colin; Smith, Murray D.
Referenced in: 18 Publications (2002–2009)
Related Software: Mathematica; Maple; R; ElemStatLearn; SIMAGE; Algorithm 695; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

MathWeb

Software Authors:   Zimmer, Jürgen; Kohlhase, Michael
Referenced in: 16 Publications (2000–2016)
Related Software: TPTP; OTTER; PVS; Nuprl; TRAMP; tptp2X; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Ordinary differential equations (34-XX)

sbtoolbox

Software Authors:   Henning Schmidt; Mats Jirstrand
Referenced in: 12 Publications (2009–2019)
Related Software: Matlab; SBML-SAT; libSBML; Sbmltoolbox; SymPy; Python; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Calculus of variations and optimal control; optimization (49-XX)

SQOPT

Software Authors:   P.E. Gill, W. Murray, M.A. Saunders
Referenced in: 18 Publications (2003–2020)
Related Software: SNOPT; CUTEst; qpOASES; QPA; PDCO; ZQPCVX; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

Geometry Expressions

Software Authors:   Saltire Software
Referenced in: 10 Publications (2007–2021)
Related Software: Geometer's Sketchpad; GeoGebra; Cinderella; GEOTHER 1.1; Maple; Epsilon; …
Main Fields: Combinatorics (05-XX); Geometry (51-XX); Numerical analysis (65-XX)

MBase

Software Authors:   Franke, Andreas; Kohlhase, Michael
Referenced in: 17 Publications (1999–2006)
Related Software: TPS; OMEGA; Nuprl; Coq; OMDoc; TRAMP; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Mathematics education (97-XX)

PERUSE

Software Authors:   Kurator, William G.; O'Neill, Richard P.
Referenced in: 17 Publications (1980–2021)
Related Software: SCS; CVXPY; MProbe; CPLEX; Gurobi; AMPL; …
Main Fields: Partial differential equations (35-XX); Manifolds and cell complexes (57-XX); Numerical analysis (65-XX)

E&F Chaos

Software Authors:   Cees Diks, Cars Hommes, Valentyn Panchenko, Marcelo Tyszler
Referenced in: 15 Publications (2008–2022)
Related Software: NIST Statistical Test Suite; Diehard; Dynamics; DMC; AUTO2000; gnuplot
Main Fields: Combinatorics (05-XX); Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX)

MMH

Software Authors:   Halevi, Shai; Krawczyk, Hugo
Referenced in: 16 Publications (1997–2021)
Related Software: Poly1305-AES; McOE; ELmD; MCBC; ELmE; eSTREAM; …
Main Fields: General and overarching topics; collections (00-XX); Number theory (11-XX); Field theory and polynomials (12-XX)

MuShROOM

Software Authors:   Kirches, Christian
Referenced in: 16 Publications (2011–2022)
Related Software: qpHPSC; Mintoc; Ipopt; CasADi; SODAS; Bonmin; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Quantum theory (81-XX)

OpenXM

Software Authors:   Maekawa, Masahide; Noro, Masayuki; Takayama, Nobuki; Tamura, Yasushi; Ohara, Katsuyoshi
Referenced in: 16 Publications (2001–2022)
Related Software: Risa/Asir; Macaulay2; SINGULAR; Kan; Plural; noro_pd; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX)

qpHPSC

Software Authors:   Kirches, Christian
Referenced in: 16 Publications (2011–2022)
Related Software: MuShROOM; Mintoc; Ipopt; CasADi; SODAS; Bonmin; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Quantum theory (81-XX)

Algorithm 785

Software Authors:   Hu, Chenglie
Referenced in: 14 Publications (1998–2020)
Related Software: SC Toolbox; Schwarz-Christoffel; cap; AAA; Chebfun; SKPrime; …
Main Fields: Functions of a complex variable (30-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)