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: 69 Publications (2007–2022) Related Software: MultiMin; NOMAD; MCS; EGO; OrthoMADS; Matlab; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX)
UnitWalk Software Authors: Hirsch, Edward A.; Kojevnikov, Arist Cited in: 32 Publications (2002–2021) Related Software: Chaff; SATO; BerkMin; SatEx; QingTing1; Walksat; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-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)
COSTA Software Authors: Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini Cited in: 22 Publications (1992–2020) Related Software: SPEED; AProVE; Refal; Featherweight Java; PPL; JCobox; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Partial differential equations (35-XX)
VortexCalculations Software Authors: Hampton, Marshall; Moeckel, Richard Cited in: 20 Publications (2007–2022) Related Software: SageMath; SINGULAR; MixedVol; DEMiCs; PHCpack; Mathematica; … Main Fields: Commutative algebra (13-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-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)
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; pracma; baseline; 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)
qZEILBERGER Software Authors: Mohamud Mohammed; Doron Zeilberger Cited in: 13 Publications (2005–2018) Related Software: ZEILBERGER; NewZeil.m; MultiZeilberger; DEtools; EvaluateMultiSums; SIGMA; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Functions of a complex variable (30-XX)
ZEILBERGER Software Authors: Mohamud Mohammed; Doron Zeilberger Cited in: 12 Publications (2005–2017) Related Software: qZEILBERGER; NewZeil.m; MultiZeilberger; DEtools; EvaluateMultiSums; SIGMA; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Special functions (33-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)
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)
SACO Software Authors: Albert, E., Arenas, P., Flores-Montoya, A., Genaim, S., Gómez-Zamalloa, M., Martin-Martin, E., Puebla, G., Román-Díez, G. Cited in: 10 Publications (2014–2021) Related Software: ABS; JCobox; Kilim; COSTABS; SPEED; Zephyrus2; … 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)
HiTag2 Software Authors: – Cited in: 10 Publications (2009–2021) Related Software: Grain; RAKAPOSHI; OpenCL; CUDA; MiniSat; FGb Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Commutative algebra (13-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)
MAGP Software Authors: Mercadier C. Cited in: 9 Publications (2006–2019) Related Software: QSIMVN; WAFO; GitHub; MAXNSGP; mctoolbox Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
NewZeil.m Software Authors: Andrew Sills Cited in: 9 Publications (2005–2017) Related Software: qZEILBERGER; ZEILBERGER; MultiZeilberger; DEtools; EvaluateMultiSums; SIGMA; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Special functions (33-XX)
ABC Software Authors: Blanc, Régis; Henzinger, Thomas A.; Hottelier, Thibaud; Kovács, Laura Cited in: 6 Publications (2010–2021) Related Software: SPEED; Aspic; FLATA; KITTeL; AProVE; LLVM; … Main Fields: Computer science (68-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)
OACC Software Authors: Soler-Toscano F, Zenil H, Delahaye J-P, Gauvrit N Cited in: 8 Publications (2013–2022) Related Software: acss; OEIS; DIMACS Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
pwcet Software Authors: Bernat G, Colin A, Petters S Cited in: 3 Publications (2015–2018) Related Software: SPEC Benchmarks; ALF; aiT; FShell; RapiTime; gem5; … Main Fields: Computer science (68-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)
MILES Software Authors: Thomas F. Rutherford Cited in: 7 Publications (1995–2021) Related Software: PATH Solver; GAMS; MINOS; MCPLIB; 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; Maple; triangulation; iB4e; simpl.mpl; implicitize; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Approximations and expansions (41-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)
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)
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)
d2_cluster Software Authors: Burke, J., Davison, D., Hide, W. Cited in: 5 Publications (2007–2019) Related Software: MOLPHY; PHYLIP; Rainbow; SlideSort; Mash; Corset; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)
SAcb Software Authors: Rodriguez-Tello, Eduardo; Romero-Monsivais, Hillel; Ramirez-Torres, Gabriel; Lardeux, Frédéric Cited in: 5 Publications (2015–2022) Related Software: TScb; Tabu search; Harwell-Boeing sparse matrix collection; irace; GLOB; ADMM_QAP; … Main Fields: Combinatorics (05-XX); Operations research, mathematical programming (90-XX)
Shrinktech Software Authors: Sankur, Ocan Cited in: 4 Publications (2013–2022) Related Software: IMITATOR; Uppaal; OR-tools; PSyHCoS; PAT; PPL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
FRegSigComp Software Authors: Qi, Xin; Luo, Ruiyan Cited in: 4 Publications (2018–2022) Related Software: fda (R); pffr; FRegSigCom; quantreg; gamair; Chronux; … Main Fields: Statistics (62-XX)
KoAT Software Authors: Meyer, Fabian; Hark, Marcel; Giesl, Jürgen Cited in: 4 Publications (2021–2022) Related Software: z3; TPDB; iRankFinder; PySMT; FOCI; JAX; … Main Fields: Order, lattices, ordered algebraic structures (06-XX); 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; Flocq; dReal; 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)
Algorithm 954 Software Authors: Flocke, N. Cited in: 3 Publications (2015–2020) Related Software: Algorithm 493; Algorithm 1010; DLMF; GPOPS; Algorithm 908; Mathematica Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Systems theory; control (93-XX)
cherry Software Authors: Jelle Goeman, Aldo Solari, Rosa Meijer Cited in: 3 Publications (2015–2021) Related Software: R; someKfwer Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)
constant_estimation Software Authors: Liao, Shih-Kang; Shu, Yu-Chen; Liu, Xuefeng Cited in: 3 Publications (2019–2022) Related Software: INTLAB; Matlab Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Approximations and expansions (41-XX)
GASTAP Software Authors: Albert, E., Gordillo, P., Rubio, A., Sergey, I. Cited in: 3 Publications (2020–2022) Related Software: gasstation-express; GitHub; Adam; PyTorch Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)
IBCN Software Authors: Kontovasilis, Kimon P.; Mitrou, Nikolas M. Cited in: 3 Publications (1994–1998) Related Software: – Main Fields: Probability theory and stochastic processes (60-XX); Operations research, mathematical programming (90-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)
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)
SparseJSR Software Authors: Wang, J., Maggio, M., Magron, V. Cited in: 3 Publications (2021–2022) Related Software: TSSOS; GitHub; ChordalGraph; LightGraphs.jl; JuMP; ComputeTW; … Main Fields: Field theory and polynomials (12-XX); Algebraic geometry (14-XX); Operator theory (47-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)
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)
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: –
SUNRISE Software Authors: Kimin Lee, Michael Laskin, Aravind Srinivas, Pieter Abbeel Cited in: 1 Publication (2022) Related Software: CURL; QT-Opt; VIME; OpenAI Gym; Python; TSPred Main Fields: Computer science (68-XX)
VS3 Software Authors: Srivastava S, Gulwani S, Foster JS Cited in: 2 Publications (2013–2016) Related Software: z3; BLAST; Z3-str; Houdini; Looper; c2i; … Main Fields: Computer science (68-XX)
AET Software Authors: Liheng Zhang, Guo-Jun Qi, Liqiang Wang, Jiebo Luo Cited in: 0 Publications Related Software: AlexNet; BERT; STL-10 dataset; GloVe; U-Net; CIFAR; … Main Fields: –
blocksdesign Software Authors: R. N. Edmondson Cited in: 0 Publications Related Software: golem; agricolae; R; FielDHub Main Fields: –
ClusterMetric Software Authors: Hendriksen M Cited in: 1 Publication (2020) Related Software: GitHub; PhyloNetwork Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Biology and other natural sciences (92-XX)
ELECTRE III Software Authors: Ezbakhe, Fatine; Pérez-Foguet, Agustí Cited in: 0 Publications Related Software: Decisionarium; Decerns MCDA; Super Decisions; HIPRE 3+; OPA Solver; PyOPAsolver; … Main Fields: –
episplineDensity Software Authors: Sam Buttrey, Johannes Royset, Roger Wets Cited in: 1 Publication (2019) Related Software: CONOPT; MICE; ks; CPLEX; R Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-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: –
IncMaxCLQ Software Authors: Chu Min LI, Zhiwen Fang, Ke XU Cited in: 1 Publication (2017) Related Software: PMC; BITSCAN; BBMCW Main Fields: Combinatorics (05-XX); Operations research, mathematical programming (90-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)
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)
Median-of-Medians Software Authors: Manuel Eberl Cited in: 1 Publication (2018) Related Software: Auto2_Imperative_HOL; Landau Symbols; Berlekamp Zassenhaus; Separation Logic; TiML; AUTO2; … Main Fields: Computer science (68-XX)
NCBounds Software Authors: Bouillard, A Cited in: 1 Publication (2019) Related Software: DeepTMA; Python Main Fields: Computer science (68-XX)
Nusschecker Software Authors: Kaufmann, Daniela; Biere, Armin Cited in: 1 Publication (2020) Related Software: Pacheck; Bosphorus; RevSCA; Btor2Tools; BtorMC; PolyCleaner; … Main Fields: Computer science (68-XX)
RAM+BOOL Software Authors: Kosovskii, N.K. Cited in: 1 Publication (2014) Related Software: – Main Fields: Computer science (68-XX)
Special_Function_Bounds Software Authors: Lawrence C. Paulson Cited in: 1 Publication (2019) Related Software: Coq; Archive Formal Proofs; Algebraic Numbers; Sledgehammer; HOL; z3; … Main Fields: Field theory and polynomials (12-XX); Computer science (68-XX)
stratallo Software Authors: Wojciech Wojciak, Jacek Wesolowski, Robert Wieczorkowski Cited in: 0 Publications Related Software: microbenchmark; Stratification; SamplingStrata; R Main Fields: –
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)
HDDesign Software Authors: Meihua Wu, Brisa N. Sanchez, Peter X.K. Song, Raymond Luu, Wen Wang 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: –