×

Found 82 Software Packages (Results 1–82)

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: