×

Found 70 Software Packages (Results 1–70)

Ipopt

Software Authors:   Andreas Waechter, Carl Laird
Cited in: 818 Publications (2005–2023)
Related Software: AMPL; SNOPT; CPLEX; Bonmin; SCIP; KNITRO; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

MINOS

Software Authors:   B. A. Murtagh; M. A. Saunders
Cited in: 456 Publications (1980–2022)
Related Software: GAMS; SNOPT; AMPL; LANCELOT; CONOPT; CPLEX; …
Main Fields: Calculus of variations and optimal control; optimization (49-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)

PSwarm

Software Authors:   Vaz, A.I.F.; Vicente, L.N.
Cited in: 67 Publications (2007–2022)
Related Software: MultiMin; NOMAD; MCS; EGO; Matlab; DIRECT; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX)

Equator

Software Authors:   Oldham, Keith; Myland, Jan; Spanier, Jerome
Cited in: 35 Publications (2008–2023)
Related Software: DLMF; HomotopyContinuation; SageMath; circular; CircStats; UTV; …
Main Fields: Number theory (11-XX); Real functions (26-XX); Special functions (33-XX)

PhaseMax

Software Authors:   Goldstein, Tom; Studer, Christoph
Cited in: 30 Publications (2018–2022)
Related Software: Wirtinger Flow; PhaseLift; GESPAR; BranchHull; SparsePR; PDCO; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

lowerbounds-survey

Software Authors:   Ramprasad Saptharishi
Cited in: 25 Publications (2017–2022)
Related Software: GitHub; MathOverflow; SYMMETRICA
Main Fields: Combinatorics (05-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX)

MineLib

Software Authors:   Espinoza, Daniel; Goycoolea, Marcos; Moreno, Eduardo; Newman, Alexandra
Cited in: 18 Publications (2013–2022)
Related Software: CPLEX; AMPL; GEOVIA Whittle; Gurobi; OR-Library; TSPLIB; …
Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

TSSOS

Software Authors:   Jie Wang, Victor Magron, Jean-Bernard Lasserre
Cited in: 17 Publications (2020–2023)
Related Software: Mosek; JuMP; SPOTless; GloptiPoly; SparsePOP; SeDuMi; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

QPOPT

Software Authors:   P.E. Gill; W. Murray; M.A. Saunders
Cited in: 17 Publications (1998–2019)
Related Software: qpOASES; QPSchur; LOQO; MA57; Ipopt; SNOPT; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

minpack.lm

Software Authors:   Timur V. Elzhov, Katharine M. Mullen, Andrej-Nikolai Spiess, Ben Bolker
Cited in: 6 Publications (2008–2022)
Related Software: R; deSolve; CRAN; baseline; pracma; MASS (R); …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Geophysics (86-XX)

NOA

Software Authors:   Kiwiel, Krzysztof C.; Stachurski, Andrzej
Cited in: 14 Publications (1989–2013)
Related Software: CPLEX; LaGO; BARON; COL; CirCut; SDPLR; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

CALU

Software Authors:   Grigori, Laura; Demmel, James W.; Xiang, Hua
Cited in: 11 Publications (2010–2018)
Related Software: SparseMatrix; LAPACK; ScaLAPACK; SUMMA; POOCLAPACK; LINPACK; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX)

CBMix

Software Authors:   C. Prins; S. Bouchenoua
Cited in: 11 Publications (2011–2019)
Related Software: VRP; METSlib; irace; SPOT; Tabu search; CPLEX; …
Main Fields: Combinatorics (05-XX); Operations research, mathematical programming (90-XX)

ESOLID

Software Authors:   Keyser, J., Culver, T., Foskey, M., Krishnan, S., Manocha, D.
Cited in: 10 Publications (2005–2018)
Related Software: MAPC; EXACUS; LEDA; ISOLATE; CGAL; STL; …
Main Fields: Algebraic geometry (14-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)

QFLib

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

DrAmpl

Software Authors:   Fourer, Robert; Orban, Dominique
Cited in: 8 Publications (2006–2020)
Related Software: CVX; MProbe; AMPL; MINLPLib; GAMS; MINOTAUR; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Go-ICP

Software Authors:   Jiaolong Yang, Hongdong Li, Dylan Campbell, Yunde Jia
Cited in: 8 Publications (2015–2021)
Related Software: 3DMatch; SIFT; TEASER++; USAC; D2-Net; GMS; …
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)

Skew

Software Authors:   Ferreres G, Biannic J-M.
Cited in: 8 Publications (1999–2015)
Related Software: Mu Analysis and Synthesis Toolbox; LMI toolbox; LFR-toolbox; YALMIP; Optimization Toolbox; Robust Control Toolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Difference and functional equations (39-XX); Systems theory; control (93-XX)

dtwclust

Software Authors:   Alexis Sarda-Espinosa
Cited in: 5 Publications (2021–2022)
Related Software: dtw; Julia; dplyr; gridExtra; ggplot2; readr; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

MILES

Software Authors:   Thomas F. Rutherford
Cited in: 7 Publications (1995–2021)
Related Software: PATH Solver; GAMS; MCPLIB; MINOS; MPSGE; MacMPEC; …
Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Biology and other natural sciences (92-XX)

QPSOL

Software Authors:   Gill, P. E., Murray, W., Saunders, M. A., Wright M.
Cited in: 7 Publications (1986–1998)
Related Software: NPSOL; NLPQL; HSL; DFELL; MCO; ELL; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

respol

Software Authors:   I.Z.Emiris, V.Fisikopoulos, C.Konaxis, L.Peñaranda
Cited in: 7 Publications (2013–2019)
Related Software: TOPCOM; triangulation; Maple; iB4e; Resultants; Hull; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

BOXES

Software Authors:   Gurfinkel, A., Chaki, S.
Cited in: 5 Publications (2010–2017)
Related Software: UFO; Apron; CIL; vZ; PAGAI; SYMBA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TiML

Software Authors:   Wang, P., Wang, D., Chlipala, A.
Cited 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
Cited 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)

BVLS

Software Authors:   Stark, P.B.; Parker, R.L.
Cited in: 5 Publications (1995–2019)
Related Software: RUSBoost; MCS; TRON; Genocop; Regularization tools; Matlab
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

LPCCbnc

Software Authors:   Yu, Bin; Mitchell, John E.; Pang, Jong-Shi
Cited in: 5 Publications (2018–2021)
Related Software: CPLEX; Gurobi; quadprogIP; QuadProgBB; MacMPEC; FEASPUMP; …
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

Shrinktech

Software Authors:   Sankur, Ocan
Cited in: 4 Publications (2013–2022)
Related Software: Uppaal; OR-tools; PSyHCoS; PAT; PPL; HyTech; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

LoAT

Software Authors:   Frohn, F.; Naaf, M.; Hensel, J.; Brockschmidt, M.; Giesl, J.
Cited in: 4 Publications (2016–2021)
Related Software: z3; AProVE; ML; TcT; Matchbox; KITTeL; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

NLCertify

Software Authors:   Victor Magron
Cited in: 4 Publications (2014–2017)
Related Software: OCaml; Coq; Sollya; dReal; Flocq; HOL Light; …
Main Fields: Number theory (11-XX); Approximations and expansions (41-XX); Numerical analysis (65-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)

siEDM

Software Authors:   Takabatake, Yoshimasa; Nakashima, Kenta; Kuboyama, Tetsuji; Tabei, Yasuo; Sakamoto, Hiroshi
Cited in: 4 Publications (2016–2021)
Related Software: r-index
Main Fields: Computer science (68-XX)

Knotorious

Software Authors:   Borodzik, Maciej; Friedl, Stefan
Cited in: 3 Publications (2015–2019)
Related Software: KnotInfo; Knot Atlas; HFK
Main Fields: Manifolds and cell complexes (57-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)

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)

PSim

Software Authors:   Fatourou, Panagiota; Kallimanis, Nikolaos D.
Cited in: 3 Publications (2014–2020)
Related Software: Flat-Combining; Hoard; GitHub
Main Fields: Computer science (68-XX)

QMPE

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

SubLiME

Software Authors:   Wu, X., Peters, J.
Cited in: 3 Publications (2004–2016)
Related Software: OBBTree
Main Fields: Approximations and expansions (41-XX); Numerical analysis (65-XX)

ac2lus

Software Authors:   Altisen K, Moy M
Cited in: 2 Publications (2014–2016)
Related Software: CATS; COINC; LUSTRE; gem5; LLVM; Uppaal; …
Main Fields: Computer science (68-XX)

Algorithm 966

Software Authors:   Tozoni, Davi C.; Rezende, Pedro J.De; Souza, Cid C.De
Cited in: 2 Publications (2016–2018)
Related Software: libMC; GAMS; NewtonLib; KNITRO; XPRESS; GLPK; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

constant_estimation

Software Authors:   Liao, Shih-Kang; Shu, Yu-Chen; Liu, Xuefeng
Cited in: 2 Publications (2019–2020)
Related Software: INTLAB; Matlab
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Approximations and expansions (41-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)

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)

RAML

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

RecurJac

Software Authors:   Huan Zhang, Pengchuan Zhang, Cho-Jui Hsieh
Cited in: 2 Publications (2020–2021)
Related Software: AI2; Reluplex; SCIP; Grad-CAM; DeepGauge; DeepMutation; …
Main Fields: Computer science (68-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)

rlsm

Software Authors:   Jeremy Yee
Cited in: 0 Publications
Related Software: R; DiceOptim; DiceKriging; StOpt; LSMonteCarlo; mlOSP; …
Main Fields:

sccf

Software Authors:   Barratt, Shane; Angeris, Guillermo; Boyd, Stephen
Cited in: 2 Publications (2020)
Related Software: L-BFGS
Main Fields: Real functions (26-XX); Operations research, mathematical programming (90-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)

ExtremeBounds

Software Authors:   Marek Hlavac
Cited in: 0 Publications
Related Software: R; Stata; SHAZAM; RATS; pcse; GAUSS
Main Fields:

GALINI

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

greedyBAPs

Software Authors:   Nowzohour, C.
Cited in: 1 Publication (2017)
Related Software: TETRAD; ggm; mvtnorm; R
Main Fields: Statistics (62-XX)

IQC-Game

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

KnotTwister

Software Authors:   Stefan Friedl
Cited in: 1 Publication (2008)
Related Software:
Main Fields: Manifolds and cell complexes (57-XX)

LambdaMF

Software Authors:   Lee, G., Lin, S.
Cited in: 1 Publication (2016)
Related Software:
Main Fields: Computer science (68-XX)

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)

MAXNSGP

Software Authors:   S. Mourareau
Cited in: 1 Publication (2019)
Related Software: QSIMVN; MAGP
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX)

MIQPBB

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

optextras

Software Authors:   John C. Nash
Cited in: 1 Publication (2014)
Related Software: microbenchmark; Rsolnp; trust; stats4; smco; setRNG; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

POPQORN

Software Authors:   Ching-Yun Ko, Zhaoyang Lyu, Tsui-Wei Weng, Luca Daniel, Ngai Wong, Dahua Lin
Cited in: 1 Publication (2021)
Related Software: NeuroDiff; ReluDiff; DiffRNN; DeepGauge; DeepXplore; TensorFuzz; …
Main Fields: Computer science (68-XX)

Special_Function_Bounds

Software Authors:   Lawrence C. Paulson
Cited in: 1 Publication (2019)
Related Software: Archive Formal Proofs; Algebraic Numbers; Sledgehammer; HOL; z3; PVS; …
Main Fields: Field theory and polynomials (12-XX); Computer science (68-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: GeneNetWeaver; Path2Models; SOSlib; LASSIE; BioPreDyn-bench; MMG; …
Main Fields: Biology and other natural sciences (92-XX)

ELECTRE III

Software Authors:   Ezbakhe, Fatine; Pérez-Foguet, Agustí
Cited in: 0 Publications
Related Software:
Main Fields:

hommel

Software Authors:   Jelle Goeman, Rosa Meijer, Thijmen Krebs
Cited in: 0 Publications
Related Software:
Main Fields:

rt-muse

Software Authors:   Maggio, Martina; Lelli, Juri; Bini, Enrico
Cited in: 0 Publications
Related Software:
Main Fields: