×

Found 33 Software Packages (Results 1–33)

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)

LMFDB

Software Authors:   http://www.lmfdb.org/acknowledgment
Referenced in: 194 Publications (2014–2023)
Related Software: Magma; SageMath; PARI/GP; GitHub; ecdata; endomorphisms; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Special functions (33-XX)

Dynamics

Software Authors:   Nusse, Helena E.; Yorke, James A.
Referenced in: 182 Publications (1994–2022)
Related Software: AUTO; HomCont; Mathematica; DSTool; DMC; TISEAN; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Mechanics of particles and systems (70-XX)

NQTHM

Software Authors:   Boyer, Robert S.; Moore, J. Strother
Referenced in: 139 Publications (1979–2021)
Related Software: HOL; ACL2; PVS; Coq; ML; Nuprl; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Sinc-Pack

Software Authors:   Stenger, Frank
Referenced in: 77 Publications (1997–2022)
Related Software: Matlab; FFTW; Chebfun; Mathematica; Differentiation Matrix Suite; ODE-IVP-PACK; …
Main Fields: Partial differential equations (35-XX); Approximations and expansions (41-XX); Harmonic analysis on Euclidean spaces (42-XX)

HSAUR

Software Authors:   Brian S. Everitt; Torsten Hothorn
Referenced in: 24 Publications (2006–2022)
Related Software: R; HSAUR2; CRAN; movMF; Stata; bootstrap; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

EDA

Software Authors:   Martinez, Wendy L.; Martinez, Angel R.; Solka, Jeffrey L.
Referenced in: 20 Publications (2005–2021)
Related Software: Matlab; smacof; k-means++; PRMLT; SVM; SHOGUN; …
Main Fields: General and overarching topics; collections (00-XX); Number theory (11-XX); Statistics (62-XX)

PrecoSAT

Software Authors:   Biere, A
Referenced in: 21 Publications (2010–2021)
Related Software: Plingeling; MiniSat; Lingeling; Chaff; CryptoMiniSat; Glucose; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Classical thermodynamics, heat transfer (80-XX)

SPACAR

Software Authors:   J. B. Jonker; J. P. Meijaard; Van Soest, A. J.; Schwab, A. L.; Bobbert, M. F.; Van Ingen Schenau, G. J.
Referenced in: 16 Publications (1991–2021)
Related Software: Simulink; AnyBody; BCCG+FAI; MBSymba; CONTACT; DASSL; …
Main Fields: Ordinary differential equations (34-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX)

chemCal

Software Authors:   Johannes Ranke
Referenced in: 12 Publications (1988–2017)
Related Software: bootstrap; rms; Matlab; Ellipsoidal Toolbox; HSL; MySQL; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

SYSTAT

Software Authors:   Urban, Dieter; Becker-Richter, Marion; Bruns, Thomas; Herzog, Rolf; Neuhaus, Heinz-Werner
Referenced in: 12 Publications (1992–2017)
Related Software: SPSS; SAS; Stata; R; STATISTICA; EQS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Verilog

Software Authors:   Sutherland, Stuart
Referenced in: 10 Publications (1999–2020)
Related Software: VPI; Kami; Archive Formal Proofs; GitHub; UTPCalc; Circus; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Finsler

Software Authors:   Nabil L. Youssef; S. G. Elgendi
Referenced in: 9 Publications (2001–2021)
Related Software: Maple; NF; FINSLER; Redten
Main Fields: Differential geometry (53-XX); Global analysis, analysis on manifolds (58-XX); Computer science (68-XX)

HSAUR2

Software Authors:   Brian S. Everitt;Torsten Hothorn
Referenced in: 8 Publications (2010–2021)
Related Software: HSAUR; R; movMF; bootstrap; Bessel; slam; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

IPACS

Software Authors:   Wheeler, Mary F.; Wick, Thomas; Lee, Sanghyun
Referenced in: 9 Publications (2020–2022)
Related Software: deal.ii; Trilinos; ParaView; pfm-cracks; HPX; NLMech; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

CFSF

Software Authors:   Franky Backeljauw; Annie Cuyt
Referenced in: 7 Publications (2005–2017)
Related Software: DLMF; Maple; Algorithm 524; Algorithm 786; MPFR; mpcheck; …
Main Fields: Number theory (11-XX); Special functions (33-XX); Sequences, series, summability (40-XX)

Authorware Attain

Software Authors:   Macromedia
Referenced in: 2 Publications (1999–2000)
Related Software: CmapTools
Main Fields: Computer science (68-XX)

LpcM-Win

Software Authors:   Fischer, G.H., Ponocny-Seliger, E.
Referenced in: 4 Publications (2002–2005)
Related Software: PANMARK; Latent GOLD; WINSTEPS; LLTM
Main Fields: Statistics (62-XX)

polyCub

Software Authors:   Sebastian Meyer; Michael Hoehle
Referenced in: 3 Publications (2014–2017)
Related Software: animation; R; Surveillance; knitr; memoise; scales; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

Vehicle sketch pad

Software Authors:   Hahn AS
Referenced in: 4 Publications (2016–2022)
Related Software: SU2; GeoMACH; PythonOCC; GitHub; CPACS; TiGL; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

HoRM

Software Authors:   Derek S. Young
Referenced in: 2 Publications (2017–2022)
Related Software: pbapply; spam; numDeriv; mcmcse; Matrix; LaplacesDemon; …
Main Fields: Statistics (62-XX)

Entrez

Software Authors:   Jim Ostell
Referenced in: 0 Publications
Related Software: rentrez; phylotaR; GenBank; supersmartR; R; restez
Main Fields:

FOL_Harrison

Software Authors:   Alexander Birch Jensen, Anders Schlichtkrull, Jørgen Villadsen
Referenced in: 2 Publications (2018)
Related Software: Verified Prover; Archive Formal Proofs; FOL Fitting; Superposition Calculus; Completeness theorem; GitHub; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

HSAUR3

Software Authors:   Brian S. Everitt; Torsten Hothorn
Referenced in: 2 Publications (2014–2021)
Related Software: R; lme4; mvtnorm; tinytex; haven; riskyr; …
Main Fields: Statistics (62-XX)

MAGERIT

Software Authors:   –
Referenced in: 1 Publication (2013)
Related Software: OCTAVE; STORM-RM; CRAMM; S-PORT
Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Ordered_Resolution_Prover

Software Authors:   Anders Schlichtkrull; Jasmin Christian Blanchette; Dmitriy Traytel; Uwe Waldmann
Referenced in: 2 Publications (2001–2020)
Related Software: Robinson arithmetic; Saturation_Framework; Nested Multisets; AVATAR; Logtk; Archive Formal Proofs; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

irrCAC

Software Authors:   Kilem L. Gwet
Referenced in: 0 Publications
Related Software: kripp.boot; pbapply; R; krippendorffsalpha
Main Fields:

MathCW

Software Authors:   Beebe, Nelson H. F.
Referenced in: 1 Publication (2017)
Related Software: mpcheck; Algorithm 272; LLRANDOM; Algorithm 304; Algorithm 542; Algorithm 236; …
Main Fields: Numerical analysis (65-XX)

metaeff

Software Authors:   Kontopantelis, E., D. Reeves
Referenced in: 0 Publications
Related Software: SAS; metan; MetaEasy; RevMan; R; meta; …
Main Fields:

MONK

Software Authors:   M.J. Armishaw; A.J. Cooper
Referenced in: 1 Publication (2017)
Related Software: ARPACK; HSL
Main Fields: Numerical analysis (65-XX); Statistical mechanics, structure of matter (82-XX)

VARMA-modeling

Software Authors:   Scherrer, Wolfgang; Deistler, Manfred
Referenced in: 1 Publication (2019)
Related Software: R
Main Fields: Statistics (62-XX)

cleanr

Software Authors:   Andreas Dominik Cullmann
Referenced in: 0 Publications
Related Software:
Main Fields: