×

Found 1,380 Software Packages (Results 1–100)

z3

Software Authors:   Microsoft Research; Leonardo de Moura; Nikolaj Bjørner
Referenced in: 607 Publications (2001–2022)
Related Software: SMT-LIB; CVC4; Yices; Coq; Isabelle/HOL; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

CUTEr

Software Authors:   Gould, Nicholas I.M.; Orban, Dominique; Toint, Philippe L
Referenced in: 611 Publications (1994–2022)
Related Software: CUTE; SifDec; L-BFGS; CG_DESCENT; LANCELOT; minpack; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

DIMACS

Software Authors:   D.S. Johnson; M. Trick
Referenced in: 565 Publications (1993–2022)
Related Software: Tabu search; SATO; Chaff; Walksat; SparseMatrix; CPLEX; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

ScaLAPACK

Software Authors:   Blackford, L.S.; Choi, J.; Cleary, A.; D'Azevedo, E.; Demmel, J.; Dhillon, I.; Dongarra, J.; Hammarling, S.; Henry, G.; Petitet, A.; Stanley, K.; Walker, D.; Whaley, R.C.
Referenced in: 402 Publications (1995–2022)
Related Software: LAPACK; BLAS; PLAPACK; MPI; PETSc; MUMPS; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

Trilinos

Software Authors:   Trilinos contributors
Referenced in: 401 Publications (2003–2023)
Related Software: PETSc; deal.ii; ML; p4est; UMFPACK; hypre; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

TPTP

Software Authors:   Geoff Sutcliffe; Christian Suttner
Referenced in: 388 Publications (1994–2021)
Related Software: VAMPIRE; E Theorem Prover; SPASS; Isabelle/HOL; OTTER; Mizar; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

MIPLIB

Software Authors:   Achterberg, Tobias; Koch, Thorsten; Martin, Alexander
Referenced in: 329 Publications (1994–2022)
Related Software: MIPLIB2003; CPLEX; SCIP; FEASPUMP; Benchmarks for Optimization Software; XPRESS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)

SVMlight

Software Authors:   Thorsten Joachims
Referenced in: 209 Publications (2000–2022)
Related Software: LIBSVM; UCI-ml; SVMTorch; Matlab; GPDT; CONV_QP; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Bertini

Software Authors:   D. Bates, J. Hauenstein, A. Sommese,C. Wampler
Referenced in: 260 Publications (2008–2023)
Related Software: PHCpack; Macaulay2; HOM4PS; alphaCertified; SINGULAR; NumericalAlgebraicGeometry; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX)

CUTE

Software Authors:   Bongartz, I., Conn, A., Gould, N., Toint, Ph.
Referenced in: 239 Publications (1994–2023)
Related Software: CUTEr; L-BFGS; minpack; CG_DESCENT; SCALCG; LANCELOT; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

FERET

Software Authors:   Jonathon Phillips, Harry Wechsler, Jeffery Huang, Patrick J. Rauss
Referenced in: 144 Publications (2001–2021)
Related Software: AR face; CMU PIE; Yale Face; ORL face; KPCA plus LDA; XM2VTSDB; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

SifDec

Software Authors:   Gould, Nicholas I.M.; Orban, Dominique; Toint, Philippe L.
Referenced in: 220 Publications (2003–2022)
Related Software: CUTEr; Ipopt; L-BFGS; CUTE; LANCELOT; minpack; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

VODE

Software Authors:   Brown, Peter N.; Byrne, George D.; Hindmarsh, Alan C.
Referenced in: 210 Publications (1989–2022)
Related Software: RODAS; CHEMKIN; LSODE; Matlab; DASSL; ODEPACK; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

CIFAR

Software Authors:   Alex Krizhevsky, Vinod Nair, Geoffrey Hinton
Referenced in: 172 Publications (2012–2022)
Related Software: ImageNet; Adam; AlexNet; MNIST; GitHub; PyTorch; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

TISEAN

Software Authors:   Rainer Hegger, Holger Kantz, Thomas Schreiber
Referenced in: 163 Publications (1999–2022)
Related Software: Matlab; K2; SciPy; igraph; pyunicorn; Python; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Statistics (62-XX)

SLIC

Software Authors:   W. F. Noh, Paul Woodward
Referenced in: 165 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)

BerkMin

Software Authors:   Goldberg, Eugene; Novikov, Yakov
Referenced in: 148 Publications (2002–2021)
Related Software: Chaff; MiniSat; SATO; Siege; Velev SAT Benchmarks; PicoSAT; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

cmprsk

Software Authors:   Bob Gray
Referenced in: 154 Publications (1999–2022)
Related Software: R; timereg; mstate; survival; etm; cmprskQR; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)

SIMPLIFY

Software Authors:   Detlefs, D.; Nelson, G.; Saxe, J. B
Referenced in: 129 Publications (2001–2021)
Related Software: z3; ESC/Java; PVS; Spec#; Boogie; SMT-LIB; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

GraphBase

Software Authors:   Knuth, Donald E.
Referenced in: 137 Publications (1993–2022)
Related Software: LOLIB; LEDA; Pajek datasets; DIMACS; TSPLIB; R; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

MIM

Software Authors:   Edwards, David
Referenced in: 130 Publications (1995–2023)
Related Software: glasso; TETRAD; R; CoCo; huge; GMRFLib; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

CUTEst

Software Authors:   Gould, N., Orban, D., Toint, P.L.
Referenced in: 127 Publications (2014–2023)
Related Software: L-BFGS; LANCELOT; HSL; GALAHAD; Ipopt; MA57; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

TestU01

Software Authors:   P. L'Ecuyer; R. Simard
Referenced in: 118 Publications (2005–2022)
Related Software: MersenneTwister; Diehard; NIST Statistical Test Suite; dieharder; SPRNG; MRG32k3a; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Numerical analysis (65-XX)

MCPLIB

Software Authors:   Steven P. Dirkse; Michael C. Ferris
Referenced in: 119 Publications (1995–2022)
Related Software: PATH Solver; GAMS; QPCOMP; MINOS; STRSCNE; Matlab; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

eSTREAM

Software Authors:   Cannire, C.D.
Referenced in: 106 Publications (2006–2022)
Related Software: Trivium; Grain; MICKEY; SageMath; Salsa20; PRESENT; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Commutative algebra (13-XX)

COIN-OR

Software Authors:   http://www.coin-or.org/members.html
Referenced in: 105 Publications (2004–2022)
Related Software: CPLEX; SCIP; Ipopt; MIPLIB; Gurobi; BARON; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

QuickCheck

Software Authors:   Koen Claessen; John Hughes
Referenced in: 86 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)

MINLPLib

Software Authors:   Bussieck, Michael R.; Drud, Arne Stolbjerg; Meeraus, Alexander
Referenced in: 98 Publications (2002–2022)
Related Software: SCIP; Ipopt; BARON; CPLEX; Bonmin; ANTIGONE; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

rms

Software Authors:   Frank E Harrell Jr
Referenced in: 81 Publications (2001–2022)
Related Software: R; SAS; survival; glmnet; Stata; SAS/STAT; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Theano

Software Authors:   J. Bergstra, O. Breuleux, F. Bastien, P. Lamblin, R. Pascanu, G. Desjardins, J. Turian, D. Warde-Farley, Y. Bengio.
Referenced in: 65 Publications (2012–2022)
Related Software: TensorFlow; Adam; PyTorch; Python; Keras; SciPy; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

GRAPE

Software Authors:   Leonard H. Soicher
Referenced in: 96 Publications (1993–2022)
Related Software: GAP; nauty; DESIGN; Magma; Traces; SageMath; …
Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX); Geometry (51-XX)

NIST Statistical Test Suite

Software Authors:   NIST; Lawrence Bassham, Andrew Rukhin, Juan Soto, James Nechvatal, Miles Smid, Elaine Barker, Stefan Leigh, Mark Levenson, Mark Vangel, David Banks, N. Heckert, James Dray
Referenced in: 82 Publications (2004–2021)
Related Software: TestU01; Diehard; MersenneTwister; dieharder; xorgens; SFMT; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Numerical analysis (65-XX)

UMAT

Software Authors:   Abaqus
Referenced in: 90 Publications (1996–2022)
Related Software: ABAQUS; ABAQUS/Standard; ABAQUS/Explicit; HYPLAS; Neper; MTEX; …
Main Fields: Differential geometry (53-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

HypE

Software Authors:   Bader, J., Zitzler, E.
Referenced in: 83 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)

TESTPACK

Software Authors:   A. Genz
Referenced in: 88 Publications (1988–2022)
Related Software: sobol.cc; TOMS659; PATSYM; MersenneTwister; HRMSYM; Chebfun; …
Main Fields: Number theory (11-XX); Approximations and expansions (41-XX); Probability theory and stochastic processes (60-XX)

covTest

Software Authors:   Richard Lockhart, Jon Taylor, Ryan Tibshirani, Rob Tibshirani
Referenced in: 87 Publications (2013–2022)
Related Software: glmnet; glasso; R; ElemStatLearn; hdi; PDCO; …
Main Fields: General and overarching topics; collections (00-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

bnlearn

Software Authors:   Marco Scutari
Referenced in: 62 Publications (2009–2022)
Related Software: R; pcalg; TETRAD; gRain; deal; glmnet; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

NSDTST

Software Authors:   Enright, W.H.; Pryce, J.D.
Referenced 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)

STDTST

Software Authors:   Enright, W.H.; Pryce, J.D.
Referenced 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)

ABAQUS/Explicit

Software Authors:   Dassault Systèmes
Referenced in: 78 Publications (1997–2022)
Related Software: ABAQUS; ABAQUS/Standard; UMAT; VUMAT; LS-DYNA; FLAC; …
Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX)

DART

Software Authors:   Patrice Godefroid; Nils Klarlund; Koushik Sen
Referenced in: 58 Publications (2005–2022)
Related Software: CUTE; Pex; z3; STP; KLEE; Java PathFinder; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

SNDlib

Software Authors:   Orlowski, S.; Wessäly, R.; Pióro, M.; Tomaszewski, A.
Referenced in: 71 Publications (2007–2022)
Related Software: CPLEX; SCIP; MIPLIB; FEASPUMP; SteinLib; Zimpl; …
Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

AETG

Software Authors:   Cohen, D. M.; Dalal, S. R.; Fredman, M. L.; Patton, G. C.
Referenced in: 64 Publications (1998–2022)
Related Software: CAgen; ACTS; Tabu search; PinPoint; MaxCliqueDyn; Modelica; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

CUTE

Software Authors:   Koushik Sen; Darko Marinov; Gul Agha
Referenced in: 50 Publications (2003–2021)
Related Software: DART; KLEE; z3; Pex; STP; Java PathFinder; …
Main Fields: Mathematical logic and foundations (03-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

RAGlib

Software Authors:   Jean-Charles Faugere; Mohab Safey El Din
Referenced in: 65 Publications (2003–2022)
Related Software: Kronecker; FGb; ISOLATE; QEPCAD; Maple; DISCOVERER; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX)

strucchange

Software Authors:   Achim Zeileis, Friedrich Leisch, Kurt Hornik, Christian Kleiber, Bruce Hansen
Referenced in: 41 Publications (2003–2022)
Related Software: R; changepoint; bcp; cpm; ecp; sandwich; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

BEAST

Software Authors:   Bouckaert, R., Heled, J., Kühnert, D., Vaughan, T., Wu, C-H., Xie, D., Suchard, MA., Rambaut, A., Drummond, A. J.
Referenced in: 59 Publications (2009–2022)
Related Software: MrBayes; BEAUti; RAxML; fastDNAml; R; MEGA; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

DifferentialEquations.jl

Software Authors:   C. Rackauckas, Q. Nie
Referenced in: 41 Publications (2018–2022)
Related Software: Julia; NeuralPDE.jl; GitHub; Flux; DiffEqFlux; JuMP; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

Expint

Software Authors:   H Berland, B Skaflestad, WM Wright
Referenced in: 61 Publications (2006–2022)
Related Software: Expokit; phipm; Algorithm 919; Matlab; RODAS; MATLAB expm; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)

TwoCop

Software Authors:   Bruno Remillard; Jean-Francois Plante
Referenced in: 61 Publications (2009–2022)
Related Software: QRM; copula; copula; R; npcp; IndependenceTests; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

COMPleib

Software Authors:   F. Leibfritz; W. Lipinski
Referenced in: 58 Publications (2005–2022)
Related Software: complib; PENNON; YALMIP; HIFOO; PENBMI; SDPT3; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

MNM

Software Authors:   Klaus Nordhausen, Jyrki Mottonen, Hannu Oja
Referenced in: 56 Publications (2010–2022)
Related Software: R; ICSNP; robustbase; energy; pcaPP; mvtnorm; …
Main Fields: Convex and discrete geometry (52-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

Caltech-256

Software Authors:   Griffin, Gregory; Holub, Alex; Perona, Pietro
Referenced in: 40 Publications (2009–2021)
Related Software: SIFT; ImageNet; PASCAL VOC; LIBSVM; PRMLT; WordNet; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

FronTier

Software Authors:   J. Du, B. Fix, J. Glimm, X. Jia, X. Li, Y. Li, L. Wu
Referenced in: 54 Publications (2005–2022)
Related Software: FIVER; Gerris; OpenFOAM; Matlab; El-Topo; Gmsh; …
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.
Referenced in: 52 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)

Fashion-MNIST

Software Authors:   Han Xiao, Kashif Rasul, Roland Vollgraf
Referenced in: 49 Publications (2018–2022)
Related Software: MNIST; Adam; CIFAR; ImageNet; TensorFlow; AlexNet; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

ks

Software Authors:   Duong T
Referenced in: 38 Publications (2009–2022)
Related Software: R; KernSmooth; pyuvdata; ggplot2; np; GitHub; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

SWI-Prolog

Software Authors:   Wielemaker, J., Schrijvers, T., Triska, M., Lager, T.
Referenced in: 47 Publications (2001–2022)
Related Software: SICStus; ProbLog; B-Prolog; XSB; Aleph; YAP-Prolog; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Manifolds and cell complexes (57-XX)

StateFlow

Software Authors:   The MathWorks, Inc.
Referenced in: 41 Publications (1989–2022)
Related Software: Simulink; Matlab; Ptolemy; Esterel; S-TaLiRo; Circus; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

AsmL

Software Authors:   Microsoft Research; Grieskamp, W.; Gurevich Y.
Referenced in: 44 Publications (2001–2021)
Related Software: ML; SpecExplorer; Korat; LPTP; XASM; z3; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

maxLik

Software Authors:   Ott Toomet, Arne Henningsen, Spencer Graves, Yves Croissant
Referenced in: 39 Publications (2011–2022)
Related Software: Maxlik; R; sn; Benchmarking; frontier; sfa; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-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)

UFO

Software Authors:   Hartman, Jan; Lukšan, Ladislav; Zítko, Jan; M Tuma; J Vlcek; N Ramešová; M Šiška
Referenced in: 43 Publications (1996–2022)
Related Software: GradSamp; L-BFGS; LDGB; DGM; Matlab; LSA; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

StFinMetrics

Software Authors:   Zivot, Eric; Wang, Jiahui
Referenced in: 41 Publications (2003–2022)
Related Software: R; astsa; S-PLUS; FinTS; Forecast; forecast; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Statistical mechanics, structure of matter (82-XX)

Ltur

Software Authors:   Minoux, M.
Referenced in: 39 Publications (1988–2020)
Related Software: Datalog; HgMUS; EL2MCS; XPath; JBool; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

PDNET

Software Authors:   Portugal, L.F.; Resende, M.G.C.; Veiga, G.; Júdice, J.J.
Referenced in: 40 Publications (1996–2019)
Related Software: DIMACS; PCx; IPM; RelaxIV; CPLEX; NETGEN; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

CONTSID

Software Authors:   Garnier, H., Gilson, M., Bastogne, T., Mensler, M.
Referenced in: 38 Publications (2003–2022)
Related Software: CAPTAIN; System Identification Toolbox; Matlab; Wiener-Hammerstein Benchmark; IPsolve; DLMF; …
Main Fields: Real functions (26-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)

TANE

Software Authors:   Huhtala, Ykä; Kärkkäinen, Juha; Porkka, Pasi; Toivonen, Hannu
Referenced in: 30 Publications (1999–2021)
Related Software: FastFDs; UCI-ml; DB2; VICKEY; Silk; KeyRanker; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Statistics (62-XX); Computer science (68-XX)

CppAD

Software Authors:   Bell, Bradley M.; Burke, James V.
Referenced in: 32 Publications (2008–2022)
Related Software: Ipopt; ADOL-C; SCIP; MINLPLib; CPLEX; TAPENADE; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Classical thermodynamics, heat transfer (80-XX)

GSA

Software Authors:   Efron, Bradley; Tibshirani, Robert
Referenced in: 33 Publications (2007–2020)
Related Software: KEGG; R; gcrma; Bioconductor; PAGE; igraph; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

RMetrics

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

vars

Software Authors:   Bernhard Pfaff, Matthieu Stigler
Referenced in: 25 Publications (2008–2022)
Related Software: R; forecast; urca; strucchange; rneos; gogarch; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Mosel

Software Authors:   Fair Isaac Corporation; Colombani Y., Heipcke S.
Referenced in: 37 Publications (2003–2021)
Related Software: XPRESS; AMPL; SCIP; GAMS; AIMMS; LINDO; …
Main Fields: General and overarching topics; collections (00-XX); Order, lattices, ordered algebraic structures (06-XX); Numerical analysis (65-XX)

DEAP

Software Authors:   Fortin, Félix-Antoine; De Rainville, François-Michel; Gardner, Marc-André; Parizeau, Marc; Gagné, Christian
Referenced in: 20 Publications (2015–2022)
Related Software: Python; Scikit; SciPy; PyTorch; NumPy; Matplotlib; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

ZQPCVX

Software Authors:   Powell, M.J.D.
Referenced in: 34 Publications (1985–2022)
Related Software: QPSchur; QPOPT; MA57; QL; CUTEst; LOQO; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

FAMT

Software Authors:   David Causeur, Chloe Friguet, Magalie Houee-Bigot, Maela Kloareg
Referenced in: 33 Publications (2009–2022)
Related Software: leapp; R; FADA; GitHub; Eigenstrat; FarmTest; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

IndependenceTests

Software Authors:   P Lafaye de Micheaux, M Bilodeau
Referenced in: 32 Publications (2009–2022)
Related Software: R; energy; copula; copula; TwoCop; GIFT; …
Main Fields: Approximations and expansions (41-XX); Functional analysis (46-XX); Probability theory and stochastic processes (60-XX)

StirMark

Software Authors:   Fabien A. P. Petitcolas, Ross J. Anderson, Markus G. Kuhn
Referenced in: 27 Publications (2001–2018)
Related Software: Tabu search; Matlab; LAME; SIPI Image Database; Checkmark
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

xPerm

Software Authors:   José M. Martín-García
Referenced in: 31 Publications (2008–2021)
Related Software: xAct; Invar; xTensor; xTras; xPert; Cadabra; …
Main Fields: Algebraic geometry (14-XX); Differential geometry (53-XX); Global analysis, analysis on manifolds (58-XX)

JUnit

Software Authors:   Cheon, Yoonsik; Leavens, Gary T.
Referenced in: 15 Publications (2002–2020)
Related Software: JML; Eiffel; ESC/Java; Korat; KeY; Spec#; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

Korat

Software Authors:   Chandrasekhar Boyapati; Sarfraz Khurshid; Darko Marinov
Referenced in: 22 Publications (2001–2021)
Related Software: Java PathFinder; Symstra; TestEra; CUTE; Rostra; JUnit; …
Main Fields: Computer science (68-XX)

laGP

Software Authors:   Robert B. Gramacy
Referenced in: 25 Publications (2014–2022)
Related Software: R; DiceKriging; tgp; DiceOptim; GPfit; mlegp; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

Semigroups

Software Authors:   Mitchell, J. D.
Referenced in: 32 Publications (2011–2022)
Related Software: GAP; OEIS; Smallsemi; Semigroupe; libsemigroups; Digraphs; …
Main Fields: Combinatorics (05-XX); General algebraic systems (08-XX); Category theory; homological algebra (18-XX)

TAUCS

Software Authors:   Sivan Toledo; Doron Chen; Vladimir Rotkin
Referenced in: 27 Publications (2002–2021)
Related Software: MUMPS; METIS; PETSc; symrcm; HSL_MA77; MA27; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

HR

Software Authors:   Colton, Simon
Referenced in: 27 Publications (2002–2022)
Related Software: GRAFFITI; OTTER; Mace4; TPTP; AutoGraphiX; GAP; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

JPAX

Software Authors:   Havelund, Klaus; Roşu, Grigore
Referenced in: 21 Publications (2002–2022)
Related Software: Maude; Bandera; Java PathFinder; veriSoft; Java-MaC; NuSMV; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MuJoCo

Software Authors:   E. Todorov, T. Erez, Y. Tassa
Referenced in: 23 Publications (2016–2022)
Related Software: OpenAI Gym; TensorFlow; Adam; PyTorch; GitHub; Python; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Operations research, mathematical programming (90-XX)

hdi

Software Authors:   Lukas Meier, Ruben Dezeure, Nicolai Meinshausen, Martin Maechler, Peter Buehlmann
Referenced in: 29 Publications (2015–2022)
Related Software: selectiveInference; covTest; R; glmnet; conformalInference; CorrT; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

ILTP

Software Authors:   Thomas Raths; Jens Otten
Referenced in: 28 Publications (2005–2021)
Related Software: TPTP; Imogen; ileanCoP; fCube; leanCoP; E Theorem Prover; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PYTHIA

Software Authors:   Houstis, Elias N.; Catlin, Ann C.; Rice, John R.; Verykios, Vassilios S.; Ramakrishnan, Naren; Houstis, Catherine E., Weerawarana, Sanjiva; Houstis, Elias N.; Rice, John R.; Joshi, Anupam; Houstis, Catherine E.
Referenced in: 28 Publications (1996–2018)
Related Software: PELLPACK; GAUSS; PYTHIA8; LAPACK; ODEXPERT; ELLPACK; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

SymbolicData

Software Authors:   Gräbe, Hans-Gert
Referenced in: 28 Publications (2004–2020)
Related Software: SINGULAR; SDeval; SageMath; Plural; Magma; Maple; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX)

testthat

Software Authors:   Hadley Wickham
Referenced in: 4 Publications (2014–2021)
Related Software: R; ggplot2; Rcpp; devtools; dplyr; microbenchmark; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

HURRY

Software Authors:   Fessler, Theodore; Ford, William F.; Smith, David A.
Referenced in: 27 Publications (1983–2014)
Related Software: Algorithm 639; DQAINF; DQAINT; QUADPACK; Maple; OPQ; …
Main Fields: Number theory (11-XX); Special functions (33-XX); Harmonic analysis on Euclidean spaces (42-XX)

SETL

Software Authors:   Schwartz, J. T.; Dewar, R. B. K.; Dubinsky, E.; Schonberg, E.
Referenced in: 27 Publications (1986–2021)
Related Software: Z; JSetL; Referee; AEtnaNova; MiniZinc; seL4; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); General algebraic systems (08-XX)

ART 3

Software Authors:   Gail A. Carpenter; Stephen Grossberg
Referenced in: 16 Publications (1992–2012)
Related Software: Fuzzy ARTMAP; UCI-ml; LVQPAK; Matplotlib; SciPy; Matlab; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

LoTREC

Software Authors:   Gasquet, Olivier; Herzig, Andreas; Longin, Dominique; Sahade, Mohamad
Referenced in: 26 Publications (2001–2021)
Related Software: PVS; MetTeL; MSPASS; TWB; Lotrecscheme; Imogen; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

BiqMac

Software Authors:   Angelika Wiegele
Referenced in: 26 Publications (2010–2022)
Related Software: Biq Mac; Rudy; SDPNAL+; DIMACS; SDPT3; SeDuMi; …
Main Fields: Combinatorics (05-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

FieldTrip

Software Authors:   R. Oostenveld, P. Fries, E. Maris, J. Schoffelen
Referenced in: 19 Publications (2012–2021)
Related Software: Matlab; Brainstorm; EEGLAB; R; Python; OpenMEEG; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

GPflow

Software Authors:   Matthews, Alexander G.De G.; van der Wilk, Mark; Nickson, Tom; Fujii, Keisuke; Boukouvalas, Alexis; León-Villagrá, Pablo; Ghahramani, Zoubin; Hensman, James
Referenced in: 20 Publications (2017–2022)
Related Software: TensorFlow; Adam; GPy; Python; GPyTorch; GPML; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

S-TaLiRo

Software Authors:   Annpureddy, Yashwanth; Liu, Che; Fainekos, Georgios; Sankaranarayanan, Sriram
Referenced in: 24 Publications (2011–2022)
Related Software: Breach; SpaceEx; Flow*; Matlab; dReach; StateFlow; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)