×

Found 519 Software Packages (Results 1–100)

fda (R)

Software Authors:   J. O. Ramsay, Hadley Wickham, Spencer Graves, Giles Hooker
Cited in: 1,563 Publications (1997–2022)
Related Software: R; SemiPar; ElemStatLearn; fda.usc; refund; KernSmooth; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

GloptiPoly

Software Authors:   Didier Henrion; Jean-Bernard Lasserre; Johan Loefberg
Cited in: 330 Publications (2003–2022)
Related Software: SeDuMi; YALMIP; Sostools; SDPT3; Matlab; SparsePOP; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

LMFDB

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

ELAN

Software Authors:   Peter Borovansky, Eric Deplagne, Claude Kirchner, Helene Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
Cited in: 105 Publications (1996–2020)
Related Software: Maude; OBJ3; CafeOBJ; Stratego; Haskell; ATERM; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

QuickCheck

Software Authors:   Koen Claessen; John Hughes
Cited in: 87 Publications (2001–2022)
Related Software: Haskell; Coq; SmallCheck; Isabelle/HOL; z3; Isabelle; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Brain Connectivity Toolbox

Software Authors:   Rubinov M, Sporns O.
Cited in: 91 Publications (2011–2022)
Related Software: BrainNet Viewer; GenLouvain; glasso; CliqueTop; GitHub; MVGC; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)

Cytoscape

Software Authors:   Shannon P, Markiel A, Ozier O, Baliga NS, Wang JT, Ramage D, Amin N, Schwikowski B, Ideker T
Cited in: 44 Publications (2007–2022)
Related Software: KEGG; R; IntAct; Bioconductor; Gephi; BioGRID; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

BABEL

Software Authors:   Mario Rodriguez-Artalejo
Cited 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)

fda.usc

Software Authors:   Manuel Febrero Bande; Manuel Oviedo de la Fuente; Pedro Galeano; Alicia Nieto; Eduardo Garcia-Portugues
Cited in: 62 Publications (2012–2022)
Related Software: fda (R); R; refund; Rainbow; ggplot2; robustbase; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

mboost

Software Authors:   Torsten Hothorn; Peter Bühlmann; Thomas Kneib; Matthias Schmid; Benjamin Hofner; Fabian Sobotka; Fabian Scheipl
Cited in: 57 Publications (2007–2022)
Related Software: R; mgcv; gamair; GAMLSS; gbm; gamboostLSS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

refund

Software Authors:   Goldsmith, J.; Greven, S.; Crainiceanu, C.
Cited in: 63 Publications (2012–2022)
Related Software: fda (R); R; SemiPar; gamair; mgcv; fda.usc; …
Main Fields: Operator theory (47-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

CLEAN

Software Authors:   Plasmeijer, M.J.
Cited in: 55 Publications (1987–2016)
Related Software: Haskell; Miranda; Sparkle; Coq; ML; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

edgeR

Software Authors:   Mark D. Robinson; Davis J. McCarthy; Gordon K. Smyth
Cited in: 48 Publications (2011–2021)
Related Software: Bioconductor; R; DEseq; Voom; BaySeq; TopHat; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)

SIGNAL

Software Authors:   Nowak, David; Talpin, Jean-Pierre; Gautier, Thierry; Le Guernic, Paul
Cited in: 48 Publications (1987–2018)
Related Software: Esterel; LUSTRE; Ptolemy; Polychrony; Simulink; Coq; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

STRING

Software Authors:   Franceschini, A.; Szklarczyk, D.; Frankild, S.; Kuhn, M.; Simonovic, M.; Roth, A.; Lin, J.; Minguez, P.; Bork, P.; Von Mering, C.; Jensen, L. J.
Cited in: 48 Publications (2012–2022)
Related Software: KEGG; Cytoscape; R; BioGRID; IntAct; Bioconductor; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

FSL

Software Authors:   M.W. Woolrich, S. Jbabdi, B. Patenaude, M. Chappell, S. Makni, T. Behrens, C. Beckmann, M. Jenkinson, S.M. Smith
Cited in: 41 Publications (2008–2022)
Related Software: AFNI; R; FreeSurfer; Dipy; BayesDA; FMRISTAT; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Rainbow

Software Authors:   Han Lin Shang; Rob J Hyndman
Cited in: 44 Publications (2009–2022)
Related Software: fda (R); R; fda.usc; ftsa; Forecast; forecast; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

HLM

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

GHC

Software Authors:   Ueda, Kazunori
Cited 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)

ArrayExpress

Software Authors:   EMBL-EBI; Parkinson, Helen E.; Kapushesky, Misha; Shojatalab, Mohammadreza; Abeygunawardena, Niran; Coulson, R.; Farne, Anna; Holloway, Ele; Kolesnykov, N.; Lilja, P.; Lukk, M.; Mani, R.; Rayner, Tim; Sharma, Anjan; William, E.; Sarkans, Ugis; Brazma, Alvis
Cited in: 13 Publications (2007–2019)
Related Software: Bioconductor; R; gcrma; KEGG; affy; TM4; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

ARACNE

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

CLAIRE

Software Authors:   Caseau, Yves; Josset, François-Xavier; Laburthe, François
Cited in: 32 Publications (1998–2019)
Related Software: Oz; Choco; SALSA; BL data set; CHIP; ELAN; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

ABS

Software Authors:   Johnsen, E.B., Hähnle, R., Schäfer, J., Schlatte, R., Steffen, M.
Cited in: 31 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)

Rfam

Software Authors:   Burge SW, Daub J, Eberhardt R, Tate J, Barquist L, Nawrocki EP, Eddy SR, Gardner PP, Bateman A
Cited in: 24 Publications (2006–2019)
Related Software: Infernal; R; Rnamotif; ViennaRNA; BLAT; KEGG; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Computer science (68-XX)

HIP

Software Authors:   Wei-Ngan Chin; Huu Hai Nguyen; Cristina David; Cristian Gherghina; Quang Loc Le; Ton-Chanh Le; Asankhaya Sharma
Cited in: 30 Publications (2007–2021)
Related Software: Smallfoot; VeriFast; Slide; Coq; z3; Infer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

REVEAL

Software Authors:   Liang, S., Fuhrman, S., Somogyi, R
Cited in: 24 Publications (2003–2022)
Related Software: KEGG; R; BoolNet; E-CELL; t-SNE; GEPASI; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Beluga

Software Authors:   Brigitte Pientka; Joshua Dunfield
Cited in: 28 Publications (2010–2022)
Related Software: Twelf; Abella; Coq; PoplMark; Isabelle/HOL; Agda; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

APS

Software Authors:   Letichevsky, A.A.; Kapitonova, J.V.; Konozenko, S.V.
Cited in: 26 Publications (1993–2012)
Related Software: APS-1; hiCUDA; BSGP; GLift; CUDA; PARTHEO; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Group theory and generalizations (20-XX); Ordinary differential equations (34-XX)

funHDDC

Software Authors:   C. Bouveyron; J. Jacques
Cited in: 26 Publications (2011–2022)
Related Software: fda (R); R; funFEM; AS 136; fda.usc; MBCbook; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Virtual library

Software Authors:   Surjanovic, S., Bingham, D.
Cited in: 28 Publications (2015–2022)
Related Software: EGO; DiceOptim; DiceKriging; L-BFGS; laGP; Spearmint; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

Kernel-LEAF

Software Authors:   Elio Giovannetti; Giorgio Levi; Corrado Moiso; Catuscia Palamidessi
Cited in: 28 Publications (1991–2013)
Related Software: BABEL; TOY; Curry; PAKCS; Haskell; Maude; …
Main Fields: Computer science (68-XX)

fdasrvf

Software Authors:   J. Derek Tucker
Cited in: 25 Publications (2013–2022)
Related Software: fda (R); R; refund; PhysioToolkit; funHDDC; MFPCA; …
Main Fields: Global analysis, analysis on manifolds (58-XX); Statistics (62-XX); Numerical analysis (65-XX)

AFNI

Software Authors:   Robert W. Cox
Cited in: 16 Publications (2008–2022)
Related Software: FSL; R; FMRISTAT; RNiftyReg; AnalyzeFMRI; oro.nifti; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

SciANN

Software Authors:   Haghighat, Ehsan; Juanes, Ruben
Cited in: 25 Publications (2021–2023)
Related Software: TensorFlow; Adam; DiffSharp; DeepXDE; SimNet; PyTorch; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

pffr

Software Authors:   Fabian Scheipl, Sonja Greven
Cited in: 25 Publications (2017–2022)
Related Software: fda (R); R; gamair; refund; FDboost; SemiPar; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Computer science (68-XX)

GET

Software Authors:   Mari Myllymäki, Tomáš Mrkvička, Pavel Grabarnik, Ute Hahn, Mikko Kuronen, Michael Rost, Henri Seijo
Cited in: 23 Publications (2016–2022)
Related Software: R; bootlib; fda (R); spatial; fda.usc; spatstat; …
Main Fields: Algebraic topology (55-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

ddalpha

Software Authors:   Oleksii Pokotylo, Pavlo Mozharovskyi, Rainer Dyckerhoff
Cited in: 19 Publications (2015–2022)
Related Software: R; fda.usc; DepthProc; depth; fda (R); modQR; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

PAG

Software Authors:   Martin, Florian
Cited in: 20 Publications (1996–2018)
Related Software: NINJA; BLAS; MPI/MPICH; PHiPAC; PLAPACK; FFTW; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

GOstat

Software Authors:   Tim Beißbarth; Terence P. Speed
Cited in: 13 Publications (2004–2018)
Related Software: FatiGO; R; KEGG; CLENCH; BiNGO; Bioconductor; …
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Statistics (62-XX)

FreeSurfer

Software Authors:   Bruce Fischl
Cited in: 14 Publications (2016–2022)
Related Software: FSL; Gmsh; MRtrix; R; Python; ParaView; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Lore

Software Authors:   McHugh J, Abiteboul S, Goldman R, Quass D, Widom J.
Cited in: 6 Publications (2002–2010)
Related Software: XPath; XQuery; ViST; PRIX; Lorel; TIMBER; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Delphin

Software Authors:   Schürmann, C., Fontana, R., Liao, Y., Poswolsky, A.
Cited in: 17 Publications (2003–2020)
Related Software: Twelf; Coq; Beluga; Abella; Isabelle/HOL; Isabelle; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Demography

Software Authors:   Rob J Hyndman, Heather Booth, Leonie Tickle. John Maindonald
Cited in: 15 Publications (2006–2022)
Related Software: R; StMoMo; forecast; MortalitySmooth; Human Mortality; gnm; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Hood

Software Authors:   A. Gill
Cited in: 16 Publications (2001–2012)
Related Software: Hat; Freja; Haskell; TOY; Maude; Web-TLR; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

iPhos-PseEvo

Software Authors:   Qiu, W.R.; Sun, B.Q.; Xiao, X.
Cited in: 18 Publications (2016–2021)
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)

DeepAdverserialRegulariser

Software Authors:   Sebastian Lunz, Ozan Öktem, Carola-Bibiane Schönlieb
Cited in: 17 Publications (2019–2022)
Related Software: NETT; Adam; U-Net; GitHub; ODL; LoDoPaB-CT; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

GATK

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

Monomvn

Software Authors:   Robert B. Gramacy
Cited in: 15 Publications (2010–2022)
Related Software: R; glmnet; glasso; ElemStatLearn; MASS (R); CRAN; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)

PANTHER

Software Authors:   Mi H, Muruganujan A, Thomas PD
Cited in: 10 Publications (2010–2021)
Related Software: PSI-BLAST; UniProt; KEGG; BLAST; STRING; IntAct; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Computer science (68-XX)

FDboost

Software Authors:   Sarah Brockhaus, David Ruegamer, Torsten Hothorn
Cited in: 12 Publications (2015–2022)
Related Software: R; refund; fda (R); pffr; gamair; SemiPar; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Quat-2L

Software Authors:   Xiao, X.; Wang, P.; Chou, K. C.
Cited in: 15 Publications (2010–2018)
Related Software: GPCR-GIA; Cell-PLoc; GPCR-CA; GPCR-2L; Plant-mPLoc; iLoc-Virus; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

AneuRisk65

Software Authors:   Sangalli, Laura M.; Secchi, Piercesare; Vantini, Simone
Cited in: 14 Publications (2014–2019)
Related Software: fda (R); fdakma; fdatest; Flavia; R; Matlab; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

GeneCards

Software Authors:   Fishilevich, S., Zimmerman, S., Kohn, A., Stein, T. I., Olender, T., Kolker, E., Safran, M., Lancet, D
Cited in: 10 Publications (2006–2022)
Related Software: KEGG; STRING; BLAST; PSI-BLAST; R; Cytoscape; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

NESL

Software Authors:   Blelloch, Guy E.
Cited in: 14 Publications (1994–2022)
Related Software: Haskell; MapReduce; GHC; CUDA; MGS; SETL; …
Main Fields: General algebraic systems (08-XX); Computer science (68-XX)

Notung

Software Authors:   Chen, K.; Durand, D.; Farach-Colton, M.
Cited in: 13 Publications (2005–2019)
Related Software: RAxML; GIGA; Genetree; TreeFix; ecceTERA; PHYLIP; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

EasyCheck

Software Authors:   Jan Christiansen; Sebastian Fischer
Cited in: 10 Publications (2009–2020)
Related Software: QuickCheck; Curry; SmallCheck; Haskell; Church; PAKCS; …
Main Fields: Computer science (68-XX)

FACTORIE

Software Authors:   Andrew McCallum, Karl Schultz, Sameer Singh
Cited in: 11 Publications (2011–2020)
Related Software: Church; IBAL; ProbLog; BLOG; Haskell; Infer.NET; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

fdatest

Software Authors:   Pini, Alessia; Vantini, Simone
Cited in: 12 Publications (2016–2021)
Related Software: fda (R); R; gprege; AneuRisk65; bootlib; fdahotelling; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

GUM

Software Authors:   Trinder, P.W., Hammond, K., Mattson, J.S. Jr., Partridge, A.S., Peyton Jones, S.L.
Cited in: 12 Publications (1997–2016)
Related Software: Haskell; Eden; GHC; Multilisp; Symgrid; MapReduce; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Leon

Software Authors:   Régis Blanc; Viktor Kuncak; Etienne Kneuss; Philippe Suter
Cited in: 12 Publications (2014–2022)
Related Software: CVC4; Dafny; z3; Isabelle/HOL; SMT-LIB; Why3; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

VTDIRECT95

Software Authors:   Jian He; Layne T. Watson; Masha Sosonkina
Cited in: 13 Publications (2009–2022)
Related Software: DIRECT; NOMAD; DFL; MultiMin; MrDIRECT; QNSTOP; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

AnalyzeFMRI

Software Authors:   P Lafaye de Micheaux, J L Marchini
Cited in: 1 Publication (2018)
Related Software: R; fmri; RNiftyReg; oro.nifti; cudaBayesreg; oro.dicom; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Fran

Software Authors:   Elliott, Conal; Hudak, Paul
Cited in: 9 Publications (1997–2020)
Related Software: Haskell; Esterel; Yampa; TBAG; Cayuga; Apache Spark; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Statistics (62-XX)

Galaxy

Software Authors:   Belinda Giardine, Cathy Riemer, Ross C. Hardison, Richard Burhans, Laura Elnitski, Prachi Shah, Yi Zhang, Daniel Blankenberg, Istvan Albert, James Taylor, Webb Miller, W. James Kent, Anton Nekrutenko
Cited in: 7 Publications (2009–2018)
Related Software: R; Bioconductor; TopHat; edgeR; STAR; BLAT; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Computer science (68-XX)

GeneMANIA

Software Authors:   Mostafavi, S., Ray, D., Warde-Farley, D., Grouios, C., Morris, Q.
Cited 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)

KmL

Software Authors:   Genolini, Christophe; Falissard, Bruno
Cited in: 10 Publications (2010–2019)
Related Software: R; clusfind; ggplot2; Mplus; kml3d; Silhouettes; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

BRENDA

Software Authors:   Ida Schomburg, Antje Chang, Christian Ebeling, Marion Gremse, Christian Heldt, Gregor Huhn, Dietmar Schomburg
Cited in: 6 Publications (2009–2021)
Related Software: KEGG; MetaCyc; AFGen; Graclus; PyTorch; GraphVAE; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

GCCA

Software Authors:   Anil K. Seth
Cited in: 9 Publications (2011–2021)
Related Software: MVGC; Brain Connectivity Toolbox; BSMART; EEGLAB; MuTE; QUIC; …
Main Fields: Statistics (62-XX); Statistical mechanics, structure of matter (82-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

GRASShopper

Software Authors:   R. Piskac, T. Wies, and D. Zufferey
Cited in: 10 Publications (2015–2023)
Related Software: Dafny; Viper; z3; Slide; Infer; HIP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

HOL-Z

Software Authors:   Basin, David; Kuruma, Hironobu; Takaragi, Kazuo; Wolff, Burkhart
Cited in: 5 Publications (2005–2011)
Related Software: Z; HOL; Isabelle/HOL; Circus; csp2B; VPM; …
Main Fields: Computer science (68-XX)

2LEV-D2P4

Software Authors:   Buttari, Alfredo; D'Ambra, Pasqua; di Serafino, Daniela; Filippone, Salvatore
Cited in: 10 Publications (2007–2021)
Related Software: MLD2P4; PSBLAS; BoomerAMG; Trilinos; SParC-LES; hypre; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

LOCSVMPSI

Software Authors:   Xie, D.; Li, A.; Wang, M.; Fan, Z.; Feng, H.
Cited in: 7 Publications (2008–2016)
Related Software: ESLpred; Cell-PLoc; Euk-PLoc; Esub8; WoLF PSORT; Euk-mPLoc; …
Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Statistics (62-XX); Computer science (68-XX)

Nengo

Software Authors:   T. Bekolay, J. Bergstra, E. Hunsberger, T. DeWolf, T. C. Stewart, D. Rasmussen, X. Choo, A. R. Voelker, C. Eliasmith
Cited in: 9 Publications (2015–2021)
Related Software: Pynn; TensorFlow; Python; Brian; NEST; PyTorch; …
Main Fields: Partial differential equations (35-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

VerCors

Software Authors:   Amighi, Afshin; Blom, Stefan; Darabi, Saeed; Huisman, Marieke; Mostowski, Wojciech; Zaharieva-Stojanovski, Marina
Cited in: 10 Publications (2014–2022)
Related Software: Viper; Dafny; Boogie; GPUVerify; Why3; Frama-C; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

ChEMBL

Software Authors:   Gaulton A, Bellis LJ, Bento AP, Chambers J, Davies M, Hersey A, Light Y, McGlinchey S, Michalovich D, Al-Lazikani B, Overington JP
Cited in: 7 Publications (2012–2022)
Related Software: DrugBank; KEGG; PubChem; CDK; MovieLens; BindingDB; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

DTAM

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

FRONTIER

Software Authors:   Coelli TJ
Cited in: 9 Publications (2005–2014)
Related Software: LIMDEP; frontier; gretl; SFAMB; Ox; Stata; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

KiCS2

Software Authors:   Braßel, Bernd; Hanus, Michael; Peemöller, Björn; Reck, Fabian
Cited in: 7 Publications (2009–2020)
Related Software: Curry; Haskell; PAKCS; Church; EasyCheck; CHR.js; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

MNE

Software Authors:   Gramfort, A., Luessi, M., Larson, E., Engemann, D. A., Strohmeier, D., Brodbeck, C.,Parkkonen, L., et al.
Cited in: 7 Publications (2015–2021)
Related Software: Python; Scikit; EEGLAB; NeuroDSP; Brainstorm; FieldTrip; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

SECT

Software Authors:   Crawford, Lorin; Monod, Anthea; Chen, Andrew X.; Mukherjee, Sayan; Rabadán, Raúl
Cited in: 10 Publications (2020–2023)
Related Software: SciPy; PersistenceImages; TDA; giotto-tda; Python; Scikit; …
Main Fields: Algebraic topology (55-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

starBase

Software Authors:   Li JH, Liu S, Zhou H et al
Cited in: 9 Publications (2012–2019)
Related Software: igraph; lncRNAdb; BioGRID; ARACNE; BLAT; KEGG; …
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Ordinary differential equations (34-XX)

Theseus

Software Authors:   James, R.P., Sabry, A.
Cited in: 9 Publications (2015–2022)
Related Software: Algeo; CauDEr; LRinv; Matita; Eiffel; BETA
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

fdapace

Software Authors:   Xiongtao Dai, Pantelis Z. Hadjipantelis, Hao Ji, Hans-Georg Mueller, Jane-Ling Wang
Cited in: 7 Publications (2020–2022)
Related Software: fda (R); R; mgcv; refund; spBayes; FDboost; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Integral equations (45-XX); Operator theory (47-XX)

GOTM

Software Authors:   Bing Zhang, Denise Schmoyer, Stefan Kirov; Jay Snoddy
Cited in: 6 Publications (2005–2014)
Related Software: FatiGO; KEGG; GOstat; DAVID; Onto-Tools; GOToolBox; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

ProTherm

Software Authors:   Bava, K. A.; Gromiha, M. M.; Uedaira, H.; Kitajima, K.; Sarai, A.
Cited in: 5 Publications (2005–2017)
Related Software: FoldX; E-DRAGON; SCPRED; PFRES; Signal-CF; SYBYL; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

rp.flm.test

Software Authors:   Cuesta-Albertos, Juan A.;García-Portugués, Eduardo; Febrero-Bande, Manuel; Gonz'alez-Manteiga, Wenceslao
Cited in: 9 Publications (2019–2021)
Related Software: fda (R); pffr; RobStatTM; robustbase; fdatest; fda.usc
Main Fields: General and overarching topics; collections (00-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

SPM

Software Authors:   FIL
Cited in: 1 Publication (2017)
Related Software: R; Matlab; fmri; cudaBayesreg; AFNI; oro.nifti; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

Amortized Complexity

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

Assimulo

Software Authors:   Andersson, C., Führer, C., Åkesson, J.
Cited in: 5 Publications (2015–2022)
Related Software: Python; F2PY; SUNDIALS; PyBOX; DASSL; Matlab; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

benchmark

Software Authors:   Manuel J. A. Eugster
Cited in: 8 Publications (2011–2019)
Related Software: R; UCI-ml; MASS (R); mlr; ElemStatLearn; randomForest; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)

CayleyNets

Software Authors:   Ron Levie, Federico Monti, Xavier Bresson, Michael M. Bronstein
Cited in: 7 Publications (2019–2023)
Related Software: DeepWalk; node2vec; STransE; PointNet; PyTorch; TensorFlow; …
Main Fields: Operator theory (47-XX); Numerical analysis (65-XX); Computer science (68-XX)

CFML

Software Authors:   Charguéraud, Arthur
Cited in: 7 Publications (2010–2015)
Related Software: Coq; ML; HOL; Haskell; Milawa; Smallfoot; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

EXPANDER

Software Authors:   Shamir, R.; Maron-Katz, A.; Tanay, A.; Linhart, C.; Steinfeld, I.; Sharan, R.; Shiloh, Y.; Elkon, R.
Cited in: 5 Publications (2011–2018)
Related Software: biclust; BicAT; UCI-ml; KEGG; BiVisu; BicNET; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

fdANOVA

Software Authors:   Górecki, Tomasz; Smaga, Łukasz
Cited in: 8 Publications (2019–2022)
Related Software: R; fda (R); mfds; GitHub; fda.usc; rrcov; …
Main Fields: General and overarching topics; collections (00-XX); Functional analysis (46-XX); Probability theory and stochastic processes (60-XX)

fds

Software Authors:   Han Lin Shang; Rob J Hyndman
Cited in: 8 Publications (2013–2022)
Related Software: fda (R); R; fda.usc; tourr; fdcov; ElemStatLearn; …
Main Fields: Statistics (62-XX)

geofd

Software Authors:   Giraldo, Ramón; Mateu, Jorge; Delicado, Pedro
Cited in: 7 Publications (2012–2022)
Related Software: fda (R); R; fdaPDE; gamair; geoR; CRAN; …
Main Fields: Approximations and expansions (41-XX); Statistics (62-XX); Numerical analysis (65-XX)

GPFDA

Software Authors:   Jian Qing Shi, Yafeng Cheng, Evandro Konzen
Cited in: 4 Publications (2011–2022)
Related Software: fda (R); R; fda.usc; mgcv; refund; FDboost; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

iPfam

Software Authors:   Finn RD, Miller BL, Clements J, Bateman A
Cited in: 3 Publications (2006–2018)
Related Software: Pfam; IntAct; KEGG; BioGRID; Cytoscape; BLAST; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Kleisli

Software Authors:   Wong, L.
Cited in: 6 Publications (2010–2017)
Related Software: Links; MapReduce; CDuce; GHC; Hive; Giraph; …
Main Fields: General algebraic systems (08-XX); Computer science (68-XX)

pyunicorn

Software Authors:   Jonathan F. Donges, Jobst Heitzig, Boyan Beronov, Marc Wiedermann, Jakob Runge, Qing Yi Feng, Liubov Tupikina, Veronika Stolbova, Reik V. Donner, Norbert Marwan, Henk A. Dijkstra, J. Kurths
Cited in: 6 Publications (2015–2021)
Related Software: SciPy; TISEAN; igraph; Python; NetworkX; NumPy; …
Main Fields: Combinatorics (05-XX); Dynamical systems and ergodic theory (37-XX); Statistics (62-XX)