×

Found 80 Software Packages (Results 1–80)

Adam

Software Authors:   Diederik P. Kingma, Jimmy Ba
Cited in: 1,114 Publications (2016–2023)
Related Software: TensorFlow; PyTorch; ImageNet; AlexNet; AdaGrad; GitHub; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

BOBYQA

Software Authors:   M.J.D. Powell
Cited in: 79 Publications (2011–2022)
Related Software: NEWUOA; DFO; MultiMin; UOBYQA; NLopt; NOMAD; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

alphaBB

Software Authors:   I.P. Androulakis , C.D. Maranas , C.A. FLOUDAS
Cited in: 49 Publications (1999–2016)
Related Software: CPLEX; SNOPT; BARON; INTOPT_90; GAMS; Matlab; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

POMDPS

Software Authors:   Ross, S.; Pineau, J.; Paquet, S.; Chaib-Draa, B.
Cited 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)

MULKNAP

Software Authors:   You, Byungjun; Yamada, Takeo
Cited in: 38 Publications (1999–2021)
Related Software: Knapsack; CPLEX; Gurobi; Tabu search; RAMP; BiqCrunch; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

InfoGAN

Software Authors:   Xi Chen, Yan Duan, Rein Houthooft, John Schulman, Ilya Sutskever, Pieter Abbeel
Cited in: 29 Publications (2017–2022)
Related Software: Wasserstein GAN; Adam; ImageNet; CIFAR; StyleGAN; MNIST; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

FDRSeg

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

VRPSolver

Software Authors:   Pessoa, A., Sadykov, R., Uchoa, E., Vanderbeck, F.
Cited in: 24 Publications (2019–2023)
Related Software: VRP; JuMP; BaPCod; CVRPSEP; CVRPSP; Cvrplib; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

MaxSolver

Software Authors:   Zhao Xing , Weixiong Zhang
Cited in: 19 Publications (2005–2013)
Related Software: Chaff; MiniMaxSat; MiniSat; Pueblo; PBS; UBCSAT; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

Split Step Explorer

Software Authors:   C. Cedzich, F. A. Grünbaum, C. Stahl, L. Velázquez, A. H. Werner, R. F. Werner
Cited in: 16 Publications (2016–2022)
Related Software: Mathematica
Main Fields: Partial differential equations (35-XX); Operator theory (47-XX); Probability theory and stochastic processes (60-XX)

Winnowing

Software Authors:   Schleimer, S., Wilkerson, D.S., Aiken, A.
Cited in: 7 Publications (2008–2022)
Related Software: CCFinder; CP-miner; YAP3; KMC; Minimap2; Gplag; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

GRAPPA

Software Authors:   Tang, Jijun; Moret, Bernard M.E.
Cited in: 11 Publications (2001–2019)
Related Software: PAUP*; GASTS; FastTree; RAxML; TSPLIB; iGTP; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

QFLib

Software Authors:   J. Hanke
Cited in: 12 Publications (2004–2022)
Related Software: Magma
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Global analysis, analysis on manifolds (58-XX)

Algorithm 489

Software Authors:   Floyd, R. W.; Rivest, R. L.
Cited in: 11 Publications (1980–2017)
Related Software: Find; Quicksort; Qhull; ProbCons; Biostrings; T-coffee; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

QuickHeapsort

Software Authors:   Diekert, Volker; Weiß, Armin
Cited in: 9 Publications (2000–2020)
Related Software: Quicksort; WikiSort; MoMQuickMergesort; Find; GitHub; DLMF; …
Main Fields: Computer science (68-XX)

CodingTheory

Software Authors:   Gashkov, Igor
Cited in: 9 Publications (2000–2020)
Related Software: Mathematica
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

Cross

Software Authors:   Zhang, Anru
Cited in: 10 Publications (2012–2022)
Related Software: Wirtinger Flow; rTensor; cross2D; gglasso; clusterpath; AS 136; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX)

OccBin

Software Authors:   Guerrieri, L; Iacoviello, M
Cited in: 10 Publications (2017–2022)
Related Software: Dynare; Gensys; Uhlig Toolkit
Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX)

COCA

Software Authors:   Fischer, Bernd; Modersitzki, Jan
Cited in: 9 Publications (1993–2020)
Related Software: Schwarz-Christoffel; SC Toolbox; Matlab; Harwell-Boeing sparse matrix collection; eigs; AAA; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Functions of a complex variable (30-XX); Partial differential equations (35-XX)

SDSL

Software Authors:   Johannes Bader; Timo Beller; Simon Gog (Creator); Matthias Petri
Cited in: 9 Publications (2013–2019)
Related Software: GitHub; succinct; TreeRePair; Sux4J; libcds; UbiCrawler; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

DifferentialElimination

Software Authors:   Ovchinnikov, Alexey; Pogudin, Gleb; Vo, Thieu N.
Cited in: 0 Publications
Related Software: SIAN; CASA; NesSomos; Bertini; RegularChains; Kronecker; …
Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX)

Go-ICP

Software Authors:   Jiaolong Yang, Hongdong Li, Dylan Campbell, Yunde Jia
Cited in: 8 Publications (2015–2021)
Related Software: 3DMatch; SIFT; TEASER++; SOSNet; L2-Net; Theia; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

MAIC

Software Authors:   Keiji Kimura, Hayato Waki
Cited in: 7 Publications (2016–2021)
Related Software: UCI-ml; R; CPLEX; ParaSCIP; SCIP; LAPACK; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

RFCM

Software Authors:   Maji, Pradipta; Pal, Sankar K.
Cited in: 7 Publications (2007–2021)
Related Software: UCI-ml; BSDS; k-means++; FSL; OpenML; clusfind; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

BBCPOP

Software Authors:   N. Ito, S. Kim, M. Kojima, A. Takeda, K.C. Toh
Cited in: 7 Publications (2018–2022)
Related Software: SDPNAL+; QAPLIB; SDPT3; GloptiPoly; SeDuMi; SCIP; …
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

EdgeRewire

Software Authors:   Chan, Hau; Akoglu, Leman
Cited in: 7 Publications (2016–2021)
Related Software: KONECT; NetComm; Pajek; NetworKit; igraph; SNAP; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)

TiML

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

condest

Software Authors:   –
Cited in: 6 Publications (1984–2021)
Related Software: Matlab; mctoolbox; LINPACK; EconDrop; CHOLMOD; AMPS; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

ELLFF

Software Authors:   Baig, Salman; Hall, Chris
Cited in: 6 Publications (2012–2022)
Related Software: SageMath; NTL
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX)

QPBOX

Software Authors:   Madsen, Kaj; Nielsen, Hans Bruun; Pınar, Mustafa Ç.
Cited in: 6 Publications (1999–2008)
Related Software: AAFAC; QSPLINE; gpcg; QPCOMP; SSVM
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

SpectralNet

Software Authors:   Uri Shaham, Kelly Stanton, Henry Li, Boaz Nadler, Ronen Basri, Yuval Kluger
Cited in: 5 Publications (2019–2021)
Related Software: t-SNE; RCV1; SyncSpecCnn; SinGAN; LaplacianSmoothing-GradientDescent; GitHub; …
Main Fields: Combinatorics (05-XX); Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX)

WPM3

Software Authors:   Ansótegui, Carlos; Gabàs, Joel
Cited in: 6 Publications (2017–2020)
Related Software: CCLS; Sat4j; QMaxSAT; Open-WBO-Inc; CCEHC; RC2; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

PROC NLP

Software Authors:   SAS
Cited in: 2 Publications (2014–2018)
Related Software: SAS; R; glm2; logbin; PROC GENMOD; SAS/IML; …
Main Fields: Statistics (62-XX)

IDonSquareGridR2

Software Authors:   Junnila, Ville
Cited in: 4 Publications (2013–2019)
Related Software: Mathematica
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

PhylogeneticTrees

Software Authors:   Baños, Hector; Bushek, Nathaniel; Davidson, Ruth; Gross, Elizabeth; Harris, Pamela E.; Krone, Robert; Long, Colby; Stewart, Allen; Walker, Robert
Cited in: 4 Publications (2019–2021)
Related Software: Macaulay2; polymake; Mathematica
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

PREP/KITT

Software Authors:   W.E. Vesely; R.E. Narum
Cited in: 4 Publications (1978–2015)
Related Software: MOCUS; ELRAFT; FATRAM; DBNet; RAM Commander FTA; FaultTree+; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)

Q-SiteFinder

Software Authors:   Alasdair T. R. Laurie, Richard M. Jackson
Cited in: 2 Publications (2014)
Related Software: LINCS; Gromacs; MrBayes; SETTLE; PyMOL; AutoDock Vina; …
Main Fields: Biology and other natural sciences (92-XX)

Algorithm 632

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

CLiMF

Software Authors:   Shi, Y.; Karatzoglou, A.; Baltrunas, L.; Larson, M.; Oliver, N.; Hanjalic, A.
Cited in: 3 Publications (2015–2018)
Related Software: EigenRank; CARES; PathRank; WSRank; VSRank; SibRank; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

FAMOCUTN

Software Authors:   W. Hennings; N. Kuznetsov
Cited in: 3 Publications (1994–2014)
Related Software: CRESSEX; PAFT F77; ELRAFT; FATRAM; PREP/KITT; MOCUS
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)

Karnak.sGbem

Software Authors:   Panzeca, T.; Parlavecchio, E.; Zito, L.; Gao, X.W.; Guo, X.
Cited in: 3 Publications (2013–2014)
Related Software: Matlab; Mathematica; BEMECH
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

NFFr

Software Authors:   Younes, A.
Cited in: 3 Publications (2015–2019)
Related Software: NFT; GAP
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

nonlinear_pseudoabscissa

Software Authors:   Meerbergen, Karl; Michiels, Wim; Van Beeumen, Roel; Mengi, Emre
Cited in: 3 Publications (2017–2018)
Related Software: ARPACK; PSAPSR; NLEIGS; Eigtool; NLEVP; Matlab; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

ODEA

Software Authors:   Oellrich, Martin
Cited in: 3 Publications (2008–2015)
Related Software: CPLEX; PlaNet
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

QMPE

Software Authors:   Andrew Heathcote, Scott Brown, Denis Cousineau
Cited in: 3 Publications (2008–2021)
Related Software: QMLE; S-PLUS; MEMSS; DMAT; Fast-dm; bootlib
Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

HyperFlow

Software Authors:   A. Tootoonchian, Y. Ganjali
Cited in: 2 Publications (2018–2020)
Related Software: GitHub; SGS; OpenFlowSIA; SDSNM; Flowfence; TDDAD; …
Main Fields: Computer science (68-XX)

ITPN-perfbound

Software Authors:   Pacini Naumovich, Elina; Bernardi, Simona; Gribaudo, Marco
Cited in: 1 Publication (2021)
Related Software:
Main Fields: Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

LocLok

Software Authors:   Xiao, Yonghui; Xiong, Li; Zhang, Si; Cao, Yang
Cited in: 2 Publications (2021–2022)
Related Software: SpaceTwist; MaPIR; Casper*; LP3Verif; CVC4; PRMLT
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

LZ-ABT

Software Authors:   Ohno, Tatsuya; Goto, Keisuke; Takabatake, Yoshimasa; I., Tomohiro; Sakamoto, Hiroshi
Cited in: 2 Publications (2018–2019)
Related Software:
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

NFT

Software Authors:   Younes, A.
Cited in: 2 Publications (2015–2019)
Related Software: NFFr; GAP
Main Fields: Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

OptSAT

Software Authors:   Giunchiglia, Enrico; Maratea, Marco
Cited in: 2 Publications (2006–2013)
Related Software: MiniSat; MaxHS; MSUnCore; MiniMaxSat; QMaxSAT; OPIUM; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

OTST

Software Authors:   Liu, Fulai; Wang, Jinkuan; Yu, Ge
Cited in: 2 Publications (2005–2007)
Related Software:
Main Fields: Information and communication theory, circuits (94-XX)

RAML

Software Authors:   –
Cited in: 2 Publications (2017–2021)
Related Software: OCaml; TcT; KoAT; TPDB; AProVE; z3; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

RingLoading

Software Authors:   Däubel, Karl
Cited in: 2 Publications (2020–2022)
Related Software: GitHub; Gurobi
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

sdols

Software Authors:   David B. Dahl, Peter Müller
Cited in: 1 Publication (2020)
Related Software: MLlib; SparkR; sparklyr; bamboo; shallot; Rserve; …
Main Fields: Statistics (62-XX)

SOS-SDP

Software Authors:   Piccialli, Veronica; Sudoso, Antonio M.; Wiegele, Angelika
Cited in: 2 Publications (2022)
Related Software: k-means++; SDPNAL+; UCI-ml; AS 136; Gurobi; sGDML; …
Main Fields: Operations research, mathematical programming (90-XX)

Warmr

Software Authors:   R. D. King, A. Srinivasan, L. Dehaspe
Cited in: 2 Publications (2005–2012)
Related Software: CrossMine; TreeWiz; MrBayes; CloSpan; CloseGraph; RadCon; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

Alpine.jl

Software Authors:   Bent, R., Nagarajan, H., Sundar, K., Wang, S., Hijazi, H.
Cited in: 1 Publication (2019)
Related Software: GitHub; JuMP; APOGEE; GloMIQO; MINLPLib; BARON; …
Main Fields: Operations research, mathematical programming (90-XX)

asymptor

Software Authors:   Hugo Gruson
Cited in: 1 Publication (2020)
Related Software: EstimateS
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

Bottema

Software Authors:   Huang, Fangjian
Cited in: 1 Publication (2018)
Related Software: Maple
Main Fields: Geometry (51-XX); Computer science (68-XX)

DenseSync

