×

Found 69 Software Packages (Results 1–69)

MPT

Software Authors:   M. Kvasnica; P. Grieder; M. Baoti; ETH Zürich; Borrelli, Francesco
Cited in: 234 Publications (2004–2022)
Related Software: YALMIP; CPLEX; Matlab; Hybrid Toolbox; Gurobi; fast_mpc; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

Esterel

Software Authors:   Gérard Berry
Cited in: 137 Publications (1985–2023)
Related Software: SIGNAL; LUSTRE; Uppaal; SPIN; ULM; Simulink; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

SCALCG

Software Authors:   Andrei, N.
Cited in: 114 Publications (2006–2022)
Related Software: CUTEr; CUTE; CG_DESCENT; Algorithm 500; L-BFGS; minpack; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

LGO

Software Authors:   Pintér, János D.
Cited in: 100 Publications (1996–2022)
Related Software: Global Optimization Toolbox For Maple; Algorithm 829; MultiMin; DIRECT; MCS; EGO; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

CVXPY

Software Authors:   Steven Diamond; Stephen Boyd
Cited in: 83 Publications (2016–2023)
Related Software: ECOS; CVX; SCS; Mosek; GitHub; Gurobi; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Pyomo

Software Authors:   Hart, William E.; Laird, Carl; Watson, Jean-Paul; Woodruff, David L.
Cited in: 82 Publications (2012–2022)
Related Software: Gurobi; Ipopt; CPLEX; Python; GAMS; PySP; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ECOS

Software Authors:   Alexander Domahidi, Eric Chu, Santiago Akle, Han Wang
Cited in: 64 Publications (2014–2023)
Related Software: CVXPY; Mosek; SCS; GitHub; CVX; SeDuMi; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

HIFOO

Software Authors:   D. Arzelier, G. Deaconu, S. Gumussoy, D. Henrion, M. Millstone, M.L. Overton
Cited in: 64 Publications (2007–2023)
Related Software: COMPleib; SeDuMi; PENBMI; YALMIP; GradSamp; Matlab; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

CVXGEN

Software Authors:   J. Mattingley; S. Boyd
Cited in: 44 Publications (2010–2022)
Related Software: qpOASES; ECOS; fast_mpc; CVX; Gurobi; Mosek; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

TSPTW

Software Authors:   Focacci, Filippo; Lodi, Andrea; Milano, Michela
Cited in: 39 Publications (2001–2022)
Related Software: LKH; VRP; TSPLIB; ILOG SCHEDULE; SCIL; SCIP; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

RMetrics

Software Authors:   Rmetrics Association
Cited in: 35 Publications (2008–2022)
Related Software: R; fGarch; fBasics; tseries; copula; copula; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

MediaBench

Software Authors:   Lee, C., Potkonjak, M., Mangione-Smith, W.H.
Cited in: 16 Publications (2001–2016)
Related Software: MiBench; SimpleScalar; Wattch; CACTI; SEC-DED; RTMemController; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

BLOOMP

Software Authors:   Fannjiang, Albert; Liao, Wenjing
Cited in: 28 Publications (2012–2022)
Related Software: PDCO; CoSaMP; FPC_AS; L1TestPack; EdgeCS; RecPF; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Harmonic analysis on Euclidean spaces (42-XX); Numerical analysis (65-XX)

Volcano

Software Authors:   Graefe, G.
Cited in: 6 Publications (2000–2018)
Related Software: DB2; POTENTIAL; E Theorem Prover; IQ-Meter; LUBM; SPARQL; …
Main Fields: Computer science (68-XX)

OPTIMAS

Software Authors:   Peigin, S.; Epstein, B.
Cited in: 18 Publications (1993–2021)
Related Software: Genocop; TensorFlow; Pluribus; Tensorforce; FEniCS; Spalart-Allmaras; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

ProjectQ

Software Authors:   Damian S. Steiger, Thomas Häner, Matthias Troyer
Cited in: 9 Publications (2019–2023)
Related Software: Python; OpenFermion; qHiPSTER; LIQUi; Quipper; QISKit; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

LIQUi

Software Authors:   Dave Wecker, Krysta M. Svore
Cited in: 8 Publications (2018–2021)
Related Software: qHiPSTER; ProjectQ; Python; Quipper; ScaffCC; OpenFermion; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)

qpDUNES

Software Authors:   Janick Frasch; Hans Joachim Ferreau; Moritz Diehl; Milan Vukov
Cited in: 16 Publications (2015–2022)
Related Software: qpOASES; ACADO; CVXGEN; Ipopt; LiftOpt; VIATOC; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

Pochoir

Software Authors:   Tang, Y., Chowdhury, R.A., Kuszmaul, B.C., Luk, C.K., Leiserson, C.E.
Cited in: 10 Publications (2013–2019)
Related Software: PATUS; Coq; GKLEE; GPUVerify; PolyLib; Mint; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

