×

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

AUTO

Software Authors:   Doedel, Eusebius, Alan Champneys, Fabio Dercole, Thomas Fairgrieve, Yuri Kuznetsov, Bart Oldeman, Randy Paffenroth, Bjorn Sandstede, Xianjun Wang, and Chenghai Zhang
Referenced in: 951 Publications (1981–2022)
Related Software: AUTO-07P; HomCont; AUTO-86; MATCONT; XPPAUT; Matlab; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

WinBUGS

Software Authors:   David Spiegelhalter; Andrew Thomas; Nicky Best; Dave Lunn
Referenced in: 704 Publications (1999–2022)
Related Software: R; BayesDA; BUGS; JAGS; SemiPar; CODA; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

MACSYMA

Software Authors:   symbolics
Referenced in: 713 Publications (1971–2022)
Related Software: Maple; Mathematica; REDUCE; HIROTA.MAX; ATFM; Matlab; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

SPSS

Software Authors:   IBM; Norman H. Nie; C. Hadlai Hull
Referenced in: 489 Publications (1974–2022)
Related Software: SAS; R; Stata; Excel; Matlab; BMDP; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

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)

FEAPpv

Software Authors:   O.C. Zienkiewicz; R.L. Taylor
Referenced in: 534 Publications (2005–2023)
Related Software: ABAQUS; Matlab; PETSc; HYPLAS; FEAP; ISOGAT; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

BUGS

Software Authors:   D. Spiegelhalter, A. Thomas, W. Gilks
Referenced in: 349 Publications (1992–2022)
Related Software: R; WinBUGS; BayesDA; JAGS; Stan; CODA; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Mplus

Software Authors:   Mplus development team
Referenced in: 182 Publications (1998–2022)
Related Software: R; LISREL; EQS; SPSS; Latent GOLD; SAS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Datalog

Software Authors:   Ceri, S., Gottlob, G., Tanca, L
Referenced in: 280 Publications (1978–2022)
Related Software: ASSAT; Gringo; Clingo; WASP; Smodels; DLV; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

JAGS

Software Authors:   Martyn Plummer
Referenced in: 221 Publications (2005–2022)
Related Software: R; Stan; WinBUGS; CODA; BayesDA; BUGS; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

top.m

Software Authors:   Sigmund, O
Referenced in: 241 Publications (2005–2022)
Related Software: top88.m; Matlab; ESOFRAME; PolyTop; topopt_multi; DistMesh; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

itsmr

Software Authors:   George Weigt
Referenced in: 227 Publications (1996–2022)
Related Software: ITSM2000; R; astsa; longmemo; Matlab; CaterpillarSSA; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

FastICA

Software Authors:   J Hurri, H Gävert, J Särelä, A Hyvärinen
Referenced in: 163 Publications (2001–2021)
Related Software: ICALAB; R; Daisy; UCI-ml; ElemStatLearn; PRMLT; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

HYPLAS

Software Authors:   De Souza Neto EA, Perić D, Owen DRJ
Referenced in: 205 Publications (1996–2022)
Related Software: ABAQUS; FEAPpv; Matlab; AceFEM; Trilinos; CutFEM; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

FEAP

Software Authors:   Taylor; University of California, Berkeley
Referenced in: 193 Publications (1993–2022)
Related Software: PETSc; ABAQUS; FEAPpv; ParaView; Matplotlib; Gmsh; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

UNITY

Software Authors:   K. Mani Chandy; Jayadev Misra
Referenced in: 173 Publications (1988–2021)
Related Software: NQTHM; PVS; HOL; SPIN; LARCH; Rodin; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Pajek

Software Authors:   Batagelj, Vladimir; Mrvar, Andrej
Referenced in: 135 Publications (2002–2022)
Related Software: Pajek datasets; SparseMatrix; statnet; R; DIMACS; igraph; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SERBA

Software Authors:   Paris, F.; Alarcon, E.
Referenced in: 156 Publications (1980–2020)
Related Software: BEAN; Regularization tools; UTV; NAG; BEMLIB; REPSN; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

UTA Plus

Software Authors:   Jacquet-Lagrèze E., Siskos J.
Referenced in: 149 Publications (1982–2022)
Related Software: VisualUTA; M-MACBETH; ELECTRE; VIP Analysis; PRIME Decisions; ComPAIRS; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

ESC/Java

Software Authors:   Greg Nelson
Referenced in: 118 Publications (2001–2021)
Related Software: Spec#; SIMPLIFY; JML; Boogie; KRAKATOA; Eiffel; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

Bandera

Software Authors:   Hatcliff, John; Dwyer, Matthew
Referenced in: 104 Publications (2000–2018)
Related Software: SPIN; Java PathFinder; veriSoft; SLAM; Bebop; dSPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

SYMMGRP

Software Authors:   Hereman, Willy; B. Champagne; P. Winternitz
Referenced in: 120 Publications (1993–2022)
Related Software: Maple; SYMMGRP.MAX; LIE; diffgrob2; DIMSYM; Mathematica; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

CMPGRD

Software Authors:   Chesshire, G.; Henshaw, W.D.
Referenced in: 118 Publications (1990–2022)
Related Software: Ogen; OVERFLOW; Overture; PETSc; SUGGAR++; HLLE; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

STABLE

Software Authors:   Nolan, John P.
Referenced in: 110 Publications (1997–2021)
Related Software: SYMSTB; R; Matlab; LSD; GSL; stabledist; …
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

GeM

Software Authors:   Alexei F. Cheviakov
Referenced in: 101 Publications (1990–2022)
Related Software: Maple; CRACK; LIEPDE; ConLaw; SYMMGRP; SADE; …
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

boa

Software Authors:   Brian J. Smith
Referenced in: 87 Publications (2000–2022)
Related Software: R; WinBUGS; CODA; Gibbsit; R2WinBUGS; BUGS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Geophysics (86-XX)

Casper

Software Authors:   Gavin Lowe / Oxford University Computing Laborator
Referenced in: 83 Publications (1999–2018)
Related Software: AVISPA; TAPS; OFMC; FDR2; NRL; Chaff; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Latent GOLD

Software Authors:   Vermunt, J.K.; Magidson, J; Statistical Innovations Inc.,
Referenced in: 83 Publications (2002–2022)
Related Software: Mplus; R; mclust; BayesDA; flexmix; poLCA; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

fastDNAml

Software Authors:   Olsen, G. J., Matsuda, H., Hagstrom, R., Overbeek, R; Felsenstein
Referenced in: 87 Publications (1987–2022)
Related Software: PHYLIP; MrBayes; Seq-Gen; BEAST; RAxML; BIONJ; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

VMD

Software Authors:   Andrew Dalke, William Humphrey, Klaus Schulten
Referenced in: 75 Publications (1999–2023)
Related Software: NAMD; Gromacs; CHARMM; PyMOL; RasMol; APBS; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

OTIS

Software Authors:   Paris, S.W.; Hargraves, C.R; NASA Glenn Research Center
Referenced in: 85 Publications (1987–2020)
Related Software: SOCS; SNOPT; NPSOL; Ipopt; DIDO; GPOPS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)

LIE

Software Authors:   Head, A.K.
Referenced in: 82 Publications (1993–2022)
Related Software: DIMSYM; SYMMGRP; REDUCE; SYM; Mathematica; SYMMGRP.MAX; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Global analysis, analysis on manifolds (58-XX)

NAMD

Software Authors:   James Phillips
Referenced in: 64 Publications (1999–2019)
Related Software: Gromacs; CHARMM; VMD; AMBER; CUDA; LAMMPS; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

LIMDEP

Software Authors:   Econometric Software, Inc
Referenced in: 69 Publications (1984–2020)
Related Software: Stata; R; Excel; SAS; GAUSS; SHAZAM; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-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)

BEAN

Software Authors:   Sutradhar, Alok; Paulino, Glaucio H.; Gray, Leonard J.
Referenced in: 75 Publications (2004–2022)
Related Software: SERBA; XFEM; ABAQUS; Mfree2D; Algorithm 368; Maple; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

COPASI

Software Authors:   S. Hoops, S. Sahle, R. Gauges, C. Lee, J. Pahle, N. Simus, M. Singhal, L. Xu, P. Mendes, U. Kummer
Referenced in: 58 Publications (2008–2022)
Related Software: BioModels; R; BioNetGen; KEGG; SUNDIALS; Python; …
Main Fields: Ordinary differential equations (34-XX); Statistics (62-XX); Computer science (68-XX)

Mercury

Software Authors:   mercurylang.org
Referenced in: 70 Publications (1994–2022)
Related Software: ECCE; DPPD; SICStus; CiaoPP; Ciao; Haskell; …
Main Fields: General and overarching topics; collections (00-XX); Category theory; homological algebra (18-XX); Statistics (62-XX)

XFOIL

Software Authors:   Mark Drela; Harold Youngren
Referenced in: 64 Publications (1997–2022)
Related Software: EGO; GAToolBox; Spalart-Allmaras; Gmsh; ParaView; Matlab; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

CaterpillarSSA

Software Authors:   Golyandina, N.N.; Nekrutkin, V.V.; Zhigljavsky, A.A.
Referenced in: 60 Publications (2001–2021)
Related Software: R; Rssa; itsmr; Forecast; forecast; zoo; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

LOCBIF

Software Authors:   Khibnik, Alexander I.; Kuznetsov, Yuri A.; Levitin, Victor V.; Nikolaev, Eugene V.
Referenced in: 65 Publications (1992–2019)
Related Software: AUTO; DSTool; AUTO-86; HomCont; PITCON; MATCONT; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-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)

BILOG

Software Authors:   Zimowski, M.F., Muraki, E., Mislevy, R.J., Bock, R.D
Referenced in: 50 Publications (1986–2020)
Related Software: R; PARSCALE; Mplus; ltm; TESTFACT; MULTILOG; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Statistical mechanics, structure of matter (82-XX)

DISCOVERER

Software Authors:   Xia B
Referenced in: 57 Publications (1999–2022)
Related Software: QEPCAD; Maple; REDLOG; Sostools; YALMIP; ISOLATE; …
Main Fields: Commutative algebra (13-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

GreatSPN

Software Authors:   Babar, Junaid; Beccuti, Marco; Donatelli, Susanna; Miner, Andrew
Referenced in: 51 Publications (1988–2021)
Related Software: GreatSPN 1.7; TimeNET; CADP; SPNP; PEPA; PRISM; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

PAUP*

Software Authors:   David Swofford
Referenced in: 49 Publications (1987–2021)
Related Software: PHYLIP; RAxML; MrBayes; ClustalW; PAML; fastDNAml; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

CPAchecker

Software Authors:   Dirk Beyer, Stefan Löwe, Philipp Wendler
Referenced in: 38 Publications (2011–2021)
Related Software: BLAST; SLAM; z3; CBMC; UFO; SatAbs; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

libMC

Software Authors:   Chachuat, B
Referenced 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)

BEAM189

Software Authors:   Wang, Changguo; Tan, Huifeng; Du, Xingwen
Referenced in: 51 Publications (2003–2022)
Related Software: ABAQUS; ANSYS; Meschach; WebPlotDigitizer; DualSPHysics; Chrono; …
Main Fields: Approximations and expansions (41-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)

ACRITH-XSC

Software Authors:   Walter, Wolfgang V.
Referenced in: 48 Publications (1985–2019)
Related Software: C-XSC; C-XSC 2.0; PASCAL-XSC; INTLIB; INTLAB; FORTRAN-SC; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

CeTA

Software Authors:   Thiemann, René; Sternagel, Christian
Referenced in: 45 Publications (2009–2021)
Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; CoLoR; AProVE; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Commutative algebra (13-XX)

CiaoPP

Software Authors:   Hermenegildo M. V., Bueno F., Puebla G., Lopez P.
Referenced in: 47 Publications (1999–2022)
Related Software: Ciao; SICStus; Mercury; z3; RAHFT; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

K Prover

Software Authors:   Roşu, Grigore et.al
Referenced in: 46 Publications (2007–2022)
Related Software: Maude; K tool; z3; JavaFAN; MMT; PLT Redex; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

RAxML

Software Authors:   Stamatakis, Alexandros; Ludwig, Thomas; Meier, Harald
Referenced in: 30 Publications (2004–2022)
Related Software: MrBayes; BEAST; PAUP*; fastDNAml; R; ASTRAL-II; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

Timbuk

Software Authors:   Thomas Genet; Yohan Boichut; Benoît Boyer; Valérie Viet Triem Tong; ..
Referenced in: 47 Publications (2001–2020)
Related Software: Maude; AVISPA; Isabelle; ELAN; Isabelle/HOL; OCaml; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)

STP

Software Authors:   Vijay Ganesh; Trevor Hansen; Mate Soos; Dan Liew; Ryan Govostes; Andrew V. Jones; et al.
Referenced 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)

HLM

Software Authors:   SSI, Scientific Software International, Inc.,
Referenced in: 22 Publications (2002–2016)
Related Software: MLwiN; R; Stata; WinBUGS; SPSS; Mplus; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Daikon

Software Authors:   Ernst, Michael D.; Perkins, Jeff H.; Guo, Philip J.; McCamant, Stephen; Pacheco, Carlos; Tschantz, Matthew S.; Xiao, Chen
Referenced in: 34 Publications (2005–2022)
Related Software: JML; Eiffel; z3; Houdini; Z; JCrasher; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

TIDES

Software Authors:   A. Abad, R Barrio, F. Blesa, M. Rodriguez
Referenced in: 42 Publications (2009–2022)
Related Software: Taylor; ATOMFT; RODES; Mathematica; Cosy; DAETS; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-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)

PESTO

Software Authors:   Taylor, Adrien B.; Hendrickx, Julien M.; Glineur, F.
Referenced in: 40 Publications (2016–2022)
Related Software: YALMIP; CVX; SeDuMi; UNLocBoX; Mosek; Wasserstein GAN; …
Main Fields: Operator theory (47-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Mixmod

Software Authors:   Biernacki, Christophe; Celeux, Gilles; Govaert, Gérard; Langrognet, Florent
Referenced in: 37 Publications (2006–2022)
Related Software: mclust; R; PGMM; UCI-ml; Rmixmod; PRMLT; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Biology and other natural sciences (92-XX)

Modulef

Software Authors:   Bernadou, M.; Hassim, A.; Laug, P.; Steer, D.; Vidrascu, M.; Saltel, E.
Referenced in: 39 Publications (1985–2018)
Related Software: petsc4py; COFFEE; TSFC; Firedrake; Algorithm 884; UFL; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

CAPTAIN

Software Authors:   Peter Young
Referenced in: 36 Publications (2006–2022)
Related Software: CONTSID; Matlab; System Identification Toolbox; STAMP; ECOTOOL; SSpace; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)

CIL

Software Authors:   Necula, G.C., McPeak, S., Rahul, S.P., Weimer, W.
Referenced in: 30 Publications (2002–2022)
Related Software: BLAST; CBMC; SLAM; CUTE; veriSoft; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Chimera

Software Authors:   Pettersen EF, Goddard TD, Huang CC, Couch GS, Greenblatt DM, Meng EC, Ferrin TE
Referenced in: 29 Publications (2006–2023)
Related Software: BLAST; PSI-BLAST; VMD; PyMOL; AutoDock; Gromacs; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

FIDAP

Software Authors:   Engelman, Michael S.
Referenced in: 37 Publications (1982–2009)
Related Software: SPARSKIT; ITSOL; ILUS; ILUT; FLAC; NACHOS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

XGobi

Software Authors:   Swayne DF, Cook D, Buja A
Referenced in: 27 Publications (1995–2020)
Related Software: R; GGobi; MANET; ggplot2; Mondrian; iplots; …
Main Fields: Convex and discrete geometry (52-XX); Statistics (62-XX); Numerical analysis (65-XX)

NONMEM

Software Authors:   Beal, S.L.; Sheiner, L.B.
Referenced in: 34 Publications (1996–2021)
Related Software: R; S-PLUS; SAS; MEMSS; Stan; lme4; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Pex

Software Authors:   Nikolai Tillmann, Jonathan de Halleux
Referenced in: 25 Publications (2009–2021)
Related Software: DART; CUTE; z3; STP; KLEE; Java PathFinder; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)

OVITO

Software Authors:   Alexander Stukowski
Referenced in: 32 Publications (2012–2022)
Related Software: Scikit; LAMMPS; VMD; Python; CHARMM; Adam; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

Multilinear Engine

Software Authors:   Pentti Paatero
Referenced in: 33 Publications (2002–2022)
Related Software: TensorToolbox; Matlab; N-way Toolbox; Tensorlab; NMFLAB; PRMLT; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)

MULTIMIX

Software Authors:   Hunt, Lynette; Jorgensen, Murray
Referenced in: 32 Publications (1999–2019)
Related Software: R; mclust; UCI-ml; flexmix; Rmixmod; clustMD; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

PANDA

Software Authors:   Bushnell, David
Referenced in: 32 Publications (1983–2010)
Related Software: BOSOR5; VICONOPT; CONMIN; ABAQUS; TRIC; FASOR; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

SMS

Software Authors:   Korelc, Jože
Referenced in: 33 Publications (1997–2022)
Related Software: Mathematica; AceGen; AceFEM; FINGER; Matlab; ABAQUS; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

JavaFAN

Software Authors:   Farzan, Azadeh; Chen, Feng; Meseguer, José; Roşu, Grigore
Referenced in: 30 Publications (2004–2018)
Related Software: Maude; K Prover; MMT; Java+ITP; ACL2; CafeOBJ; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

SplitsTree

Software Authors:   Huson, D.H.
Referenced in: 29 Publications (1996–2021)
Related Software: PHYLIP; ClustalW; fastDNAml; BIONJ; PAUP*; MrBayes; …
Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); General topology (54-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)

ODESSA

Software Authors:   J. R. Leis and M. A. Kramer
Referenced in: 29 Publications (1988–2021)
Related Software: AUTO-86; CVODES; LSODE; AUTO; DASSL; SUNDIALS; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

PhyloNetwork

Software Authors:   Gabriel Cardona, Francesc Rosselló, Gabriel Valiente
Referenced in: 24 Publications (2010–2022)
Related Software: bioperl; NetDiversity; PERL; PADRE; TOPD/FMTS; ClusterMetric; …
Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

REVEAL

Software Authors:   Liang, S., Fuhrman, S., Somogyi, R
Referenced in: 22 Publications (2003–2022)
Related Software: KEGG; R; BoolNet; E-CELL; GEPASI; Macaulay2; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

TC-HAT

Software Authors:   Thota, P., Dankowicz, H.
Referenced in: 29 Publications (2008–2022)
Related Software: SlideCont; COCO; AUTO; HomCont; MATCONT; DDE-BIFTOOL; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

SAP2000

Software Authors:   Computers and Structures, Inc.
Referenced in: 24 Publications (2003–2022)
Related Software: Matlab; OpenSees; Python; ABAQUS; VTK; DYANAS; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

MIXOR

Software Authors:   Donald Hedeker; Robert D. Gibbons
Referenced in: 23 Publications (2000–2021)
Related Software: Stata; MLwiN; SAS/STAT; R; MIXNO; S-PLUS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Biology and other natural sciences (92-XX)

FASTA

Software Authors:   William R. Pearson
Referenced in: 17 Publications (1992–2022)
Related Software: BLAST; PSI-BLAST; ClustalW; T-coffee; CLUSTAL; SMART; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

MARK

Software Authors:   White GC, Burnham KP
Referenced in: 22 Publications (2002–2022)
Related Software: Program MARK; R; RMark; JAGS; CODA; M-SURGE; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)

COSTA

Software Authors:   Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
Referenced in: 22 Publications (1992–2020)
Related Software: SPEED; AProVE; Refal; Featherweight Java; PPL; JCobox; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Partial differential equations (35-XX)

FLagSHyP

Software Authors:   Bonet, Javier; Gil, Antonio J.; Wood, Richard D.
Referenced in: 24 Publications (2016–2022)
Related Software: Gmsh; HYPLAS; ABAQUS; Matlab; PRMLT; PMTK; …
Main Fields: Differential geometry (53-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-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)

OpenAD/F

Software Authors:   Utke, Jean; Naumann, Uwe; Fagan, Mike; Tallent, Nathan; Strout, Michelle Mills; Heimbach, Patrick; Hill, Chris; Wunsch, Carl
Referenced in: 23 Publications (2007–2022)
Related Software: TAPENADE; ADIFOR; ADOL-C; revolve; ADIC; TAF; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

SENKIN

Software Authors:   Lutz, A.E.; Kee, R.J.; Miller, J.A.
Referenced in: 24 Publications (1997–2019)
Related Software: CHEMKIN; TRANSPORT; VODE; GRI-Mech 3.0; PREMIX; KIVA-4; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

AVATAR

Software Authors:   Voronkov, A.
Referenced in: 22 Publications (2014–2021)
Related Software: VAMPIRE; TPTP; SPASS; Isabelle/HOL; z3; E Theorem Prover; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Metatool

Software Authors:   von Kamp A, Schuster S
Referenced in: 22 Publications (2007–2019)
Related Software: efmtool; KEGG; YANA; BioModels; EFMEvolver; FFCA; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MOPS

Software Authors:   Chen, H., Wagner, D.
Referenced in: 15 Publications (2003–2019)
Related Software: SLAM; BLAST; SPIN; Bebop; CIL; SIMPLIFY; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

HAMPI

Software Authors:   Ganesh, V., Kieżun, A., Artzi, S., Guo, P.J., Hooimeijer, P., Ernst, M
Referenced in: 19 Publications (2012–2021)
Related Software: Stranger; z3; Norn; S3; Z3str3; CVC4; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

NoMoRe

Software Authors:   Anger, Christian; Konczak, Kathrin; Linke, Thomas
Referenced in: 22 Publications (2001–2012)
Related Software: ASSAT; Cmodels; Smodels; Lparse; Datalog; Gringo; …
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Computer science (68-XX)

SLAyer

Software Authors:   Josh Berdine; Byron Cook; Samin Ishtiaq
Referenced in: 19 Publications (2012–2022)
Related Software: VeriFast; Smallfoot; Coq; z3; Cyclist; HIP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

DEAP

Software Authors:   Coelli, T
Referenced in: 20 Publications (1998–2020)
Related Software: DEA; Benchmarking; sfa; Excel; Matlab; INDEX; …
Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

OASIS

Software Authors:   Kuchumov, Alexei; Rybin, Sergey; Strohmeier, Alfred
Referenced in: 21 Publications (1990–2009)
Related Software: ADML; C4.5; Oracle; Schittkowski; ANSYS
Main Fields: Number theory (11-XX); Numerical analysis (65-XX); Computer science (68-XX)

PAG

Software Authors:   Martin, Florian
Referenced in: 20 Publications (1996–2018)
Related Software: NINJA; CiaoPP; Ciao; Aspic; Coq; JTransformer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)