×

Found 132 Software Packages (Results 1–100)

SMAC

Cited in 85 Documents (2010–2022)
Software Authors: Frank Hutter, Holger Hoos, Kevin Leyton-Brown, Kevin Murphy, Steve Ramage
Related Software: Paramils; Spearmint; irace; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

bnlearn

Cited in 61 Documents (2009–2022)
Software Authors: Marco Scutari
Related Software: R; pcalg; TETRAD; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX); …

ParEGO

Cited in 61 Documents (2005–2022)
Software Authors: Knowles, Joshua; Hughes, Evan J.
Related Software: EGO; MOEA/D; SPEA2; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

SYMPHONY

Cited in 38 Documents (2001–2022)
Software Authors: Ladányi, Laszlo; Ralphs, Ted K.; Trotter, Leslie E. jun
Related Software: ABACUS; CPLEX; XPRESS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …

OPL

Cited in 37 Documents (2000–2023)
Software Authors: Van Hentenryck, Pascal; Perron, Laurent; Puget, Jean-Francois
Related Software: AMPL; CHIP; SALSA; …
Main Fields: History and biography (01-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Blossom IV

Cited in 34 Documents (1999–2020)
Software Authors: Cook, William; Rohe, André
Related Software: TSPLIB; Blossom V; DIMACS; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX); …

EfficientNet

Cited in 26 Documents (2019–2023)
Software Authors: Mingxing Tan, Quoc V. Le
Related Software: ImageNet; CIFAR; AlexNet; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Beam-ACO

Cited in 22 Documents (2004–2022)
Software Authors: Christian Blum
Related Software: Sugar; AntNet; MACS-VRPTW; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

GeoSteiner

Cited in 25 Documents (2002–2023)
Software Authors: David Warme; Pawel Winter; Martin Zachariasen
Related Software: SteinLib; CPLEX; SCIP; …
Main Fields: Combinatorics (05-XX); Calculus of variations and optimal control; optimization (49-XX); Geometry (51-XX); …

ASTRAL-II

Cited in 24 Documents (2002–2022)
Software Authors: S. Mirarab, T. Warnow
Related Software: ASTRID; RAxML; BEAST; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …

Apriori

Cited in 9 Documents (2002–2021)
Software Authors: C. Borgelt
Related Software: Eclat; UCI-ml; gSpan; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

WinGULF

Cited in 23 Documents (1999–2023)
Software Authors: Bajalinov, Erik B.
Related Software: MOLFP; BARON; MOILFP; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); …

MathWebSearch

Cited in 21 Documents (2006–2021)
Software Authors: Michael Kohlhase, Bogdan A. Matican, Corneliu-Claudiu Prodescu
Related Software: OMDoc; MMT; Mizar; …
Main Fields: Mathematical logic and foundations (03-XX); Special functions (33-XX); Partial differential equations (35-XX); …

DIP

Cited in 21 Documents (2005–2022)
Software Authors: Ralphs, T.K., Galati, M.V.
Related Software: SCIP; GCG; CPLEX; …
Main Fields: Combinatorics (05-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …

semprop

Cited in 16 Documents (2002–2021)
Software Authors: Letz, Reinhold
Related Software: Quaffle; Bloqqer; QUBOS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ALPS

Cited in 17 Documents (2004–2022)
Software Authors: Ralphs, T.K.; Ládanyi, L.; Saltzman, M.J.
Related Software: BiCePS; CHiPPS; BLIS; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-XX); …

dbscan

Cited in 11 Documents (2019–2023)
Software Authors: Michael Hahsler, Matthew Piekenbrock, Sunil Arya, David Mount
Related Software: R; UCI-ml; fpc; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

LocalSolver

Cited in 16 Documents (2010–2019)
Software Authors: Benoist, Thierry; Estellon, Bertrand; Gardi, Frédéric; Megel, Romain; Nouioua, Karim
Related Software: COMET; CPLEX; SCIP; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

CHiPPS

Cited in 15 Documents (2004–2022)
Software Authors: Ralphs, T.K; COIN-OR; IBM
Related Software: SCIP; BiCePS; ALPS; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

FNN

Cited in 12 Documents (2011–2021)
Software Authors: Alina Beygelzimer, Sham Kakadet; John Langford; Sunil Arya; David Mount; Shengqiao Li
Related Software: R; randomForest; e1071; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX); …

GAPS

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

evtree

Cited in 10 Documents (2015–2022)
Software Authors: Thomas Grubinger, Achim Zeileis, Karl-Peter Pfeiffer
Related Software: rpart; R; UCI-ml; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

Genetree

Cited in 13 Documents (2000–2019)
Software Authors: Roderic D. M. Page
Related Software: Notung; iGTP; DynaDup; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …

TiGERS

Cited in 13 Documents (2000–2023)
Software Authors: Birkett Huber; Rekha Thomas
Related Software: Macaulay2; Gfan; Risa/Asir; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Computer science (68-XX); …

Zeno

Cited in 13 Documents (2012–2021)
Software Authors: Sonnex, William; Drossopoulou, Sophia; Eisenbach, Susan
Related Software: HipSpec; SMT-LIB; CVC4; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

AutoKeras

Cited in 5 Documents (2021–2022)
Software Authors: Haifeng Jin, Qingquan Song, Xia Hu
Related Software: auto-sklearn; Python; Auto-WEKA; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Quantum theory (81-XX); …

BRENDA

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

Decogo

Cited in 11 Documents (2018–2023)
Software Authors: Nowak, Ivo; Breitfeld, Norman; Hendrix, Eligius M. T.; Njacheun-Njanzoua, Grégoire
Related Software: MINLPLib; SHOT; SCIP; …
Main Fields: Operations research, mathematical programming (90-XX)

PhyML

Cited in 11 Documents (2004–2021)
Software Authors: Guindon S., Dufayard J.F., Lefort V., Anisimova M., Hordijk W., Gascuel O.
Related Software: MrBayes; BEAST; RAxML; …
Main Fields: Combinatorics (05-XX); Algebraic topology (55-XX); Statistics (62-XX); …

IDP3

Cited in 9 Documents (2015–2020)
Software Authors: Bruynooghe, Maurice; Blockeel, Hendrik; Bogaerts, Bart; De Cat, Broes; De Pooter, Stef; Jansen, Joachim; Labarre, Anthony; Ramon, Jan; Denecker, Marc; Verwer, Sicco
Related Software: clasp; WASP; DLV; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

SSAHA

Cited in 3 Documents (2005–2016)
Software Authors: Ning Z, Cox AJ, Mullikin JC
Related Software: Soap; BLAT; BLAST; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

STEM-hy

Cited in 9 Documents (2011–2022)
Software Authors:
Related Software: ASTRAL-II; ASTRID; BUCKy; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Biology and other natural sciences (92-XX); …

BiCePS

Cited in 9 Documents (2004–2020)
Software Authors: Ralphs, T.K.; L'adanyi, L.; Saltzman, M.J.
Related Software: ALPS; CHiPPS; BLIS; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CDNA

Cited in 8 Documents (2000–2017)
Software Authors: D. Loewenstern; P. N. Yianilos
Related Software: Matlab; DNACompress; ProCKSI; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX); …

DINS

Cited in 9 Documents (2007–2022)
Software Authors: Ghosh, Shubhashis
Related Software: FEASPUMP; MIPLIB; CPLEX; …
Main Fields: Operations research, mathematical programming (90-XX)

gBoost

Cited in 8 Documents (2009–2022)
Software Authors: Saigo, Hiroto; Nowozin, Sebastian; Kadowaki, Tadashi; Kudo, Taku; Tsuda, Koji
Related Software: gSpan; LIBSVM; AFGen; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Geometry (51-XX); Statistics (62-XX); …

KRIPKE

Cited in 8 Documents (1980–2005)
Software Authors: McRobbie, Michael A.; Thistlewaite, Paul B.; Meyer, Robert K.
Related Software: TABLEAUX; GLEFatinf
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

SNESIM

Cited in 7 Documents (2014–2022)
Software Authors: Strebelle, Sebastien; Cavelius, Claude
Related Software: HOSIM; CDFSIM; SGeMS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Statistical mechanics, structure of matter (82-XX); …

ConArg2

Cited in 7 Documents (2014–2022)
Software Authors: Bistarelli, S.; Rossi, F.; Santini, F.
Related Software: AFRA; MiniSat; Dungine; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

DPvis

Cited in 6 Documents (2005–2016)
Software Authors: Sinz, Carsten; Dieringer, Edda-Maria
Related Software: MiniSat; Chaff; SATGraf; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

FP-growth

Cited in 7 Documents (2013–2023)
Software Authors: Christian Borgelt
Related Software: CMAR; UCI-ml; ImageNet; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

mplrs

Cited in 6 Documents (2017–2020)
Software Authors: David Avis, Charles Jordan
Related Software: polymake; lrs; PORTA; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Ordinary differential equations (34-XX); …

SackinMinimizer

Cited in 7 Documents (2020–2021)
Software Authors: Fischer, Mareike
Related Software: OEIS; Mathematica; R; …
Main Fields: Combinatorics (05-XX); Measure and integration (28-XX); Biology and other natural sciences (92-XX)

somersd

Cited in 5 Documents (2011–2020)
Software Authors: Roger Newson
Related Software: Stata; word2vec; DeepRED; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX); …

BART-BMA

Cited in 6 Documents (2018–2022)
Software Authors: Hernández, Belinda; Raftery, Adrian E.; Pennington, Stephen R.; Parnell, Andrew C.
Related Software: BartPy; R; bartMachine; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX); …

DupTree

Cited in 5 Documents (2010–2021)
Software Authors: André Wehe; Mukul S. Bansal; J. Gordon Burleigh; Oliver Eulenstein
Related Software: ASTRID; MulRF; PhyloNet; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

HERBY

Cited in 5 Documents (1998–2004)
Software Authors: Newborn, Monty
Related Software: OTTER; TPTP; TGTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

STAMP

Cited in 2 Documents (2014–2020)
Software Authors:
Related Software: BioOptimizer; GAME; TRANSFAC; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

TRIOPT

Cited in 6 Documents (2005–2013)
Software Authors: Wu, Y.; Ozdamar, L.; Kumar, A.
Related Software: LGO; Global Optimization Toolbox For Maple; MCS; …
Main Fields: Global analysis, analysis on manifolds (58-XX); Statistics (62-XX); Numerical analysis (65-XX); …

CLPGUI

Cited in 3 Documents (2009–2016)
Software Authors: Fages, F., Soliman, S., Coolen, R.
Related Software: Petriweb; BioModels; Metatool; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …

DOGS

Cited in 5 Documents (2021–2022)
Software Authors: Libralesso, Luc; et al.
Related Software: emili; DOGS-PFSP; GitHub
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Julius

Cited in 0 Documents
Software Authors: Lee A, Kawahara A, Shikano K
Related Software: fairseq; Lingvo; Espresso; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

KLIMT

Cited in 5 Documents (2002–2011)
Software Authors: Conversano, Claudio
Related Software: iplots; R; XGobi; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX); …

MCTS-Solver

Cited in 5 Documents (2008–2014)
Software Authors: Mark H.M. Winands, Yngvi Björnsson, Jahn-Takeshi Saito
Related Software: GIB
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

MulRF

Cited in 5 Documents (2017–2021)
Software Authors: Chaudhary R, Fernandez-Baca D, Burleigh JG
Related Software: ASTRID; RAxML; ASTRAL-II; …
Main Fields: General and overarching topics; collections (00-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

NPen++

Cited in 3 Documents (2004–2009)
Software Authors: S. Jäger, S. Manke, A. Waibel
Related Software: SVM Toolbox
Main Fields: Computer science (68-XX)

Oz Explorer

Cited in 4 Documents (2009–2018)
Software Authors: Schulte, C.
Related Software: Oz; CHIP; DiSCiPl; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

QPsimplex

Cited in 5 Documents (2019–2021)
Software Authors: Atamtürk, Alper; Gómez, Andrés
Related Software: Mosek; SeDuMi; Gurobi; …
Main Fields: Operations research, mathematical programming (90-XX)

Root Balanced Tree

Cited in 5 Documents (2017–2020)
Software Authors: Tobias Nipkow
Related Software: Isabelle/HOL; Archive Formal Proofs; HOL; …
Main Fields: Number theory (11-XX); Computer science (68-XX)

AFOPT

Cited in 2 Documents (2011–2018)
Software Authors: G. Liu, H. Lu, J.X. Yu, W. Wang, X. Xiao
Related Software: Twister; Hadoop; MapReduce; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

Anima

Cited in 4 Documents (2014–2016)
Software Authors: Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia
Related Software: Maude; Web-TLR; DDebugger; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Compadre

Cited in 4 Documents (2020–2022)
Software Authors: Kuberry, P.; Bosler, P.; Trask, N.
Related Software: Trilinos; MueLu; DistMesh; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX); …

HIBITS

Cited in 4 Documents (2018–2020)
Software Authors: Gao, Xu; Shahbaba, Babak; Ombao, Hernando
Related Software: HINT; astsa; EEGLAB; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX)

MoHex

Cited in 4 Documents (2014–2023)
Software Authors: Huang, Shih-Chieh; Arneson, Broderick; Hayward, Ryan B.; Müller, Martin; Pawlewicz, Jakub
Related Software:
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

PatMaN

Cited in 2 Documents (2010–2012)
Software Authors: Prüfer, K., Stenzel, U., Dannemann, M., Green, R.E., Lachmann, M., Kelso, J
Related Software: SHRiMP; PASS; BWA; …
Main Fields: General and overarching topics; collections (00-XX); Biology and other natural sciences (92-XX)

ToOLS

Cited in 4 Documents (2005–2006)
Software Authors: de Givry S., Jeannin L.
Related Software: OPL; SALSA; Modeler; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

AdaptiveStressTesting.jl

Cited in 1 Document (2021)
Software Authors: Ritchie Lee
Related Software: Breach; S-TaLiRo; OpenAI Gym; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ALFRED

Cited in 3 Documents (2017–2018)
Software Authors: Thankachan, S.; Chockalingam, S.P.; Liu, Y.; Apostolico, A.; Aluru, S.
Related Software: BWA; Bowtie 2; Spark; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

Algorithm 632

Cited in 3 Documents (1985–1997)
Software Authors: Martello, Silvano; Toth, Paolo
Related Software:
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

AntBot

Cited in 2 Documents (2012–2014)
Software Authors: G. Yan, D. T. Ha, S. Eidenbenz
Related Software:
Main Fields: Combinatorics (05-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

APT

Cited in 3 Documents (2009–2018)
Software Authors: Carro, M., Hermenegildo, M.V.
Related Software: Oz Explorer; SMTS; PKind; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Gaphyl

Cited in 2 Documents (2001–2007)
Software Authors: Congdon, Clare Bates
Related Software: PHYLIP; PAUP*; fastDNAml
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

KDTREE

Cited in 3 Documents (2011–2014)
Software Authors: Matthew B. Kennel
Related Software: PIC-MCC; hypre; SEPRAN
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Statistical mechanics, structure of matter (82-XX); …

MINLPB4

Cited in 3 Documents (2012–2020)
Software Authors: T. Lehmann, K. Schittkowski
Related Software: MISQPN; MINLPLib; Schittkowski; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …

MultiPhyl

Cited in 2 Documents (2010–2015)
Software Authors: Keane TM, Naughton TJ, McInerney JO
Related Software: PAML; apTreeshape; R; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

MurTree

Cited in 3 Documents (2021–2022)
Software Authors: Emir Demirović, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Peter J. Stuckey
Related Software: GOSDT; UCI-ml; ORL; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

NanoNET

Cited in 1 Document (2022)
Software Authors: M. V. Klymenko, J. A. Vaitkus, J. S. Smith, J. H. Cole
Related Software: Kwant; PythTB; Qsymm; …
Main Fields: Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)

QuickTrace

Cited in 3 Documents (2002–2014)
Software Authors: Bruneel, Herman C. J.; De Rycke, Igor
Related Software: PRONTO3D; LS-DYNA
Main Fields: Mechanics of deformable solids (74-XX)

R-SATCHMO

Cited in 2 Documents (2004–2005)
Software Authors: He, Lifeng; Chao, Yuyan; Itoh, Hidenori
Related Software: SATCHMOREBID; I-SATCHMO; SATCHMO; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Treaps

Cited in 3 Documents (2018–2020)
Software Authors: Maximilian Haslbeck, Manuel Eberl, Tobias Nipkow
Related Software: Isabelle/HOL; QuickSort Cost; Density Compiler; …
Main Fields: Computer science (68-XX)

tw-heuristic

Cited in 3 Documents (2017–2019)
Software Authors: Gaspers, Serge; Gudmundsson, Joachim; Jones, Mitchell; Mestre, Julián; Rümmele, Stefan
Related Software: ComputeTW; GitHub
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

binstretch

Cited in 2 Documents (2017–2022)
Software Authors: Böhm, M
Related Software: Choco; OpenMPI; LEDA; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

BIO Phylo

Cited in 1 Document (2017)
Software Authors: Vos, R.A.; Caravas, J.; Hartmann, K.; Jensen, M.A.; Miller, C.
Related Software: PERL; ape; FairShapley; …
Main Fields: Biology and other natural sciences (92-XX)

BranchBoundforWSN

Cited in 2 Documents (2021–2022)
Software Authors: Zhu, Xiaojun; Tang, Shaojie
Related Software: GitHub; CPLEX
Main Fields: Operations research, mathematical programming (90-XX)

Cluster-GCN

Cited in 2 Documents (2022–2023)
Software Authors: Wei-Lin Chiang, Xuanqing Liu, Si Si, Yang Li, Samy Bengio, Cho-Jui Hsieh
Related Software: FastGCN; Adam; UMAP; …
Main Fields: Computer science (68-XX)

CyLP

Cited in 2 Documents (2016–2021)
Software Authors: Towhidi, Mehdi; Orban, Dominique
Related Software: cyipopt; PyLPSolve; Python; …
Main Fields: Operations research, mathematical programming (90-XX)

D* Extra Lite

Cited in 2 Documents (2017–2019)
Software Authors: Przybylski, Maciej; Putz, Barbara
Related Software: D*Lite
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

Eureka!

Cited in 1 Document (2002)
Software Authors: Manco, Giuseppe; Pizzuti, Clara; Talia, Domenico
Related Software:
Main Fields: Computer science (68-XX)

FlipCut

Cited in 2 Documents (2011–2013)
Software Authors: Brinkmeyer, Malte; Griebel, Thasso; B"ocker, Sebastian
Related Software: PAUP*; PhySIC; RAxML; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

GraphCodeBERT

Cited in 0 Documents
Software Authors: Daya Guo, Shuo Ren, Shuai Lu, Zhangyin Feng, Duyu Tang, Shujie Liu, Long Zhou, Nan Duan, Alexey Svyatkovskiy, Shengyu Fu, Michele Tufano, Shao Kun Deng, Colin Clement, Dawn Drain, Neel Sundaresan, Jian Yin, Daxin Jiang, Ming Zhou
Related Software: Devign; CodeBLEU; BLEU; …
Main Fields:

k-D tree

Cited in 2 Documents (2014–2019)
Software Authors: Shechter G.
Related Software: Matlab; rbf_qr; Kdtree
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Information and communication theory, circuits (94-XX)

MinDouble

Cited in 2 Documents (2020–2022)
Software Authors: Omer, Jérémy; Gonçalves, Douglas S.
Related Software: MIN REVORDER; MD-jeep
Main Fields: Operations research, mathematical programming (90-XX)

MnasNet

Cited in 1 Document (2021)
Software Authors: Mingxing Tan, Bo Chen, Ruoming Pang, Vijay Vasudevan, Mark Sandler, Andrew Howard, Quoc V. Le
Related Software: T2T-ViT; AutoSlim; FBNetV2; …
Main Fields: Statistical mechanics, structure of matter (82-XX)

PACHI

Cited in 1 Document (2016)
Software Authors: Baudis, Petr; Gailly, Jean-loup
Related Software:
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

SimCT

Cited in 0 Documents
Software Authors: Herrmann C, Bérard S, Tichit L
Related Software: FUNC
Main Fields:

Splay Tree

Cited in 2 Documents (2016–2019)
Software Authors: Nipkow, T.
Related Software: Archive Formal Proofs; Amortized Complexity; HOL; …
Main Fields: Computer science (68-XX)

TreeCANN

Cited in 1 Document (2017)
Software Authors: Igor Olonetsky; Shai Avidan
Related Software: SCALP; SuperPatchMatch
Main Fields: Information and communication theory, circuits (94-XX)

Auto-Surprise

Cited in 0 Documents
Software Authors: Rohan Anand, Joeran Beel
Related Software: Hypermax; H2O; Auto-WEKA; …
Main Fields:

BiMine+

Cited in 1 Document (2018)
Software Authors: Ayadi, W; Elloumi, M; Hao, J
Related Software: apcluster; Bsig; BicPAM; …
Main Fields: Statistics (62-XX); Quantum theory (81-XX)

BulkTree

Cited in 1 Document (2006)
Software Authors: Gong, An; Ding, Guiguang; Dai, Qionghai; Lin, Chuang
Related Software:
Main Fields: Computer science (68-XX)

Filter Results by …

all top 5

Related Software

all top 3

Main Field