BLASFEO

Software Authors:   Gianluca Frison, Dimitris Kouzoupis, Andrea Zanelli, Moritz Diehl
Cited in: 7 Publications (2018–2022)
Related Software: OpenBLAS; qpOASES; ACADO; qpDUNES; LAPACK; OSQP; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

FlopC++

Software Authors:   Hultberg, Tim
Cited in: 9 Publications (2006–2018)
Related Software: AMPL; Python; GAMS; Pyomo; COIN-OR; CPLEX; …
Main Fields: General and overarching topics; collections (00-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)

GRAMPC

Software Authors:   Englert, Tobias; Völz, Andreas; Mesmer, Felix; Rhein, Sönke; Graichen, Knut
Cited in: 8 Publications (2018–2022)
Related Software: VIATOC; ACADO; qpOASES; acados; GitHub; FORCES NLP; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

QCQP

Software Authors:   J. Park; S. Boyd
Cited in: 8 Publications (2019–2022)
Related Software: Ipopt; Gurobi; CVX; TROTS; CERR; OPTI; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Quantum theory (81-XX)

OpenUH

Software Authors:   Hernandez, Oscar; Jin, Haoqiang; Chapman, Barbara
Cited in: 3 Publications (2008–2016)
Related Software: TAU; KOJAK; GenIDLEST; NWChem; Quantum Espresso; ChaNGa; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Quantum theory (81-XX)

acados

Software Authors:   Robin Verschueren, Gianluca Frison, Dimitris Kouzoupis, Niels van Duijkeren, Andrea Zanelli, Branimir Novoselnik, Jonathan Frey, Thivaharan Albin, Rien Quirynen, Moritz Diehl
Cited in: 3 Publications (2018–2022)
Related Software: ACADO; OSQP; VIATOC; BLASFEO; qpOASES; HPIPM; …
Main Fields: (04-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)

GRAND

Software Authors:   Zegard, T.; Paulino, GH
Cited in: 5 Publications (2017–2022)
Related Software: PolyTop; Matlab; Stress_3D_Sensitivity; PolyMat; FEniCS; PETSc; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

HPIPM

Software Authors:   Frison, G., Diehl, M
Cited in: 4 Publications (2018–2022)
Related Software: qpOASES; OSQP; ACADO; BLASFEO; acados; QPSchur; …
Main Fields: (04-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)

Feldspar

Software Authors:   E. Axelsson, K. Claessen, G. Devai, Z. Horvath, K. Keijzer, B. Lyckegard, A. Persson, M. Sheeran, J. Svenningsson, A. Vajda
Cited in: 2 Publications (2015–2016)
Related Software: Lava; Haskell; Syntactic; Loo.py; Accelerate; Copperhead; …
Main Fields: Computer science (68-XX)

MinPerim

Software Authors:   Kallrath, Josef; Frey, Markus M.
Cited in: 4 Publications (2018–2021)
Related Software: GAMS; QuickhullDisk; LINDO; BARON; VOROPACK-D; Quicksort; …
Main Fields: Convex and discrete geometry (52-XX); Differential geometry (53-XX); Numerical analysis (65-XX)

Predict

Software Authors:   NeuralWare
Cited in: 2 Publications (2001–2006)
Related Software: QL2; SAS TextMiner; GeneSight; PolyAnalyst; SAS; SPSS
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)

ConRad

Software Authors:   Fu, Anqi; Ungun, Barıṣ; Xing, Lei; Boyd, Stephen
Cited in: 3 Publications (2019–2022)
Related Software: SNOPT; 3D Slicer; SCS; Python; CVXPY; ECOS
Main Fields: Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

LiPsMin

Software Authors:   Fiege, Sabrina; Walther, Andrea; Kulshreshtha, Kshitij; Griewank, Andreas
Cited in: 3 Publications (2018–2021)
Related Software: ORBIT; PBNCGC; MPBNGC; HANSO; GradSamp; ADOL-C
Main Fields: Approximations and expansions (41-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

ProxImaL

Software Authors:   Heide F, Diamond S, Nießner M, Ragan-Kelley J, Heidrich W, Wetzstein G.
Cited in: 2 Publications (2022)
Related Software: FlexISP; MemNet; DnCNN; BSDS; Wirtinger Flow; LSQR; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

sitar

Software Authors:   Deshmukh, Jyotirmoy; Jin, Xiaoqing; Kapinski, James; Maler, Oded
Cited in: 3 Publications (2015–2021)
Related Software: Breach; S-TaLiRo; AdaptiveStressTesting.jl; Flow*; SpaceEx; Reluplex; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

DesertFD

Software Authors:   Eames, Brandon K.; Neema, Sandeep K.; Saraswat, Rohit
Cited in: 0 Publications
Related Software: Tabu search; SICStus; FaMa; Metropolis; JaCoP; Mozart; …
Main Fields: Computer science (68-XX)

OpEn

Software Authors:   Pantelis Sopasakis, Emil Fresk, Panagiotis Patrinos
Cited in: 2 Publications (2022)
Related Software: PANOC; GitHub; UNLocBoX; Alpaqa; ProximalAlgorithms.jl; ALGENCAN; …
Main Fields: (04-XX); Numerical analysis (65-XX); Computer science (68-XX)

Pmapper

Software Authors:   Travinin, N.; Hoffman, H.; Bond, R.; Chan, H.; Kepner, J.; Wong, E.
Cited in: 0 Publications
Related Software: Algorithm 97; pMatlab; PSBLAS
Main Fields:

Tempus

Software Authors:   Ober, C.; Conde, S.; Pawlowski, R.
Cited in: 2 Publications (2021)
Related Software: Isorropia; SPIS; SYCL; Cabana; EMPIRE-PIC; oneAPI; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

TVM

Software Authors:   Tianqi Chen, Thierry Moreau, Ziheng Jiang, Lianmin Zheng, Eddie Yan, Meghan Cowan, Haichen Shen, Leyuan Wang, Yuwei Hu, Luis Ceze, Carlos Guestrin, Arvind Krishnamurthy
Cited in: 1 Publication (2021)
Related Software: HeteroCL; POMDPs.jl; Python; OptimizedDP; GPyTorch; JAX; …
Main Fields: Computer science (68-XX)

VSIPL++

Software Authors:   Lebak, J.; Kepner, J.; Hoffmann, H.; Rudtledge, E.
Cited in: 0 Publications
Related Software: CUDA; QUDA; PIMA(GE)2; MPI; PETSc; ScaLAPACK; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

Asgl

Software Authors:   Álvaro Méndez Civieta, M. Carmen Aguilera-Morillo, Rosa E. Lillo
Cited in: 0 Publications
Related Software: rticles; ggplot2; knitr; testthat; usethis; devtools; …
Main Fields:

CDOpt

Software Authors:   Nachuan Xiao, Xiaoyin Hu, Xin Liu, Kim-Chuan Toh
Cited in: 0 Publications
Related Software: SciPy; Pymanopt; PDFO; Autograd; McTorch; Geoopt; …
Main Fields:

CoAdELL

Software Authors:   Marco Maggioni , Tanya Berger-Wolf
Cited in: 1 Publication (2017)
Related Software: AdELL; BiELL; LightSpMV; CSR5; moderngpu; yaSpMV; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

DiffRNN

Software Authors:   Mohammadinejad, Sara; Paulsen, Brandon; Deshmukh, Jyotirmoy V.; Wang, Chao
Cited in: 1 Publication (2021)
Related Software: NeuroDiff; ReluDiff; POPQORN; DeepGauge; DeepXplore; TensorFuzz; …
Main Fields: Computer science (68-XX)

DMaOEA

Software Authors:   Li, Juan; Li, Jie; Pardalos, Panos M.; Yang, Chengwei
Cited in: 1 Publication (2020)
Related Software: MOMBI; DECOR; HypE; SPEA2; MOEA/D
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

elrint3d

Software Authors:   Tiancheng Li; Ian Robinson
Cited in: 1 Publication (2010)
Related Software: d2lri; ParInt; r2d2lri; CUBPACK
Main Fields: Numerical analysis (65-XX)

embench

Software Authors:   Verschueren, R.
Cited in: 0 Publications
Related Software: FalcOpt; OSQP; VIATOC; ACADO; MPT; BLASFEO; …
Main Fields:

FINN-R

Software Authors:   Michaela Blott; Thomas Preusser; Nicholas Fraser; Giulio Gambardella; Kenneth O'Brien; Yaman Umuroglu
Cited in: 0 Publications
Related Software: fpgaConvNet
Main Fields:

frvcpy

Software Authors:   Kullman, Nicholas D.; Froger, Aurelien; Mendoza, Jorge E.; Goodson, Justin C.
Cited in: 1 Publication (2021)
Related Software: Python
Main Fields: Operations research, mathematical programming (90-XX)

GAPJS

Software Authors:   Maniezzo, Vittorio; Boschetti, Marco A.; Carbonaro, Antonella; Marzolla, Moreno; Strappaveccia, Francesco
Cited in: 1 Publication (2019)
Related Software: TensorFlow.js; spatiasql.js; glpk.js; Concorde; SpatiaLite; jsLPSolver; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

gps

Software Authors:   Li, Zheyuan; Cao, Jiguo
Cited in: 1 Publication (2023)
Related Software: R
Main Fields: Statistics (62-XX); Numerical analysis (65-XX)

IMIS-ShOpt

Software Authors:   Stojkova, Biljana Jonoska; Campbell, David A.
Cited in: 1 Publication (2019)
Related Software: lokern; gtools; matrixcalc; CollocInfer; truncnorm; numDeriv; …
Main Fields: Statistics (62-XX)

JuMPeR

Software Authors:   Dunning, I.
Cited in: 1 Publication (2019)
Related Software: ROME; GitHub; AIMMS
Main Fields: Operations research, mathematical programming (90-XX)

mARGOt

Software Authors:   Gadioli, Davide; Vitali, Emanuele; Palermo, Gianluca; Silvano, Cristina
Cited in: 1 Publication (2019)
Related Software: PAPI; Multicube Explorer; SiblingRivalry; Green; SAGE; ADAPT; …
Main Fields: Computer science (68-XX)

MMOpt

Software Authors:   Salem, Khadija Hadj; Kieffer, Yann; Mancini, St'ephane
Cited in: 1 Publication (2018)
Related Software:
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

muAO-MPC

Software Authors:   Zometa, P., Kögel, M., Findeisen, R.
Cited in: 1 Publication (2022)
Related Software: Matlab; GitHub; PANOC; HQP/OMUSES; OpEn; FORCES NLP; …
Main Fields: (04-XX); Computer science (68-XX)

Multicube Explorer

Software Authors:   V. Zaccaria, G. Palermo, F. Castro, C. Silvano, G. Mariani
Cited in: 1 Publication (2019)
Related Software: PAPI; SiblingRivalry; Green; SAGE; ADAPT; Paraprox; …
Main Fields: Computer science (68-XX)

NNVM

Software Authors:   Paul G. Allen; Tianqi Chen
Cited in: 0 Publications
Related Software: Halide; PyTorch; XLA; Caffe; LLVM; Torch; …
Main Fields:

ODYS QP Solver

Software Authors:   Cimini, G., Bemporad, A., Bernardini, D
Cited in: 1 Publication (2020)
Related Software: lhsdesigncon; GLIS; EGO; MultiMin; GPyOpt; auto-sklearn; …
Main Fields: Operations research, mathematical programming (90-XX)

PaNDa+

Software Authors:   Claudio Lucchese, Salvatore Orlando, Raffaele Perego
Cited in: 1 Publication (2017)
Related Software: PAL-Tiling; Krimp; StreamKrimp; MDL4BMF
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

PhreePlot

Software Authors:   Kinniburgh, D., Cooper, D.
Cited in: 1 Publication (2014)
Related Software: PHREEQC; GEMS3K; GEMSelektor; PhreeqcRM; UCODE; GEMSFIT; …
Main Fields: Geophysics (86-XX)

Pocketsphinx

Software Authors:   D. Huggins-Daines, M. Kumar, A. Chan, A. W. Black, M. Ravishankar, A. I. Rudnicky
Cited in: 0 Publications
Related Software: fairseq; Lingvo; Espresso; PyTorch-Kaldi; k2; VoxPopuli; …
Main Fields:

RESCOT

Software Authors:   Xu, Penghao; Storici, Francesca
Cited in: 1 Publication (2021)
Related Software: Ribose-seq; Nebcutter
Main Fields: Computer science (68-XX)

SESSL

Software Authors:   Ewald, Roland; Uhrmacher, Adelinde M.
Cited in: 1 Publication (2014)
Related Software: Liszt; STEPS; Bio-SPICE; PySB; SakerGrid; SBMLsimulator; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

StiefelLog

Software Authors:   Nguyen, Du
Cited in: 1 Publication (2022)
Related Software: Python; geomstats; GitHub; minFunc; SciPy
Main Fields: Algebraic geometry (14-XX); Differential geometry (53-XX); Manifolds and cell complexes (57-XX)

Tenscalc

Software Authors:   Hespanha, João P.
Cited in: 1 Publication (2022)
Related Software: COLAMD; CVXGEN; ColPack; CasADi; Ipopt; SuiteSparse; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

TextureFusion

Software Authors:   Lee, J. H., Ha, H., Dong, Y., Tong, X., Kim, M. H.
Cited in: 1 Publication (2022)
Related Software: ClusterFit; Flickr30K; PWC-Net; MeshLab; Face2Face; PoseCNN; …
Main Fields: Computer science (68-XX)

VRPBench

Software Authors:   Guilherme A. Zeni, Mauro Menzori, P. S. Martins, Luis A. A. Meira
Cited in: 1 Publication (2018)
Related Software: GitHub; vex; qTip; AutoAnnotate; EPIC-OSM; AlertifyJS; …
Main Fields: Operations research, mathematical programming (90-XX)

XuanYuan

Software Authors:   Li, Guoliang; Zhou, Xuanhe
Cited in: 0 Publications
Related Software:
Main Fields: