×

Found 563 Software Packages (Results 1–100)

PVS

Software Authors:   Sam Owre, Natarajan Shankar, John Rushby
Referenced in: 603 Publications (1993–2022)
Related Software: Coq; Isabelle/HOL; HOL; Isabelle; Nuprl; ACL2; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

IFISS

Software Authors:   H. Elman, A. Ramage, D. Silvester
Referenced in: 257 Publications (2003–2022)
Related Software: Matlab; AGMG; HSL_MI20; SparseMatrix; PETSc; Trilinos; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX)

AdaGrad

Software Authors:   Duchi, John; Hazan, Elad; Singer, Yoram
Referenced in: 186 Publications (2011–2022)
Related Software: Adam; RMSprop; ADADELTA; ImageNet; Saga; AlexNet; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

SOCS

Software Authors:   Boeing; Betts, J.T.; Huffman, W.P
Referenced in: 150 Publications (1999–2022)
Related Software: Ipopt; GPOPS; SNOPT; Matlab; OTIS; ACADO; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)

PASCAL VOC

Software Authors:   Everingham, M., Eslami, S. M. A., Van Gool, L., Williams, C. K. I., Winn, J., Zisserman, A
Referenced in: 83 Publications (2010–2022)
Related Software: SIFT; ImageNet; MS-COCO; LabelMe; AlexNet; Caltech-256; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Isar

Software Authors:   Makarius Wenzel
Referenced in: 143 Publications (2000–2021)
Related Software: Isabelle; Isabelle/HOL; Coq; Mizar; Isabelle/Isar; HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

NESTA

Software Authors:   Becker, Stephen; Bobin, Jerome; Candes, Emmanuel J.
Referenced in: 133 Publications (2010–2022)
Related Software: PDCO; SPGL1; TFOCS; TwIST; RecPF; glmnet; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

BEMECH

Software Authors:   Gao, Xiao-Wei; Davies, Trevor G.
Referenced in: 119 Publications (2002–2022)
Related Software: RIM_DOM.F90; GeoPDEs; BDEM; ISOGAT; Mfree2D; INSANE; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

SMS-EMOA

Software Authors:   Beume, Nicola; Naujoks, Boris; Emmerich, Michael
Referenced in: 90 Publications (2007–2022)
Related Software: MOEA/D; SPEA2; HypE; NBI; jMetal; RM-MEDA; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

Couenne

Software Authors:   Belotti, Pietro; Lee, Jon; Liberti, Leo; Margot, François; Wächter, Andreas
Referenced in: 73 Publications (2009–2022)
Related Software: BARON; CPLEX; Ipopt; Bonmin; SCIP; GAMS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

YAGO

Software Authors:   J. Hoffart, F. Suchanek, K. Berberich, G. Weikum, G. Kasneci
Referenced in: 46 Publications (2009–2022)
Related Software: Freebase; DBpedia; WordNet; word2vec; ProBase; BabelNet; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

SDPpack

Software Authors:   Nayakakuppam M V, Overton M L, Schemita S.
Referenced in: 50 Publications (1998–2015)
Related Software: SDPT3; CSDP; SeDuMi; SDPA; SDPHA; Matlab; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

GPDT

Software Authors:   Zanni, Luca; Serafini, Thomas; Zanghirati, Gaetano
Referenced in: 47 Publications (2005–2022)
Related Software: CONV_QP; SVMlight; UCI-ml; LIBSVM; SVMTorch; SPG; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

RTRMC

Software Authors:   Boumal, N., Absil, P.A.
Referenced in: 45 Publications (2013–2022)
Related Software: Manopt; LMaFit; ADMiRA; PROPACK; Jellyfish; softImpute; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

DeepLab

Software Authors:   Liang-Chieh Chen, George Papandreou, Iasonas Kokkinos, Kevin Murphy, Alan L. Yuille
Referenced in: 39 Publications (2018–2022)
Related Software: ImageNet; AlexNet; U-Net; PASCAL VOC; Faster R-CNN; MS-COCO; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

POMDPS

Software Authors:   Ross, S.; Pineau, J.; Paquet, S.; Chaib-Draa, B.
Referenced in: 38 Publications (1998–2022)
Related Software: DESPOT; EGO; PRMLT; Clingo; Anglican; ProbLog; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

SYMPHONY

Software Authors:   Ladányi, Laszlo; Ralphs, Ted K.; Trotter, Leslie E. jun
Referenced in: 38 Publications (2001–2022)
Related Software: ABACUS; CPLEX; XPRESS; SCIP; MIPLIB; COIN-OR; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-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)

QBIC

Software Authors:   W. Niblack, R. Barber, W. Equitz, M. Flickner, E. Glasman, D. Petkovic, P. Yanker, C. Faloutsos, G. Taubin
Referenced in: 24 Publications (1997–2018)
Related Software: VisualSEEk; Chabot; SIMPLIcity; NeTra; PicHunter; PicToSeek; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

ASIFT

Software Authors:   Jean-Michel Morel, Guoshen Yu
Referenced in: 32 Publications (2009–2022)
Related Software: SIFT; SURF; PCA-SIFT; BRISK; FREAK; Vlfeat; …
Main Fields: Differential geometry (53-XX); Numerical analysis (65-XX); Computer science (68-XX)

QUIC

Software Authors:   Hsieh, Cho-Jui; Sustik, M'aty'as A.; Dhillon, Inderjit S.; Ravikumar, Pradeep
Referenced in: 35 Publications (2014–2022)
Related Software: glasso; Saga; huge; FASTCLIME; GMRFLib; R; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

SSD

Software Authors:   Wei Liu, Dragomir Anguelov, Dumitru Erhan, Christian Szegedy, Scott Reed, Cheng-Yang Fu, Alexander C. Berg
Referenced in: 24 Publications (2017–2022)
Related Software: Faster R-CNN; ImageNet; AlexNet; YOLO; MS-COCO; PASCAL VOC; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

DLV

Software Authors:   Grasso, Giovanni; Iiritano, Salvatore; Leone, Nicola; Ricca, Francesco
Referenced in: 29 Publications (2001–2021)
Related Software: WASP; Gringo; Cmodels; Datalog; ASSAT; clasp; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

OOPS

Software Authors:   Gondzio, Jacek; Sarkissian, Robert
Referenced in: 32 Publications (2002–2022)
Related Software: IPM; LIPSOL; SUTIL; AMPL; OOQP; Mosek; …
Main Fields: History and biography (01-XX); Numerical analysis (65-XX); Computer science (68-XX)

Bloqqer

Software Authors:   Armin Biere, Florian Lonsing, Martina Seidl
Referenced in: 31 Publications (2011–2022)
Related Software: DepQBF; MiniSat; sQueezeBF; Quaffle; semprop; CAQE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Jellyfish

Software Authors:   Recht, Benjamin; Ré, Christopher
Referenced in: 30 Publications (2013–2022)
Related Software: RTRMC; Saga; ADMiRA; softImpute; SDPLR; glmnet; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)

LifeV

Software Authors:   L. Formaggia, J. Gerbeau, and C. Prud’homme
Referenced in: 29 Publications (2007–2021)
Related Software: Trilinos; redbKIT; Getfem++; deal.ii; FreeFem++; PETSc; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-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)

pLoc-mAnimal

Software Authors:   Cheng, X.; Zhao, S.G.; Lin, W.Z.
Referenced in: 27 Publications (2017–2019)
Related Software: pLoc-mEuk; iRNA-PseColl; pLoc-mVirus; pLoc-mPlant; iRSpot-EL; Pse-in-One; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

pLoc-mPlant

Software Authors:   Cheng, X.; Xiao, X.; Chou, K.-C.
Referenced in: 27 Publications (2017–2019)
Related Software: pLoc-mEuk; pLoc-mVirus; pLoc-mAnimal; Pse-in-One; iRNA-PseColl; pLoc-mGneg; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Beam-ACO

Software Authors:   Christian Blum
Referenced in: 22 Publications (2004–2022)
Related Software: AntNet; MACS-VRPTW; Sugar; Tabu search; Boids; VRP; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

GraRep

Software Authors:   S. Cao, W. Lu, Q. Xu
Referenced in: 22 Publications (2017–2022)
Related Software: node2vec; DeepWalk; word2vec; t-SNE; metapath2vec; ArnetMiner; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

HumanEva

Software Authors:   L. Sigal, A. O. Balan, M. J. Black
Referenced in: 11 Publications (2012–2020)
Related Software: SIFT; Human3.6M; SCAPE; GrabCut; Camera Calibration; calib; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Systems theory; control (93-XX)

ParadisEO-MOEO

Software Authors:   DOLPHIN project-team, Inria Lille
Referenced in: 20 Publications (2009–2021)
Related Software: PISA; SPEA2; ParaDisEO; jMetal; MOEA/D; VRP; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

DFN

Software Authors:   G.Fasano, G.Liuzzi, S.Lucidi, F.Rinaldi, K. Truemper
Referenced in: 24 Publications (2014–2022)
Related Software: DFL; OrthoMADS; NOMAD; DFBOX_IMPR; SDBOX; SDPEN; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

PERMIX

Software Authors:   Talebi, Hossein; Silani, Mohammad; Bordas, Stéphane P.A.; Kerfriden, Pierre; Rabczuk, Timon
Referenced in: 24 Publications (2014–2022)
Related Software: XFEM; CutFEM; FEniCS; Matlab; ABAQUS; hypre; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

XNOR-Net

Software Authors:   Mohammad Rastegari, Vicente Ordonez, Joseph Redmon, Ali Farhadi
Referenced in: 22 Publications (2017–2022)
Related Software: ImageNet; AlexNet; BinaryConnect; BinaryNet; DoReFa-Net; CIFAR; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

DeepFool

Software Authors:   Seyed-Mohsen Moosavi-Dezfooli, Alhussein Fawzi, Pascal Frossard
Referenced in: 22 Publications (2018–2022)
Related Software: ImageNet; AlexNet; Reluplex; cleverhans; TensorFlow; CIFAR; …
Main Fields: Approximations and expansions (41-XX); Statistics (62-XX); Numerical analysis (65-XX)

pLoc-mGneg

Software Authors:   Cheng, X.; Xiao, X.; Chou, K.-C.
Referenced in: 23 Publications (2018–2019)
Related Software: pLoc-mEuk; pLoc-mAnimal; pLoc-mPlant; iRSpot-EL; iPromoter-2L; iRNA-PseColl; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

pLoc-mVirus

Software Authors:   Cheng, X.; Xiao, X.
Referenced in: 23 Publications (2017–2019)
Related Software: pLoc-mAnimal; pLoc-mPlant; pLoc-mEuk; Pse-in-One; iRNA-PseColl; pLoc-mGneg; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

StyleGAN

Software Authors:   Tero Karras, Samuli Laine, Timo Aila
Referenced in: 21 Publications (2019–2022)
Related Software: Wasserstein GAN; pix2pix; CycleGAN; TensorFlow; InfoGAN; BigGAN; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-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)

CCLS

Software Authors:   Luo, C.; Cai, S.; Wu, W.; Jie, Z.; Su, K.
Referenced in: 21 Publications (2015–2021)
Related Software: MaxHS; Sat4j; UBCSAT; NuMVC; CCASat; QMaxSAT; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Cityscapes

Software Authors:   Marius Cordts, Mohamed Omran, Sebastian Ramos, Timo Rehfeld, Markus Enzweiler, Rodrigo Benenson, Uwe Franke, Stefan Roth, Bernt Schiele
Referenced in: 16 Publications (2018–2022)
Related Software: MS-COCO; KITTI; DeepLab; ImageNet; U-Net; SYNTHIA Dataset; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

FDRSeg

Software Authors:   Li, Housen; Munk, Axel; Sieling, Hannes
Referenced in: 16 Publications (2016–2022)
Related Software: wbs; R; stepR; changepoint; CRAN; breakfast; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)

FEMPAR

Software Authors:   Santiago Badia, Alberto F. Martín, Javier Principe
Referenced in: 17 Publications (2018–2021)
Related Software: PETSc; CutFEM; p4est; FEniCS; deal.ii; Dune-UDG; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Finito

Software Authors:   Defazio, A., Domke, J., Caetano, T.
Referenced in: 21 Publications (2015–2022)
Related Software: Saga; LIBSVM; AdaGrad; Adam; ARock; HOGWILD; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

FlowNet

Software Authors:   E. Ilg, N. Mayer, T. Saikia, M. Keuper, A. Dosovitskiy, T. Brox
Referenced in: 16 Publications (2018–2022)
Related Software: Adam; EpicFlow; DeepFlow; TensorFlow; PWC-Net; KITTI; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

pLoc-mHum

Software Authors:   Cheng, X.; Xiao, X.; Chou, K.-C.
Referenced in: 20 Publications (2018–2019)
Related Software: iRNA-PseColl; pLoc-mPlant; pLoc-mEuk; pLoc-mAnimal; pLoc-mGneg; 2L-piRNA; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

BRISK

Software Authors:   Stefan Leutenegger, Margarita Chli, Roland Siegwart
Referenced in: 17 Publications (2013–2022)
Related Software: SURF; SIFT; FREAK; PCA-SIFT; ASIFT; KAZE Features; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

FFDNet

Software Authors:   Kai Zhang, Wangmeng Zuo, Lei Zhang
Referenced in: 19 Publications (2018–2022)
Related Software: DnCNN; ImageNet; GitHub; PyTorch; AlexNet; MemNet; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Madpack

Software Authors:   Douglas, C.C.
Referenced in: 19 Publications (1988–2021)
Related Software: PETSc; Algorithm 682; Utopia; PetIGA; UG; DUNE; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

pottslab

Software Authors:   Storath, Martin; Weinmann, Andreas
Referenced in: 18 Publications (2014–2022)
Related Software: BSDS; RecPF; Camino; tvreg; CRF; ggplot2; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

SATenstein

Software Authors:   KhudaBukhsh, Ashiqur R.; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin
Referenced in: 17 Publications (2009–2022)
Related Software: Paramils; SMAC; irace; SPOT; SATzilla; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

KIOPS

Software Authors:   Gaudreault, Stéphane; Rainwater, Greg; Tokman, Mayya
Referenced in: 17 Publications (2018–2022)
Related Software: phipm; Algorithm 919; Expokit; mftoolbox; Expint; GitHub; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

MRI Simulation and Reconstruction

Software Authors:   Guerquin-Kern, M.
Referenced in: 17 Publications (2013–2022)
Related Software: UNLocBoX; SPGL1; FAIR.m; ASTRA; CVX; DLMRI-Lab; …
Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

DibaP

Software Authors:   Henning Meyerhenke; Burkhard Monien; Thomas Sauerwald
Referenced in: 15 Publications (2008–2021)
Related Software: Bubble-FOS/C; KaFFPa; METIS; PT-Scotch; JOSTLE; DIMACS; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

CoolProp

Software Authors:   Bell, IH; Wronski, J; Quoilin, S; Lemort, V
Referenced in: 14 Publications (2015–2022)
Related Software: Refprop; Matlab; MRST; Python; MCycle; Spalart-Allmaras; …
Main Fields: Partial differential equations (35-XX); Fluid mechanics (76-XX); Geophysics (86-XX)

HSMUCE

Software Authors:   Pein, F.
Referenced in: 15 Publications (2017–2021)
Related Software: wbs; R; stepR; FDRSeg; Segmentor3IsBack; ecp; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

BETL

Software Authors:   R. Hiptmair, L. Kielhorn
Referenced in: 13 Publications (2015–2021)
Related Software: Gmsh; ParaView; BEM++; HyENA; Python; AHMED; …
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

BLIS

Software Authors:   Ted Ralphs
Referenced in: 13 Publications (1991–2020)
Related Software: BiCePS; ALPS; CHiPPS; SYMPHONY; PICO; BLAS; …
Main Fields: Measure and integration (28-XX); Geometry (51-XX); Numerical analysis (65-XX)

DENOVO

Software Authors:   Thomas M. Evans, Alissa S. Stafford, Rachel N. Slaybaugh, Kevin T. Clarno
Referenced in: 13 Publications (2013–2022)
Related Software: VERA; SCALE 6.2; Trilinos; PETSc; Gmsh; VisIt; …
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

EPnP

Software Authors:   Lepetit, V; Moreno-Noguer, F; Fua, P
Referenced in: 12 Publications (2013–2021)
Related Software: SIFT; GitHub; PointRCNN; Faster R-CNN; MobileNetV2; AlexNet; …
Main Fields: Commutative algebra (13-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)

LASTRAC

Software Authors:   Langley Research Center; C.-L. Chang
Referenced in: 12 Publications (2004–2021)
Related Software: VESTA toolkit; PyPardiso; EPIC; STABL2D; Python; Krypton; …
Main Fields: Fluid mechanics (76-XX)

LSD-SLAM

Software Authors:   Jakob Engel, Thomas Schöps, Daniel Cremers
Referenced in: 10 Publications (2015–2022)
Related Software: ORB-SLAM2; SVO; DTAM; ORB-SLAM; MonoSLAM; Adam; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

Medlda

Software Authors:   Zhu, Jun; Ahmed, Amr; Xing, Eric P.
Referenced in: 13 Publications (2012–2021)
Related Software: PRMLT; LIBLINEAR; UCI-ml; GibbsLDA++; L-BFGS; horserule; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

Pysal

Software Authors:   Rey SJ, Anselin L
Referenced in: 5 Publications (2014–2021)
Related Software: Python; GeoPandas; ArcGIS; R; GeoDa; GeoDaSpace; …
Main Fields: Measure and integration (28-XX); Dynamical systems and ergodic theory (37-XX); Statistics (62-XX)

Boosters

Software Authors:   R. Oeuvray, M. Bierlaire
Referenced in: 11 Publications (2008–2020)
Related Software: ORBIT; UOBYQA; BOBYQA; COBYLA2; DFO; NEWUOA; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

GeneMANIA

Software Authors:   Mostafavi, S., Ray, D., Warde-Farley, D., Grouios, C., Morris, Q.
Referenced in: 9 Publications (2012–2021)
Related Software: Cytoscape; STRING; BioGRID; SHOGUN; BLAST; PSI-BLAST; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

LASPack

Software Authors:   Tomas Skalicky
Referenced in: 11 Publications (1998–2017)
Related Software: HLLE; libMesh; PETSc; OpenFOAM; RIPPLE; FEATFLOW; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

MRAG-I2D

Software Authors:   Rossinelli, Diego; Hejazialhosseini, Babak; van Rees, Wim; Gazzola, Mattia; Bergdorf, Michael; Koumoutsakos, Petros
Referenced in: 12 Publications (2015–2022)
Related Software: Gerris; AMROC; Murphy; LIFTPACK; AMReX; ForestClaw; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

PRIMME_SVDS

Software Authors:   Lingfei Wu, Eloy Romero, Andreas Stathopoulos
Referenced in: 12 Publications (2016–2022)
Related Software: PRIMME; PHSVDS; JDQZ; lobpcg.m; na26; TRLan; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

DeepSurv

Software Authors:   Katzman, JL; Shaham, U.; Cloninger, A.; Bates, J.; Jiang, T.; Kluger, Y
Referenced in: 10 Publications (2019–2022)
Related Software: Adam; pycox; survival; GitHub; PyTorch; SVRc; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Imbalanced-learn

Software Authors:   Lemaître, Guillaume; Nogueira, Fernando; Aridas, Christos K.
Referenced in: 9 Publications (2017–2021)
Related Software: SMOTE; Scikit; SMOTEBoost; MWMOTE; JStatCom; XGBoost; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MFDMtool

Software Authors:   Milewski, Sławomir
Referenced in: 11 Publications (2013–2021)
Related Software: Mfree2D; Matlab; FEAPpv; LAPACK; DistMesh; Gmsh; …
Main Fields: Integral equations (45-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

PointCNN

Software Authors:   Yangyan Li, Rui Bu, Mingchao Sun, Wei Wu, Xinhan Di, Baoquan Chen
Referenced in: 9 Publications (2019–2022)
Related Software: PointNet; VoxelNet; VoxNet; KPConv; t-SNE; TensorFlow; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

SqFreeEVAL

Software Authors:   Burr, Michael A.; Krahmer, Felix
Referenced in: 10 Publications (2012–2021)
Related Software: ISOLATE; na20; ANewDsc; Eigensolve; RegularChains; Voronoi; …
Main Fields: Algebraic geometry (14-XX); Real functions (26-XX); Functions of a complex variable (30-XX)

VoxelNet

Software Authors:   Yin Zhou, Oncel Tuzel
Referenced in: 3 Publications (2020–2022)
Related Software: PointNet; ImageNet; KITTI; Faster R-CNN; SSD; PointRCNN; …
Main Fields: Convex and discrete geometry (52-XX); Statistics (62-XX); Numerical analysis (65-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)

3D-R2N2

Software Authors:   Christopher B. Choy, Danfei Xu, JunYoung Gwak, Kevin Chen, Silvio Savarese
Referenced in: 8 Publications (2019–2021)
Related Software: ShapeNet; PointNet; Adam; Pixel2Mesh; OpenDR; SoftRas; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

FFJORD

Software Authors:   Will Grathwohl, Ricky T. Q. Chen, Jesse Bettencourt, Ilya Sutskever, David Duvenaud
Referenced in: 8 Publications (2019–2022)
Related Software: torchdiffeq; Glow; ANODEs; PyTorch; MADE; PixelCNN++; …
Main Fields: Approximations and expansions (41-XX); Statistics (62-XX); Numerical analysis (65-XX)

GEOquery

Software Authors:   Sean D, Meltzer PS
Referenced in: 7 Publications (2016–2021)
Related Software: R; Bioconductor; shiny; WEKA; adaptMT; AdaPT; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Computer science (68-XX)

iDHS-EL

Software Authors:   Liu, B.; Long, R.; Chou, K. -C.
Referenced in: 10 Publications (2016–2019)
Related Software: Pse-in-One; pSuc-Lys; Prnam-PC; iSuc-PseOpt; iEnhancer-2L; iRSpot-PseDNC; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

IMRO

Software Authors:   Karimi, Sahar; Vavasis, Stephen
Referenced in: 10 Publications (2017–2022)
Related Software: FPC_AS; TFOCS; TwIST; UNLocBoX; LBFGS-B; NNLS; …
Main Fields: Operator theory (47-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

AI2

Software Authors:   Gehr, T., Mirman, M., Drachsler-Cohen, D., Tsankov, P., Chaudhuri, S., Vechev, M.T.
Referenced in: 9 Publications (2020–2021)
Related Software: Reluplex; DeepFool; Adam; PyTorch; Marabou; DeepGauge; …
Main Fields: Algebraic geometry (14-XX); Ordinary differential equations (34-XX); Convex and discrete geometry (52-XX)

GANITH

Software Authors:   Chanderjit Bajaj; Andrew Royappa
Referenced in: 9 Publications (1990–1997)
Related Software: CASA; EISPACK; LAPACK; MACSYMA; REDUCE; NAG; …
Main Fields: Algebraic geometry (14-XX); Real functions (26-XX); Approximations and expansions (41-XX)

ILU++

Software Authors:   Mayer, J.
Referenced in: 9 Publications (2007–2015)
Related Software: SparseMatrix; ILUPACK; METIS; ILUCP; PARDISO; FEAPpv; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

ISTA-Net

Software Authors:   Jian Zhang, Bernard Ghanem
Referenced in: 9 Publications (2020–2022)
Related Software: Adam; DnCNN; ImageNet; PyTorch; AlexNet; DeepAdverserialRegulariser; …
Main Fields: Operator theory (47-XX); Numerical analysis (65-XX); Computer science (68-XX)

PANFIS

Software Authors:   Pratama, M.; Anavatti, S.G.; Angelov, P.P.; Lughofer, E.
Referenced in: 9 Publications (2014–2021)
Related Software: DENFIS; ANFIS; MOA; ElemStatLearn; GSA; SparseFIS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Computer science (68-XX)

SPLATT

Software Authors:   S. Smith, N. Ravindran, N. D. Sidiropoulos, G. Karypis
Referenced in: 9 Publications (2018–2022)
Related Software: TensorToolbox; DFacTo; GigaTensor; FROSTT; PLANC; GitHub; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

TIGRESS

Software Authors:   Haury, A.C., Mordelet, F., Vera-Licona, P., Vert, J.P.
Referenced in: 9 Publications (2013–2019)
Related Software: SIRENE; ARACNE; glasso; JASPAR; BioGRID; glmnet; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

AdaPT

Software Authors:   Lei, Lihua; Fithian, William
Referenced in: 8 Publications (2018–2022)
Related Software: adaptMT; smoothfdr; GEOquery; DESeq2; Pvalue Weighting; EFDR; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Biology and other natural sciences (92-XX)

AutoKeras

Software Authors:   Haifeng Jin, Qingquan Song, Xia Hu
Referenced in: 3 Publications (2021–2022)
Related Software: Auto-WEKA; auto-sklearn; Python; Hyperopt; Spearmint; SMAC; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Geophysics (86-XX)

BLAKE

Software Authors:   Aumasson, Jean-Philippe; Meier, Willi; Phan, Raphael C.-W.; Henzen, Luca
Referenced in: 8 Publications (2010–2019)
Related Software: ChaCha; eBACS; Salsa20; SPHINCS; GitHub; libiop; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

CorrT

Software Authors:   Zhu, Yinchu; Bradic, Jelena
Referenced in: 8 Publications (2018–2022)
Related Software: EigenPrism; hdi; selectiveInference; covTest; hdm; ElemStatLearn; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

DTAM

Software Authors:   R. A. Newcombe, S. J. Lovegrove, A. J. Davison
Referenced in: 7 Publications (2013–2021)
Related Software: LSD-SLAM; ORB-SLAM2; KITTI; ORB-SLAM; SVO; MonoSLAM; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Garamon

Software Authors:   Breuils, Stéphane; Nozick, Vincent; Fuchs, Laurent
Referenced in: 8 Publications (2019–2022)
Related Software: Clifford Multivector Toolbox; ganja.js; Gaigen; GitHub; CLIFFORD; BIGEBRA; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX)

ils-mwis

Software Authors:   Nogueira, Bruno; Pinheiro, Rian G. S.; Subramanian, Anand
Referenced in: 8 Publications (2018–2021)
Related Software: gpuls-mwcp; CUDA; DIMACS; DEAP; PBGL; ilsts-wvcp; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MatContM

Software Authors:   Kuznetsov, Yuri A.; Meijer, Hil G. E.
Referenced in: 8 Publications (2018–2022)
Related Software: Matlab; MatcotM; MATCONT
Main Fields: Dynamical systems and ergodic theory (37-XX); Difference and functional equations (39-XX); Numerical analysis (65-XX)

Minfi

Software Authors:   Aryee MJ, Jaffe AE, Corrada-Bravo H, Ladd-Acosta C, Feinberg AP, Hansen KD, Irizarry RA
Referenced in: 8 Publications (2016–2022)
Related Software: Bioconductor; BSmooth; MethylSig; IMA; limma; R; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Biology and other natural sciences (92-XX)