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: –