Software Authors:   Yoneda, Ryosuke; Tatsukawa, Tsuyoshi; Teramae, Jun-nosuke
Cited in: 1 Publication (2021)
Related Software: GitHub; JuMP; Julia
Main Fields: Ordinary differential equations (34-XX)

GALINI

Software Authors:   Francesco Ceccon, Ruth Misener
Cited in: 0 Publications
Related Software: AIMMS; JuMP; YALMIP; AMPL; GAMS; Python; …
Main Fields:

GTED

Software Authors:   Ali Ebrahimpour Boroojeny, Akash Shrestha, Ali Sharifi-Zarchi, Suzanne Renick Gallagher, S Cenk Sahinalp, Hamidreza Chitsaz
Cited in: 1 Publication (2019)
Related Software: Sibelia; CAMSA; hybridSPAdes; HINGE; Canu; Bandage; …
Main Fields: Biology and other natural sciences (92-XX)

howmany

Software Authors:   Nicolai Meinshausen
Cited in: 1 Publication (2010)
Related Software:
Main Fields: Statistics (62-XX); Numerical analysis (65-XX)

IQC-Game

Software Authors:   Zhang, Guodong; Bao, Xuchan; Lessard, Laurent; Grosse, Roger
Cited in: 1 Publication (2021)
Related Software: AlexNet; Wasserstein GAN; SBEED; GitHub; ImageNet; PESTO; …
Main Fields: Computer science (68-XX)

jack.S

Software Authors:   Christina Smith; Jeffrey Pontius
Cited in: 0 Publications
Related Software: S-PLUS
Main Fields:

leebounds

Software Authors:   Harald Tauchmann
Cited in: 1 Publication (2009)
Related Software:
Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

List Update Algorithms

Software Authors:   Maximilian P.L. Haslbeck, Tobias Nipkow
Cited in: 1 Publication (2016)
Related Software: seL4; PoplMark; Isabelle/HOL
Main Fields: Computer science (68-XX)

LMERConvenienceFunctions

Software Authors:   Antoine Tremblay, Dalhousie University, Johannes Ransijn, University of Copenhagen
Cited in: 0 Publications
Related Software: R; nullabor; ggplot2; Stata; SAS/STAT; Armadillo; …
Main Fields:

MADr-BMD

Software Authors:   Matthew W. Wheeler, A. John Bailer
Cited in: 0 Publications
Related Software: BMDS; GSL
Main Fields:

ManiSolve

Software Authors:   Baharev, Ali; Neumaier, Arnold; Schichl, Hermann
Cited in: 1 Publication (2019)
Related Software: GitHub; t-SNE; CSparse; OpenModelica; Scikit; Dymola; …
Main Fields: Numerical analysis (65-XX)

MIQPBB

Software Authors:   None
Cited in: 1 Publication (2001)
Related Software: filterSQP; LANCELOT
Main Fields: Operations research, mathematical programming (90-XX)

MISQPOA

Software Authors:   T. Lehmann, K. Schittkowsk
Cited in: 1 Publication (2012)
Related Software: QL; ZQPCVX; BFOUR; NLPQL; MISQPN; MIQL; …
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

npSolver

Software Authors:   Manthey, N., Steinke, P.
Cited in: 1 Publication (2015)
Related Software: MiniSat; BoolVar/PB; PBLib; NiVER
Main Fields: Computer science (68-XX)

rodd

Software Authors:   Roman Guchenko
Cited in: 1 Publication (2017)
Related Software:
Main Fields: Statistics (62-XX)

Scsat

Software Authors:   Fujita, Hiroshi; Koshimura, Miyuki; Hasegawa, Ryuzo
Cited in: 0 Publications
Related Software: MiniSat; MGTP; QMaxSAT
Main Fields: Computer science (68-XX)

STRATIFY

Software Authors:   Bayer, Thomas
Cited in: 1 Publication (2006)
Related Software:
Main Fields: Commutative algebra (13-XX); Topological groups, Lie groups (22-XX)

SUM-INDEX

Software Authors:   Sun, Xiaoming
Cited in: 1 Publication (2003)
Related Software:
Main Fields: Computer science (68-XX)

TRaCE+

Software Authors:   Ud-Dean SMM, Heise S, Klamt S, Gunawan R
Cited in: 1 Publication (2019)
Related Software: NOMAD; GeneNetWeaver; Path2Models; SOSlib; LASSIE; BioPreDyn-bench; …
Main Fields: Biology and other natural sciences (92-XX)

voboz

Software Authors:   Neyrinck, M.C., Gnedin, N.Y., Hamilton, A.J.S.
Cited in: 0 Publications
Related Software: RAMSES; GADGET; ZOBOV; Healpix; FLASH; VIDE
Main Fields: