×

Found 336 Software Packages (Results 1–100)

MONA

Software Authors:   Klarlund, Nils; Møller, Anders; Schwartzbach, Michael I.; Elgaard, J.
Referenced in: 131 Publications (1995–2022)
Related Software: DCVALID; z3; Isabelle/HOL; NuSMV; Uppaal; SIMPLIFY; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Wirtinger Flow

Software Authors:   Emmanuel Candes, Xiaodong Li, Mahdi Soltanolkotabi
Referenced in: 120 Publications (2015–2022)
Related Software: PhaseLift; PhaseMax; GESPAR; SparsePR; CVX; PhaseCut; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

wbs

Software Authors:   Fryzlewicz, Piotr
Referenced in: 90 Publications (2013–2022)
Related Software: R; changepoint; FDRSeg; ecp; CRAN; basta; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

ROCK

Software Authors:   Guha, S.; Rastogi, R.; Shim, K.
Referenced in: 40 Publications (2002–2021)
Related Software: clusfind; UCI-ml; COOLCAT; LOF; ElemStatLearn; COSA; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

AutoClass

Software Authors:   John Stutz; Peter Cheeseman
Referenced in: 36 Publications (1992–2021)
Related Software: UCI-ml; C4.5; clusfind; SLIQ; SPRINT; mclust; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

OSCAR

Software Authors:   Bondell, Howard D.; Reich, Brian J.
Referenced in: 57 Publications (2008–2022)
Related Software: glmnet; R; ElemStatLearn; glasso; covTest; blasso; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

PolyBoRi

Software Authors:   Alexander Dreyer; Michael Brickenstein
Referenced in: 48 Publications (2008–2021)
Related Software: SINGULAR; Magma; FGb; SageMath; CUDD; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Commutative algebra (13-XX)

FRGC

Software Authors:   NIST
Referenced in: 36 Publications (2006–2015)
Related Software: FERET; AR face; CMU PIE; Multi-PIE; KPCA plus LDA; Yale Face; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

GHC

Software Authors:   Ueda, Kazunori
Referenced in: 36 Publications (1986–2014)
Related Software: PARLOG; Kima; Haskell; LMNtal; Esterel; Janus; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

p1afem

Software Authors:   Funken, Stefan; Praetorius, Dirk; Wissgott, Philipp
Referenced in: 43 Publications (2011–2022)
Related Software: Matlab; na14; iFEM; GitHub; AFEM@matlab; Gmsh; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

ARACNE

Software Authors:   A. A. Margolin, I. Nemenman, K. Basso, C. Wiggins, G. Stolovitzky, R. D. Favera, A. Califano
Referenced in: 34 Publications (2009–2022)
Related Software: minet; KEGG; glasso; SynTReN; GeneNetWeaver; R; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

MixSim

Software Authors:   V.Melnykov; W.-C.Chen; R.Maitra
Referenced in: 33 Publications (2010–2022)
Related Software: mclust; R; AS 136; UCI-ml; CARP; clusfind; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Multilisp

Software Authors:   Halstead, Robert H.jun.
Referenced in: 29 Publications (1985–2019)
Related Software: Creol; Eiffel; Maude; ABS; Featherweight Java; AmbientTalk; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

DSDP5

Software Authors:   Steven J. Benson; Yinyu Ye
Referenced in: 29 Publications (2004–2022)
Related Software: SDPT3; SeDuMi; SDPA; CSDP; YALMIP; CVXOPT; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

PYTHIA

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

ProbView

Software Authors:   Lakshmanan, V.S., Leone, N., Ross, R. and Subrahmanian, V.S.
Referenced in: 11 Publications (2005–2018)
Related Software: ProTDB; MYSTIQ; PSQL; clusfind; flanagan; LingPipe; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

BL data set

Software Authors:   Philippe Baptiste, Claude Le Pape
Referenced in: 26 Publications (2000–2021)
Related Software: PSPLIB; CHIP; CLAIRE; MiniSat; Gecode; Zinc; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

URDME

Software Authors:   Drawert, B., Engblom, S.,Hellander, A.
Referenced in: 23 Publications (2009–2022)
Related Software: MesoRD; STEPS; Smoldyn; ReaDDy; Wavos; PySB; …
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

GroupKit

Software Authors:   Roseman M.; Greenberg S.
Referenced in: 2 Publications (2003–2009)
Related Software: DECAF; PlanEdit; KLAIM; MarCaSPiS; COWS; SAS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-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)

HPStream

Software Authors:   Aggarwal C, Han J, Wang J, Yu P
Referenced in: 7 Publications (2007–2017)
Related Software: UCI-ml; clusfind; LCM; GraphScope; ROCK; TelegraphCQ; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

PetRBF

Software Authors:   R. Yokota, L. Barba, M. G. Knepley
Referenced in: 20 Publications (2010–2021)
Related Software: Matlab; H2Lib; PETSc; Trilinos; ASKIT; CUDA; …
Main Fields: Approximations and expansions (41-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Oberon

Software Authors:   Wirth, N.
Referenced in: 18 Publications (1988–2007)
Related Software: Modula; CHARM++; REXX; Visual Basic; COBOL; Maple; …
Main Fields: Computer science (68-XX)

FDRSeg

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

FacetNet

Software Authors:   Lin, Y.R., Chi, Y., Zhu, S., Sundaram, H., Tseng, B.L.
Referenced in: 13 Publications (2011–2020)
Related Software: GraphScope; Algorithm 457; GenLouvain; DeepWalk; node2vec; SimRank; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

GATK

Software Authors:   A. McKenna, M. Hanna, E. Banks et al.
Referenced in: 16 Publications (2012–2021)
Related Software: Samtools; Trimmomatic; R; BWA; Bowtie 2; FastQC; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

HPCC

Software Authors:   Saini, Subhash; Ciotti, Robert; Gunney, Brian T.N.; Spelce, Thomas E.; Koniges, Alice; Dossa, Don; Adamidis, Panagiotis; Rabenseifner, Rolf; Tiyyagura, Sunil R.; Mueller, Matthias
Referenced in: 9 Publications (1999–2021)
Related Software: LINPACK; NAS Parallel Benchmarks; STREAM; Matrix Depot; zeroin; HPL; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

iPhos-PseEvo

Software Authors:   Qiu, W.R.; Sun, B.Q.; Xiao, X.
Referenced in: 17 Publications (2016–2019)
Related Software: iRNAm5C-PseDNC; pLoc-mEuk; Pse-in-One; 2L-piRNA; iRSpot-EL; iRNA-PseColl; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

CFX-5

Software Authors:   Wüchner, Roland; Kupzok, Alexander; Bletzinger, Kai-Uwe
Referenced in: 16 Publications (2005–2016)
Related Software: CARAT; ANSYS; FLUENT; FLANN; SUMO; revolve; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

FastDTW

Software Authors:   S. Salvador, P. Chan
Referenced in: 9 Publications (2011–2021)
Related Software: GDAL; OpenCV; Python; dtw; LIBSVM; scikit-image; …
Main Fields: General and overarching topics; collections (00-XX); Differential geometry (53-XX); Statistics (62-XX)

LogXact

Software Authors:   Cytel
Referenced in: 12 Publications (2002–2017)
Related Software: SAS; StatXact; R; Stata; S-PLUS; SAS/STAT; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Biology and other natural sciences (92-XX)

FRSDE

Software Authors:   Deng, Zhaohong; Chung, Fu-Lai; Wang, Shitong
Referenced in: 15 Publications (2008–2016)
Related Software: UCI-ml; LIBSVM; KernSmooth; SMOTE; DENCLUE; ks; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Glmulti

Software Authors:   Vincent Calcagno, Claire de Mazancourt
Referenced in: 5 Publications (2012–2020)
Related Software: R; bestglm; leaps; BeSS; MuMIn; UCI-ml; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX)

KLTOOL

Software Authors:   D. Armbruster, R. Heiland, E. Kostelich
Referenced in: 15 Publications (1994–2007)
Related Software: DSTool
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Statistics (62-XX)

QSobel

Software Authors:   Zhang, Yi; Lu, Kai; Gao, Yinghui
Referenced in: 15 Publications (2015–2022)
Related Software: QISKit; Matlab; COIL-20; COIL-100; BSDS
Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Computer science (68-XX); Quantum theory (81-XX)

SOSEMANUK

Software Authors:   Feng, Xiutao; Liu, Jun; Zhou, Zhaocun; Wu, Chuankun; Feng, Dengguo
Referenced in: 13 Publications (2008–2020)
Related Software: SNOW; Rabbit; Salsa20; eSTREAM; Grain; Trivium; …
Main Fields: Difference and functional equations (39-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

zk-SNARK

Software Authors:   Ben-Sasson, Eli; Chiesa, Alessandro; Tromer, Eran; Virza, Madars
Referenced in: 15 Publications (2014–2022)
Related Software: Pinocchio; SNARKs for C; ADSNARK; GitHub; Geppetto; Marlin; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX)

GAPS

Software Authors:   Bandyopadhyay, Sanghamitra; Saha, Sriparna
Referenced in: 9 Publications (2007–2018)
Related Software: UCI-ml; ANN; clusfind; Silhouettes; GAKREM; MOCK; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

HAS-SOP

Software Authors:   Gambardella, L., Dorigo, M.
Referenced in: 10 Publications (2003–2015)
Related Software: HAS-QAP; AntNet; MACS-VRPTW; TSPLIB; GTSP Instances Library; MatrixMarket; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Neurofitter

Software Authors:   Van Geit, W.; De Schutter, E.; Achard, P.
Referenced in: 14 Publications (2008–2022)
Related Software: NEURON; Matlab; RKToolbox; DLMF; L-BFGS-B-C; GitHub; …
Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

PLUMP

Software Authors:   Beg, Ivan; Ling, Wu; M\"uller, Andreas; Przybyszewski, Piotr; R\"uhl, Roland; Sawyer, William
Referenced in: 14 Publications (1991–2009)
Related Software: PROGRES; SPARSKIT; ITSOL
Main Fields: Algebraic geometry (14-XX); Category theory; homological algebra (18-XX); Real functions (26-XX)

DiSCO

Software Authors:   Yuchen Zhang, Xiao Lin
Referenced in: 13 Publications (2017–2022)
Related Software: AIDE; HOGWILD; Saga; DSCOVR; SDPT3; LIBSVM; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Computer science (68-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)

nSPARQL

Software Authors:   Pérez, J.; Arenas, M.; Gutierrez, C.
Referenced in: 11 Publications (2009–2017)
Related Software: SPARQL; XPath; GraphLog; SPARQ2L; dlvhex-sparql; R2RML; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

ProxSARAH

Software Authors:   Pham, Nhan H.; Nguyen, Lam M.; Phan, Dzung T.; Tran-Dinh, Quoc
Referenced in: 13 Publications (2020–2022)
Related Software: Saga; Adam; LIBSVM; AdaGrad; PRMLT; blockSQP; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Sparsity

Software Authors:   EJ Im, K Yelick, R Vuduc
Referenced in: 10 Publications (2005–2018)
Related Software: SparseMatrix; PETSc; MKL; Trilinos; CUDA; ATLAS; …
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

ASKIT

Software Authors:   March, William B.; Xiao, Bo; Yu, Chenhan D.; Biros, George
Referenced in: 12 Publications (2015–2022)
Related Software: UCI-ml; GitHub; STRUMPACK; ScalFMM; H2Lib; Thrust; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

BSmooth

Software Authors:   Hansen, K., B. Langmead, R. Irizarry
Referenced in: 12 Publications (2016–2022)
Related Software: Bioconductor; MethylSig; Minfi; HMM-Fisher; HMM-DM; methylKit; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

EIRENE

Software Authors:   Detlev Reiter
Referenced in: 12 Publications (2011–2022)
Related Software: TOKAM3X; BOUT++; SOLPS-ITER; SolEdge2D; TOKAM-3D; FELTOR; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Statistical mechanics, structure of matter (82-XX)

Resampling Stats

Software Authors:   W. Becker, T.H. Wonnacott, C. Lunneborg, P. Westfall and S. Young
Referenced in: 9 Publications (2000–2013)
Related Software: NetLogo; TinkerPlots; ISwR; Excel; SPSS; XploRe; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

TM4

Software Authors:   Saeed, A.I.; Sharov, V.; White, J.; Li, J.; Liang, W.; Bhagabati, N.; Braisted, J.; Klapa, M.; Currier, T.; Thiagarajan, M.; Sturn, A.; Snuffin, M.; Rezantsev, A.; Popov, D.; Ryltsov, A.; Kostukovich, E.; Borisovsky, I.; Liu, Z.; Vinsavich, A.; Trush, V.; Quackenbush, J.
Referenced in: 4 Publications (2009–2014)
Related Software: Bioconductor; ArrayExpress; SAM; WinBUGS; WEKA; PoissonAPS; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

Columbus

Software Authors:   Ferenc, R.M Beszedes, A.; Tarkiainen, M.; Gyimothy, T.
Referenced in: 8 Publications (2002–2012)
Related Software: Maisa; Codecrawler; GUPRO; GlassFish; Doxygen; WebSphere; …
Main Fields: Computer science (68-XX)

ICON

Software Authors:   Max Planck Institute for Meteorology (MPI-M); German Meteorological Service (DWD); Günther Zängl; Daniel Reinert; Pilar Rípodas; Michael Baldauf
Referenced in: 11 Publications (2016–2021)
Related Software: chammp; MPAS-Ocean; NICAM; CAM3; DYNAMICO; scpc; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

PathCrawler

Software Authors:   Nicky Williams, Bruno Marre, Patricia Mouy, Muriel Roger
Referenced in: 5 Publications (2008–2021)
Related Software: CUTE; DART; z3; Frama-C; Pex; SANTE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

QNet

Software Authors:   S.Grunewald, K.Forslund, A.Dress, V. Moulton
Referenced in: 11 Publications (2008–2020)
Related Software: SplitsTree; iTOL; Noisy; T-coffee; DIALIGN; EMBOSS; …
Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Statistics (62-XX)

SparseFIS

Software Authors:   Lughofer, E.; Kindermann, S.
Referenced in: 8 Publications (2012–2018)
Related Software: ElemStatLearn; ANFIS; MOA; CoSaMP; AdaBoost.MH; PDCO; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-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)

BIEMS

Software Authors:   Mulder, J.; Hoijtink, H.; De Leeuw, C.
Referenced in: 9 Publications (2014–2020)
Related Software: BayesDA; BOCOR; R; Bain; BayesFactor; multinomineq; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

caGrid

Software Authors:   Saltz J, Oster S, Hastings S, et al:
Referenced in: 0 Publications
Related Software: Globus Toolkit; Bio2RDF; BioPortal; BioMOBY; Taverna; QTAG; …
Main Fields:

Datalog LITE

Software Authors:   Gottlob, Georg; Grädel, Erich; Veith, Helmut
Referenced in: 9 Publications (2002–2019)
Related Software: XPath; Ltur; ComputeTW; NP Datalog; Datalog; FALKO
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-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)

GJRM

Software Authors:   Marra, Giampiero; Radice, Rosalba
Referenced in: 10 Publications (2017–2021)
Related Software: gamair; R; GAMLSS; SemiPar; trust; CDVine; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX)

OCOTILLO

Software Authors:   Goldman, Deborah; Istrail, Sorin; Lancia, Giuseppe; Piccolboni, Antonio; Walenz, Brian
Referenced in: 10 Publications (2000–2016)
Related Software:
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

RACHET

Software Authors:   Nagiza F. Samatova, George Ostrouchov, Al Geist und Anatoli V. Melechko
Referenced in: 7 Publications (2002–2013)
Related Software: AS 136; SMOTE
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)

UnQL

Software Authors:   Peter Buneman, Mary Fernandez, Dan Suciu
Referenced in: 10 Publications (2006–2018)
Related Software: XPath; XQuery; XDuce; CDuce; Quilt; MongoDB; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

DTK

Software Authors:   Slattery SR, Wilson PPH, Pawlowski RP.
Referenced in: 8 Publications (2016–2022)
Related Software: preCICE; MpCCI; Trilinos; MCT; tangram; Wonton; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

Hybrid Stable Spline Toolbox

Software Authors:   Pillonetto, Gianluigi
Referenced in: 9 Publications (2016–2022)
Related Software: Matlab; PRMLT; GitHub; Adam; GPflow; TensorFlow; …
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

L2WPMA

Software Authors:   Ioannis C. Demetriou
Referenced in: 8 Publications (2002–2022)
Related Software: FITPACK; Sheppack; QSHEP5D; CSHEP2D; TSHEP2D; QSHEP3D; …
Main Fields: Approximations and expansions (41-XX); Statistics (62-XX); Numerical analysis (65-XX)

Metaopt

Software Authors:   Cropper, Andrew; Muggleton, Stephen H.
Referenced in: 9 Publications (2019–2022)
Related Software: Metagol; GitHub; GOLEM; Aleph; ProbLog; Clingo; …
Main Fields: 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)

SDSL

Software Authors:   Johannes Bader; Timo Beller; Simon Gog (Creator); Matthias Petri
Referenced in: 9 Publications (2013–2019)
Related Software: GitHub; succinct; bcm; bzip2; 7-Zip; zpaq; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Segmentor3IsBack

Software Authors:   Alice Cleynen, Michel Koskas, Emilie Lebarbier, Guillem Rigaill, Stephane Robin
Referenced in: 5 Publications (2017–2021)
Related Software: changepoint; wbs; R; FDRSeg; stepR; not; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX)

Amortized Complexity

Software Authors:   Tobias Nipkow
Referenced in: 8 Publications (2015–2021)
Related Software: Archive Formal Proofs; HOL; Isabelle/HOL; Isabelle; Coq; Root Balanced Tree; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-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)

HOSIM

Software Authors:   Mustapha, H.; Dimitrakopoulos, R.
Referenced in: 8 Publications (2013–2021)
Related Software: SGeMS; GSLIB; DSSIM-HR; CDFSIM; SNESIM; MPSlib; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Geophysics (86-XX)

MDL4BMF

Software Authors:   Miettinen P, Vreeken J
Referenced in: 8 Publications (2015–2022)
Related Software: Krimp; UCI-ml; MODL; blockcluster; OscaR; GraphBase; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX)

NSPLib

Software Authors:   Vanhoucke, M., Maenhout, B.
Referenced in: 7 Publications (2008–2020)
Related Software: LINDO; Essence; SIMPLY; PicoSAT; MiniZinc; Yices; …
Main Fields: Operations research, mathematical programming (90-XX)

occam-pi

Software Authors:   Welch, Peter H.; Barnes, Frederick R.M.
Referenced in: 6 Publications (2005–2021)
Related Software: Pict; KRoC; Boids; Intel TBB; Eraser; Cilk; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

RSPOP

Software Authors:   Ang, Kai Keng; Quek, Chai
Referenced in: 4 Publications (2005–2021)
Related Software: GenSoFNN; ANFIS; clusfind; Kernlab; R; DENFIS
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Systems theory; control (93-XX)

SoftPOSIT

Software Authors:   David, Philip; DeMenthon, Daniel; Duraiswami, Ramani; Samet, Hanan
Referenced in: 4 Publications (2002–2020)
Related Software: Polyjam; CAP3; Bertini; fastLink; robustbase; CVX; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

TopologyNet

Software Authors:   Zixuan Cang, Guo-Wei Wei
Referenced in: 8 Publications (2020–2022)
Related Software: Ripser; PersistenceImages; javaPlex; Dionysus; PHAT; Gudhi; …
Main Fields: Combinatorics (05-XX); Differential geometry (53-XX); Algebraic topology (55-XX)

Utopia

Software Authors:   P. Zulian, A. Kopaničáková, M.C.G. Nestola, A. Fink, N. Fadel, V. Magri, T. Schneider, E. Botter
Referenced in: 8 Publications (2018–2022)
Related Software: PETSc; ParMoonolith; libMesh; MOOSE; MeshIt; PorePy; …
Main Fields: Operator theory (47-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

acss

Software Authors:   Nicolas Gauvrit; Henrik Singmann; Fernando Soler Toscano; Hector Zenil
Referenced in: 7 Publications (2013–2020)
Related Software: OACC; OEIS; DIMACS
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Atropos

Software Authors:   Stephen F. Bush; Amit Kulkarn
Referenced in: 2 Publications (2004–2010)
Related Software: PLAN
Main Fields: Computer science (68-XX)

D-STEM

Software Authors:   Yaqiong Wang, Francesco Finazzi, Alessandro Fassò
Referenced in: 4 Publications (2016–2020)
Related Software: Stem; INLA; gstat; Matlab; R; ggmap; …
Main Fields: Statistics (62-XX); Geophysics (86-XX)

Klocwork

Software Authors:   Rogue Wave Software, Inc.
Referenced in: 3 Publications (2007–2021)
Related Software: FindBugs; CodeSonar; STANSE; Cascade; QEMU; SMACK; …
Main Fields: Computer science (68-XX)

MultiCluster

Software Authors:   Wang, Miaoyan; Fischer, Jonathan; Song, Yun S.
Referenced in: 7 Publications (2019–2022)
Related Software: CORALS; MultiwayRegression; tensorregress; SupCP; TensorReg; Wirtinger Flow; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX)

OACC

Software Authors:   Soler-Toscano F, Zenil H, Delahaye J-P, Gauvrit N
Referenced in: 7 Publications (2013–2020)
Related Software: acss; OEIS; DIMACS
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

RNAlign

Software Authors:   F Corpet, B Michot
Referenced in: 6 Publications (2000–2010)
Related Software: EzyPred; FoldRate; Euk-mPLoc; HIVcleave; Signal-CF; GPCR-CA; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

RTED

Software Authors:   Mateusz Pawlik, Nikolaus Augsten
Referenced in: 7 Publications (2015–2021)
Related Software: TED; KEGG; DendroPy; graph2vec; XRules; LIBSVM
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

CRYPTALL

Software Authors:   Ustimenko, V.O.; Touzene, A.
Referenced in: 6 Publications (2004–2011)
Related Software: CRYPTIM; Galois Field Arithmetic Library
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Dynamical systems and ergodic theory (37-XX)

ExaGeoStat

Software Authors:   Abdulah, S.; Ltaief, H.; Sun, Y.; Genton, M. G.; Keyes, D. E.
Referenced in: 4 Publications (2018–2019)
Related Software: FRK; geoR; spBayes; R; G-LiHT; CRAN Task Views; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

GADDI

Software Authors:   S. Zhang, S. Li, J. Yang
Referenced in: 4 Publications (2014–2019)
Related Software: Fg-index; TALE; SAPPER; GraphGrep; SAGA; GString; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

LargeVis

Software Authors:   Jian Tang, Jingzhou Liu, Ming Zhang, Qiaozhu Mei
Referenced in: 5 Publications (2018–2022)
Related Software: largeVis; UMAP; t-SNE; Scikit; UCI-ml; openTSNE; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

OpenVolumeMesh

Software Authors:   RWTH Aachen; M. Kremer, D. Bommes, L. Kobbelt
Referenced in: 6 Publications (2015–2020)
Related Software: Qhull; CGAL; Netgen; TetGen; LBIE; OpenFlipper; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

SNPHarvester

Software Authors:   Yang, C.; He, Z.; Wan, X.; Yang, Q.; Xue, H.; Yu, W.
Referenced in: 4 Publications (2014–2021)
Related Software: epiACO; DESeeker; GWAS Catalog; MACOED; GAMETES; Octave; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Swift

Software Authors:   M. Wilde, M. Hategan, J. Wozniak, B. Clifford, D. Katz, I. Foster
Referenced in: 2 Publications (2020–2021)
Related Software: Pegasus; MapReduce; Apache Spark; PyCOMPSs; ZeroMQ; Hadoop; …
Main Fields: Computer science (68-XX)

TiML

Software Authors:   Wang, P., Wang, D., Chlipala, A.
Referenced in: 6 Publications (2018–2021)
Related Software: TcT; z3; Separation Logic; OptiMathSAT; Amortized Complexity; KITTeL; …
Main Fields: Computer science (68-XX)

AIDE

Software Authors:   Sashank J. Reddi, Jakub Konečný, Peter Richtárik, Barnabás Póczós, Alex Smola
Referenced in: 5 Publications (2017–2020)
Related Software: DiSCO; HOGWILD; DSCOVR; ADD-OPT; Apache Spark; SGDLibrary; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

AlgoWiki

Software Authors:   V. Voevodin, A. Antonov, J. Dongarra
Referenced in: 5 Publications (2017–2021)
Related Software: CAE Fidesys; SPL Conqueror; Scalasca; TAU; HPCTOOLKIT; BTSystem; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)