×

Found 206 Software Packages (Results 1–100)

SparseMatrix

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

SETHEO

Software Authors:   Letz, R.; Schumann, J.; Bayerl, S.; Bibel, W.
Referenced in: 114 Publications (1990–2021)
Related Software: TPTP; OTTER; SPASS; E-SETHEO; SATCHMO; VAMPIRE; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

BABEL

Software Authors:   Mario Rodriguez-Artalejo
Referenced in: 69 Publications (1988–2013)
Related Software: Kernel-LEAF; TOY; Curry; ECCE; PAKCS; Miranda; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

BKZ

Software Authors:   Chen, Yuanmi; Nguyen, Phong Q.
Referenced in: 66 Publications (2011–2022)
Related Software: NTRU; NTL; GitHub; fpLLL; BLISS; SageMath; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Computer science (68-XX)

benchmodred

Software Authors:   Chahlaoui, Younes; Van Dooren, Paul
Referenced in: 66 Publications (2003–2022)
Related Software: Loewner; LYAPACK; mctoolbox; Algorithm 432; AAA; RKToolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Approximations and expansions (41-XX); Calculus of variations and optimal control; optimization (49-XX)

LYAPACK

Software Authors:   Thilo Penzl
Referenced in: 66 Publications (1998–2022)
Related Software: Algorithm 432; Matlab; benchmodred; SparseMatrix; SLICOT; mctoolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Loewner

Software Authors:   Antoulas, A.C.
Referenced in: 59 Publications (2013–2022)
Related Software: redbKIT; benchmodred; AAA; RKToolbox; rbMIT; HODMD; …
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Approximations and expansions (41-XX)

PAT

Software Authors:   Jun Sun, Yang Liu , Jin Song Dong , Jun Pang
Referenced in: 32 Publications (2011–2022)
Related Software: Uppaal; SPIN; ProB; Coq; PVS; NuSMV; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

ABS

Software Authors:   Johnsen, E.B., Hähnle, R., Schäfer, J., Schlatte, R., Steffen, M.
Referenced in: 29 Publications (2012–2022)
Related Software: JCobox; SACO; Erlang; Creol; COSTABS; SPEED; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

dSPIN

Software Authors:   Demartini, C., Iosif, R., Sisto, R.
Referenced in: 22 Publications (2000–2014)
Related Software: SPIN; Bandera; Java PathFinder; veriSoft; Bogor; Bebop; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

SINDy

Software Authors:   Loiseau, Jean-Christophe; Brunton, Steven L.
Referenced in: 31 Publications (2017–2022)
Related Software: redbKIT; Nek5000; PDE-Net; VAMPnets; Adam; Loewner; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)

ValEncIA-IVP

Software Authors:   Andreas Rauh; Eberhard P. Hofer; Ekaterina Auer
Referenced in: 30 Publications (2008–2022)
Related Software: ValEncIA; Cosy; FADBAD++; SmartMobile; VNODE; PROFIL/BIAS; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

BIONJ

Software Authors:   Hoa Sien Cuong; Olivier Gascuel; Vincent Lefort
Referenced in: 29 Publications (1999–2019)
Related Software: PHYLIP; fastDNAml; MrBayes; Seq-Gen; MUSCLE; PAUP*; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

CC-Pi

Software Authors:   Maria Grazia Buscemi, Ugo Montanari
Referenced in: 28 Publications (2007–2022)
Related Software: COWS; Isabelle/HOL; Nominal Isabelle; Scribble; PiDuce; Psi-calculi; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

MESS

Software Authors:   Saak, J., Mena, H., Benner, P.
Referenced in: 30 Publications (2012–2022)
Related Software: Matlab; RADI; MORLAB; LYAPACK; sssMOR; benchmodred; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

OFMC

Software Authors:   Sebastian Mödersheim, Luca Viganò
Referenced in: 25 Publications (2005–2021)
Related Software: AVISPA; NRL; Casper; Maude; ProVerif; Maude-NPA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

SAMURAI

Software Authors:   Mastrolia, P.; Ossola, G.; Reiter, T.; Tramontano, F.
Referenced in: 28 Publications (2010–2020)
Related Software: CutTools; BlackHat; HELAC-1LOOP; GoSam; Golem95; NGluon; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

GoSam

Software Authors:   G Cullen; N Greiner; G Heinrich; G Luisoni; P Mastrolia; G Ossola; T Reiter; F Tramontano
Referenced in: 27 Publications (2012–2020)
Related Software: CutTools; HELAC-1LOOP; BlackHat; SAMURAI; FeynArts; SHERPA; …
Main Fields: Topological groups, Lie groups (22-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)

LoLA

Software Authors:   Schmidt, Karsten; Wolf, K.
Referenced in: 25 Publications (2000–2021)
Related Software: Maria; SPIN; BPEL2PN; Meddly; Uppaal; Anteater; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

VAMPnets

Software Authors:   Andreas Mardt, Luca Pasquali, Hao Wu, Frank Noé
Referenced in: 22 Publications (2019–2022)
Related Software: PDE-Net; torchdiffeq; TensorFlow; SINDy; GAIO; PRMLT; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Operator theory (47-XX); Numerical analysis (65-XX)

LTSmin

Software Authors:   Alfons Laarman; Jaco van de Pol; Michael Weber; Stefan Blom
Referenced in: 18 Publications (2011–2022)
Related Software: DiVinE; Uppaal; SPIN; CADP; NuSMV; mCRL2; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

MGRIT

Software Authors:   Dobrev, V. A.; Kolev, Tz.; Petersson, N. A.; Schroder, J. B.
Referenced in: 21 Publications (2017–2022)
Related Software: XBraid; pyParareal; PARAEXP; PARALAAOMPI; RODAS; CHeart; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

pyMOR

Software Authors:   Rene Milk, Stephan Rave, Felix Schindler
Referenced in: 20 Publications (2015–2022)
Related Software: redbKIT; DUNE; libMesh; hapod; FEniCS; deal.ii; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

SymmSpin

Software Authors:   Bošnački, Dragan Author Profile; Dams, Dennis; Holenderski, Leszek
Referenced in: 15 Publications (2000–2010)
Related Software: SPIN; TopSpin; Bogor; Uppaal; dSPIN; Bandera; …
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX)

BLAD

Software Authors:   Boulier, François
Referenced in: 20 Publications (2007–2022)
Related Software: Maple; DAISY; DIFFALG; RegularChains; Epsilon; SIAN; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Computer science (68-XX)

HDclassif

Software Authors:   Laurent Bergé, Charles Bouveyron, Stéphane Girard
Referenced in: 13 Publications (2014–2022)
Related Software: R; mclust; PGMM; CRAN Task Views; flexmix; mixture; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

ValEncIA

Software Authors:   Rauh, A. ;Hofer, E.P.; Auer, E.
Referenced in: 19 Publications (2008–2020)
Related Software: ValEncIA-IVP; Cosy; FADBAD++; PROFIL/BIAS; SmartMobile; INTLAB; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

emgr

Software Authors:   Christian Himpe
Referenced in: 12 Publications (2013–2022)
Related Software: Matlab; Octave; hapod; MATLAB ODE suite; MathEnergy; morgen; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)

QUAD

Software Authors:   Berbain, Côme; Gilbert, Henri; Patarin, Jacques
Referenced in: 15 Publications (2006–2020)
Related Software: McEliece; eSTREAM; ZHFE; CUDA; SNOW; Scream; …
Main Fields: Number theory (11-XX); Computer science (68-XX); Quantum theory (81-XX)

CAESAR_SOLVE

Software Authors:   Radu Mateescu
Referenced in: 10 Publications (2006–2015)
Related Software: CADP; SPIN; Exp.Open; E-LOTOS; NuSMV; CMC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

edrGraphicalTools

Software Authors:   Raphaël Coudret, Benoît Liquet and Jérôme Saracco
Referenced in: 13 Publications (2012–2022)
Related Software: R; RSIR; LDR; SISIR; ElemStatLearn; glmnet; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Geophysics (86-XX)

Lord-Wingersky

Software Authors:   Huang, Sijia; Cai, Li
Referenced in: 13 Publications (1998–2021)
Related Software: flexMIRT; BayesDA; PROsetta; lordif; equate; mirt; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

MIN3P

Software Authors:   Mayer, K.Ulrich; Macquarrie, Kerry T.B.
Referenced in: 13 Publications (2010–2021)
Related Software: MoMaS; HYTEC; HYDROGEOCHEM; PhreeqcRM; PHREEQC; SPECY; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Classical thermodynamics, heat transfer (80-XX)

TopSpin

Software Authors:   Alastair Donaldson; Alice Miller
Referenced in: 11 Publications (2007–2022)
Related Software: SPIN; SymmSpin; GAP; Uppaal; nauty; Spin-to-Grape; …
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX)

BEAMR

Software Authors:   Church, Richard L.
Referenced in: 12 Publications (2008–2020)
Related Software: OR-Library; TSPLIB; SSCFLPsolver; GitHub; MENU-OKF; MOD-DIST; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

GKLEE

Software Authors:   Li, G., Li, P., Sawaya, G., Gopalakrishnan, G., Ghosh, I., Rajan, S.P.
Referenced in: 9 Publications (2013–2022)
Related Software: GPUVerify; CUDA; OpenCL; GRace; Coq; Boogie; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PABTEC

Software Authors:   Tatjana Stykel, Andreas Steinbrecher, Hatim Aziz Salih
Referenced in: 11 Publications (2011–2017)
Related Software: Matlab; STCSSP; mctoolbox; PMTBR; toms/782; RRQR; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

SeaSign

Software Authors:   De Feo, Luca; Galbraith, Steven D.
Referenced in: 12 Publications (2019–2022)
Related Software: GitHub; SageMath; Magma; fpylll; gmp; NAXOS; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX)

ALBERT

Software Authors:   Zhenzhong Lan, Mingda Chen, Sebastian Goodman, Kevin Gimpel, Piyush Sharma, Radu Soricut
Referenced in: 5 Publications (2021–2022)
Related Software: BERT; RoBERTa; XLNet; Transformers; SQuAD; GLUE; …
Main Fields: Computer science (68-XX)

DiVer

Software Authors:   Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav
Referenced in: 9 Publications (2005–2010)
Related Software: Chaff; SatAbs; CBMC; Bebop; SPIN; FocusCheck; …
Main Fields: Measure and integration (28-XX); Dynamical systems and ergodic theory (37-XX); Statistics (62-XX)

FMS

Software Authors:   Lerman, Gilad; Maunu, Tyler
Referenced in: 10 Publications (2014–2021)
Related Software: robustbase; MADMM; GradSamp; SPGL1; TRLan; ElemStatLearn; …
Main Fields: Global analysis, analysis on manifolds (58-XX); Statistics (62-XX); Numerical analysis (65-XX)

QDPA

Software Authors:   Rommes, Joost; Martins, Nelson
Referenced in: 10 Publications (2008–2021)
Related Software: DPA_TDEFL; AAA; JDQZ; JDQR; COMSOL; SOLBT; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

WorkStream

Software Authors:   Turcksin, Bruno; Kronbichler, Martin; Bangerth, Wolfgang
Referenced in: 10 Publications (2016–2021)
Related Software: Trilinos; deal.ii; Intel TBB; p4est; PETSc; muparser; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

JOREK

Software Authors:   Franck, Emmanuel; Hölzl, Matthias; Lessig, Alexander; Sonnendrücker, Eric; Huysmans GTA; Czarny O
Referenced in: 9 Publications (2012–2022)
Related Software: MFEM; XTOR; BOUT++; TERPSICHORE; STRUMPACK; NumPy; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

MORLAB

Software Authors:   Peter Benner, Steffen W. R. Werner
Referenced in: 8 Publications (2018–2022)
Related Software: MESS; Matlab; RADI; MORPACK; sssMOR; Morembs; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Rebeca

Software Authors:   Jaghoori, Mohammad Mahdi; Sirjani, Marjan; Mousavi, Mohammad Reza; Khamespanah, Ehsan; Movaghar, Ali
Referenced in: 7 Publications (2010–2019)
Related Software: Creol; Timed Rebeca; Uppaal; SPIN; Viptos; AmbientTalk; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

VarNet

Software Authors:   –
Referenced in: 9 Publications (2020–2022)
Related Software: DGM; Adam; DeepXDE; DiffSharp; NSFnets; D3M; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

ADSNARK

Software Authors:   Backes, M., Barbosa, M., Fiore, D., Reischuk, R.M.
Referenced in: 8 Publications (2016–2020)
Related Software: Pinocchio; SNARKs for C; Geppetto; zk-SNARK; SiRiUS; Plutus; …
Main Fields: Number theory (11-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

cmenet

Software Authors:   Simon Mak, C. F. Jeff Wu
Referenced in: 7 Publications (2018–2020)
Related Software: sparsenet; R; glmnet; CRAN; L0Learn; foba; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

dse

Software Authors:   Paul Gilbert
Referenced in: 3 Publications (2008–2022)
Related Software: R; KFAS; dlm; forecast; FKF; Stem; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

F.E.M

Software Authors:   Fontvieille, F.; Panasenko, G.P.; Pousin, J.
Referenced in: 8 Publications (2007–2022)
Related Software: Chemotaxis
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

GMWB3D-SLC

Software Authors:   N. Besse, P. Bertrand
Referenced in: 8 Publications (2009–2022)
Related Software: CYLGYR; QUALIMUWABA; GYSELA; V-Net; U-Net; NBODY6; …
Main Fields: Partial differential equations (35-XX); Integral equations (45-XX); Numerical analysis (65-XX)

sssMOR

Software Authors:   A. Castagnotto, M. Cruz Varona, L. Jeschek, B. Lohmann
Referenced in: 8 Publications (2017–2022)
Related Software: MESS; Matlab; benchmodred; LYAPACK; UMFPACK; MORPACK; …
Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

ThiNet

Software Authors:   Jian-Hao Luo, Jianxin Wu, Weiyao Lin
Referenced in: 8 Publications (2019–2022)
Related Software: ImageNet; CIFAR; MobileNets; AlexNet; PyTorch; DeepFool; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

DSCOVR

Software Authors:   Xiao, Lin; Yu, Adams Wei; Lin, Qihang; Chen, Weizhu
Referenced in: 7 Publications (2019–2022)
Related Software: HOGWILD; Saga; DiSCO; AIDE; RCV1; LIBSVM; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

H-PILoT

Software Authors:   Carsten Ihlemann, Viorica Sofronie-Stokkermans
Referenced in: 6 Publications (2009–2021)
Related Software: z3; REDLOG; Cubicle; VAMPIRE; GRASShopper; UFO; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Horovod

Software Authors:   Alexander Sergeev, Mike Del Balso
Referenced in: 4 Publications (2021–2022)
Related Software: TensorFlow; MXNet; PyTorch; Inception-v4; Adam; Numba; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

MUSCOP

Software Authors:   Potschka, Andreas
Referenced in: 7 Publications (2001–2021)
Related Software: NewtonLib; ADOL-C; UFL; FEniCS; DOLFIN; MUMPS; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Global analysis, analysis on manifolds (58-XX)

parest_dae

Software Authors:   Casian Pantea, Ankur Gupta, James B. Rawlings, Gheorghe Craciun
Referenced in: 7 Publications (2014–2020)
Related Software: SINGULAR; neural ideal; GitHub; Ginsim; Macaulay2; DAISY; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

curvclust

Software Authors:   Giacofci, M.; Lambert-Lacroix, S.; Marot, G.; Picard, F.
Referenced in: 6 Publications (2013–2018)
Related Software: wavethresh; R; CRAN; MASS (R); WaveThresh4; SiZer; …
Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Statistics (62-XX)

MatMorembs

Software Authors:   Fehr, Jörg; Holzwarth, Philip; Eberhard, Peter; Fischer, M.; Lehner, M
Referenced in: 6 Publications (2006–2016)
Related Software: JDQZ; RODAS; JDQR; LS-DYNA; PMTBR; rbMIT; …
Main Fields: Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX); Systems theory; control (93-XX)

Morembs

Software Authors:   Fehr, Jörg; Grunert, Dennis; Holzwarth, Philip; Fröhlich, Benjamin; Walker, Nadine; Eberhard, Peter
Referenced in: 6 Publications (2018–2021)
Related Software: MORPACK; sssMOR; MORLAB; MESS; pyMOR; mftoolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

parameters

Software Authors:   Daniel Lüdecke, Dominique Makowski, Mattan S. Ben-Shachar, Indrajeet Patil, Søren Højsgaard, Zen J. Lau
Referenced in: 0 Publications
Related Software: R; performance; effectsize; insight; broom; bayestestR; …
Main Fields:

PAROC

Software Authors:   Pistikopoulos, E. N.; Diangelakis, N. A.; Oberdieck, R.; Papathanasiou, M. M.; Nascu, I.; Sun, M.
Referenced in: 6 Publications (2015–2021)
Related Software: POP; ANTIGONE; MPT; ARGONAUT; SageMath; YALMIP
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

PECANS

Software Authors:   Carotenuto, Luigi; Mele, Frano; Mango Furnari, Mario; Napolitano, Renata
Referenced in: 6 Publications (1996–2021)
Related Software: CANv2; PYR; OpenCAL; Kokkos; Python
Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)

Spin-to-Grape

Software Authors:   Donaldson, Alastair; Miller, Alice; Calder, Muffy
Referenced in: 6 Publications (2005–2010)
Related Software: SPIN; nauty; SymmSpin; TopSpin; GAP; Uppaal; …
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX)

AMC

Software Authors:   Yihui He, Ji Lin, Zhijian Liu, Hanrui Wang, Li-Jia Li, Song Han
Referenced in: 3 Publications (2020–2021)
Related Software: Python; ImageNet; Adam; Hyperopt; Spearmint; DADA; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Computer science (68-XX)

EZyRB

Software Authors:   Demo, N.; Tezzele, M.; Rozza, G.
Referenced in: 4 Publications (2020–2022)
Related Software: PyGeM; GPy; DEAP; OpenFOAM; PyDMD; GitHub; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Intrinsic-Dimension

Software Authors:   Daniele Granata, Vincenzo Carnevale
Referenced in: 4 Publications (2018–2021)
Related Software: IntDim; Scikit; pyFCI; OpenML; TLE; drtoolbox; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX)

LPVTools

Software Authors:   Hjartarson, A., Seiler, P.J., Packard, A.
Referenced in: 4 Publications (2020–2022)
Related Software: GitHub; Matlab; LPVcore; Mu Analysis and Synthesis Toolbox; SeDuMi; Sostools; …
Main Fields: Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

na8

Software Authors:   Krajewski, W.; Lepschy, A.; Redivo-Zaglia, M.; Viaro, U.
Referenced in: 5 Publications (1995–2020)
Related Software: benchmodred; Matlab
Main Fields: Numerical analysis (65-XX); Systems theory; control (93-XX)

PyDMD

Software Authors:   Demo, N.; Tezzele, M.; Rozza, G.
Referenced in: 4 Publications (2016–2022)
Related Software: EZyRB; PyGeM; GitHub; Python; DeepONet; VAMPnets; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Operator theory (47-XX); Numerical analysis (65-XX)

QHOPDM

Software Authors:   Altman, Anna
Referenced in: 5 Publications (1993–2006)
Related Software: HOPDM; LOQO; NETLIB LP Test Set; BPMPD; Decision tree for optimization software; CHFACT; …
Main Fields: Operations research, mathematical programming (90-XX)

RotEqNet

Software Authors:   Diego Marcos, Michele Volpi, Nikos Komodakis, Devis Tuia
Referenced in: 5 Publications (2019–2022)
Related Software: ScatNet; RotDCF; DGM; DeepXDE; Adam; DiffSharp; …
Main Fields: Partial differential equations (35-XX); Approximations and expansions (41-XX); Statistics (62-XX)

slingshot

Software Authors:   Kelly Street, Davide Risso, Diya Das, Sandrine Dudoit, Koen Van den Berge, Robrecht Cannoodt
Referenced in: 5 Publications (2008–2021)
Related Software: zinbwave; PMA; DESeq2; UMAP; ZIFA; Pyglrm; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Active subspaces

Software Authors:   Constantine, Paul G.; Howard, R.; Glaws, A.; Grey, Z.; Diaz, P.; Fletcher, L.
Referenced in: 3 Publications (2015–2021)
Related Software: Python; Adam; MUCM; ElemStatLearn; alr3; ORBIT; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX)

AdamMC

Software Authors:   Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Referenced in: 4 Publications (2019–2021)
Related Software: zUpdate; PTrie; NuSMV; TAPAAL; FatTire; Kuai; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

CafeInMaude

Software Authors:   Adrián Riesco; Kazuhiro Ogata; Kokichi Futatsugi
Referenced in: 3 Publications (2017–2020)
Related Software: Maude; CafeOBJ; CiMPG; Isabelle/HOL; Hets; SPASS; …
Main Fields: Computer science (68-XX)

Charlie

Software Authors:   Heiner, Monika; Schwarick, Martin; Wegener, Jan-Thierry
Referenced in: 2 Publications (2015–2017)
Related Software: SNOOPY; SNAKES; ANDy; ZBDD; SABRE; MARCIE; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

ClusCorr98

Software Authors:   Hans-Joachim Mucha
Referenced in: 4 Publications (1992–2005)
Related Software: Excel
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Information and communication theory, circuits (94-XX)

COMBAT

Software Authors:   Mavrotas, G.; Georgopoulou, E.; Mirasgedis, S.; Sarafidis, Y.; Lalas, D.; Hontou, V.; Gakis, N.
Referenced in: 4 Publications (2009–2011)
Related Software: GAMS; ADELAIS; IPSSIS
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

GSVA

Software Authors:   Hänzelmann S, Castelo R, Guinney J
Referenced in: 4 Publications (2014–2021)
Related Software: Bioconductor; MSigDB; ROAST; DAVID; KEGG; edgeR; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

modred

Software Authors:   B. A. Belson, J. H. Tu, C. W. Rowley
Referenced in: 4 Publications (2014–2018)
Related Software: mftoolbox; OpenFOAM; SIMSON; Differentiation Matrix Suite; F2PY; RBniCS; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

morgen

Software Authors:   Christian Himpe, Sara Grundel
Referenced in: 3 Publications (2019–2021)
Related Software: MathEnergy; MATLAB ODE suite; emgr; Matlab; GasLib; ode23; …
Main Fields: Fluid mechanics (76-XX); Systems theory; control (93-XX)

PTrie

Software Authors:   Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří
Referenced in: 4 Publications (2017–2021)
Related Software: TAPAAL; LoLA; zUpdate; AdamMC; NuSMV
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

vscc

Software Authors:   Jeffrey L. Andrews, Paul D. McNicholas
Referenced in: 3 Publications (2016–2022)
Related Software: clustvarsel; R; sparcl; PGMM; mclust; SelvarMix; …
Main Fields: Statistics (62-XX)

Alfalfa

Software Authors:   Goldberg, B., Hudak, P.
Referenced in: 3 Publications (1987–2010)
Related Software: Haskell; GUM; Links; Hop; Eden; AoPA; …
Main Fields: Computer science (68-XX)

BFComp

Software Authors:   Murthy, Abhishek; Islam, Md.Ariful; Smolka, Scott A.; Grosu, Radu
Referenced in: 3 Publications (2015–2019)
Related Software: dReal; dReach; SReach; cftool; MATISSE; Sostools; …
Main Fields: Ordinary differential equations (34-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)

CEC

Software Authors:   Przemyslaw Spurek, Konrad Kamieniecki, Jacek Tabor, Krzysztof Misztal, Marek Śmieja
Referenced in: 2 Publications (2017–2018)
Related Software: pdfCluster; mclust; AS 136; R; kohonen; TCLUST; …
Main Fields: Statistics (62-XX)

CRYSTALP2

Software Authors:   Lukasz Kurgan, Ali A Razib, Sara Aghakhani, Scott Dick, Marcin Mizianty, Samad Jahandideh
Referenced in: 3 Publications (2011–2016)
Related Software: ParCrys; Cd-hit; NR-2L; RSARF; AFP-Pred; iLoc-Euk; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

CYCLADES

Software Authors:   Xinghao Pan, Maximilian Lam, Stephen Tu, Dimitris Papailiopoulos, Ce Zhang, Michael I. Jordan, Kannan Ramchandran, Chris Re, Benjamin Recht
Referenced in: 3 Publications (2018–2019)
Related Software: HOGWILD; MovieLens; D-ADMM; ColPack; Saga; RCV1; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

DPF

Software Authors:   Gligoric, Milos; Majumdar, Rupak
Referenced in: 3 Publications (2013–2020)
Related Software: MCMAS; DDVerify; SPIN; Atomizer; Eraser; Java PathFinder; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

GP-VAE

Software Authors:   Vincent Fortuin, Dmitry Baranchuk, Gunnar Rätsch, Stephan Mandt
Referenced in: 2 Publications (2021)
Related Software: MoCoGAN; PRMLT; WaveNet; PixelVAE; TasNet; ProbTorch; …
Main Fields: Computer science (68-XX)

GRACE

Software Authors:   G. Belanger, F. Boudjema, J. Fujimoto, T. Ishikawa, T. Kaneko, K. Kato, Y. Shimizu
Referenced in: 2 Publications (2006–2013)
Related Software: SLHALib; LoopTools; FormCalc; HFOLD; SFOLD; FORM; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX)

LDSL-tool

Software Authors:   Mindaugas Radziunas; WIAS
Referenced in: 3 Publications (2004–2006)
Related Software: LOCA; DDE-BIFTOOL; AUTO
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

MathEnergy

Software Authors:   T. Clees, A. Baldin, P. Benner, S. Grundel, C. Himpe, B. Klaassen, F. Küsters, N. Marheineke, L. Nikitina, I. Nikitin, J. Pade, N. Stahl, C. Strohm, C. Tischendorf, A. Wirsen
Referenced in: 2 Publications (2021)
Related Software: morgen; MATLAB ODE suite; emgr; Matlab; GasLib; ode23; …
Main Fields: Fluid mechanics (76-XX); Systems theory; control (93-XX)

MENUS-PGG

Software Authors:   Chrisochoides, Nikos; Fox, Geoffrey; Thompson, Joe
Referenced in: 3 Publications (1994–2003)
Related Software: KELLEY; PETSc; DQGMRES; pARMS; Chaco; ELLPACK
Main Fields: Numerical analysis (65-XX)

MFclass

Software Authors:   Sahli Costabal, Francisco; Perdikaris, Paris; Kuhl, Ellen; Hurtado, Daniel E.
Referenced in: 3 Publications (2019–2022)
Related Software: ABAQUS; GitHub
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Mechanics of deformable solids (74-XX)

NEMO

Software Authors:   Teuben, P. J.
Referenced in: 3 Publications (2002–2013)
Related Software: NBODY4; NBODY6; RatImage; HOT
Main Fields: Numerical analysis (65-XX); Astronomy and astrophysics (85-XX)

OpenLoops

Software Authors:   Federico Buccioni, Jean-Nicolas Lang, Jonas M. Lindert, Philipp Maierhöfer, Stefano Pozzorini, Hantian Zhang, Max F. Zoller
Referenced in: 2 Publications (2020–2021)
Related Software: FeynCalc; SHERPA; Cuba; LiteRed; RECOLA; MadFKS; …
Main Fields: Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)