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: –
Neural Network Toolbox Software Authors: Demuth, H.B.,Beale, M., Hagan, M.T. Cited in: 131 Publications (1995–2021) Related Software: Matlab; UCI-ml; Optimization Toolbox; C4.5; Wavelet Toolbox; Fuzzy Logic Toolbox; … Main Fields: –
GPOPS Software Authors: Rao AV, Benson DA, Huntington GT, Francolin C, Darby CL, Patterson MA Cited in: 92 Publications (2010–2023) Related Software: Matlab; SOCS; SNOPT; Ipopt; OTIS; ACADO; … Main Fields: –
Adams Software Authors: MSC Software Cited in: 52 Publications (2005–2022) Related Software: Matlab; ANSYS; NASTRAN; SIMPACK; ABAQUS; Meschach; … Main Fields: –
EXPFIT4 Software Authors: L.Gr. Ixaru, H. De Meyer, G. Vanden Berghe, M. Van Daele Cited in: 46 Publications (1997–2022) Related Software: LaTeX; Maple; NEW9p; numerov; formConv; SLCPM12; … Main Fields: (65L06-XX); (34-04-XX); (65L05-XX)
INTBIS Software Authors: Kearfott, R.Baker; Novoa, Manuel III Cited in: 31 Publications (1990–2018) Related Software: INTLIB; IbexOpt; Numerica; ANTIGONE; ICOS; C-XSC 2.0; … Main Fields: (65H10-XX); (65G30-XX); (90C30-XX)
LS-SVMlab Software Authors: J.A.K. Suykens, T. Van Gestel, J. De Brabanter, B. De Moor, J. Vandewalle Cited in: 25 Publications (2006–2020) Related Software: Matlab; UCI-ml; LIBSVM; RSVM; SVM Toolbox; longmemo; … Main Fields: –
SPRINT2D Software Authors: Berzins, M.; Fairlie, R.; Pennington, S.V.; Ware, J.M.; Scales, L.E. Cited in: 25 Publications (1986–2013) Related Software: DASSL; LSODE; GEOMPACK; RODAS; PLTMG; CHEMKIN; … Main Fields: (65M60-XX); (65M50-XX); (35Q53-XX)
SCOTS Software Authors: Rungger, Matthias; Zamani, Majid Cited in: 22 Publications (2016–2022) Related Software: PESSOA; CoSyma; TuLiP; Sostools; ROCS; Matlab; … Main Fields: (93B50-XX); (93C10-XX)
MUSCOD-II Software Authors: University of Heidelberg; M. Diehl, D. B. Leineweber, A. A. S. Schäfer Cited in: 19 Publications (1998–2021) Related Software: Ipopt; ADIFOR; SOCS; PROPT; qpOASES; NewtonLib; … Main Fields: –
D-NURBS Software Authors: Hong Qin; Terzopoulos, D. Cited in: 13 Publications (2005–2020) Related Software: Strands; Algorithm 624; CUBIT Main Fields: –
emgr Software Authors: Christian Himpe Cited in: 12 Publications (2013–2022) Related Software: Matlab; Octave; hapod; MATLAB ODE suite; MathEnergy; morgen; … Main Fields: –
DASOPT Software Authors: Petzold, Linda; Rosen, J.Ben; Gill, Philip E.; Jay, Laurent O.; Park, Kihong Cited in: 14 Publications (1988–2021) Related Software: ADIFOR; SNOPT; SOCS; LAPACK; L-BFGS; GiNaC; … Main Fields: (65K10-XX); (65Y15-XX); (49J20-XX)
HyFIS Software Authors: Kim J, Kasabov N Cited in: 9 Publications (2002–2021) Related Software: ANFIS; DENFIS; R; CORElearn; fRegression; nnet; … Main Fields: –
MBSymba Software Authors: Lot, R.; Da Lio, M. Cited in: 12 Publications (2004–2021) Related Software: Maple; RODAS; SOCS; GEE; Python; CasADi; … Main Fields: (70-08-XX); (70E55-XX); (68W30-XX)
Time-Delay System Toolbox Software Authors: Kim A.V., Kwon W.H., Pimenov V.G., Han S.H., Lozhnikov A.B., Onegova O.V., Kang J.W. Cited in: 12 Publications (2002–2019) Related Software: – Main Fields: –
FMI Software Authors: Arnold, Martin; Clauß, Christoph; Schierz, Tom Cited in: 11 Publications (2014–2022) Related Software: Modelica; SUNDIALS; CHOPtrey; RODAS; LSODE; Adams; … Main Fields: (65L80-XX); (34A09-XX); (65L70-XX)
GAMS Model Software Authors: GAMS Cited in: 8 Publications (2007–2020) Related Software: GAMS; LINDO; Decision tree for optimization software; MathOptimizer; VerGO; AIMMS; … Main Fields: –
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: (65K-XX); (35K-XX); (35J-XX)
DISPRO Software Authors: V. S. Mikhalevich, I. V. Sergienko, T. T. Lebedeva, et al. Cited in: 7 Publications (1981–2017) Related Software: PLANNER; DISNEL; Matlab; Octave; ralgb5; ralgb4 Main Fields: –
MBDyn Software Authors: M. Fancello, P. Masarati, M. Morandini, V. Muscarello, G. Quaranta Cited in: 6 Publications (2007–2022) Related Software: OpenSeesPy; preCICE; Vega; GitHub; CMake; Doxygen; … Main Fields: –
NLControl Software Authors: Belikov, J.,Kotta, Ü, Tõnso, M. Cited in: 7 Publications (2016–2020) Related Software: Mathematica; OreAlgebraicAnalysis; OreMorphisms; HolonomicFunctions; OreModules; Macaulay2; … Main Fields: –
COOPT Software Authors: Serban, Radu; Petzold, Linda R. Cited in: 6 Publications (2001–2022) Related Software: SNOPT; DASPK 3.0; ADIFOR; DFVLR-SQP; Maple; LAPACK Main Fields: (93-04-XX); (93A15-XX); (68U07-XX)
dsoa Software Authors: Fabien, Brian C. Cited in: 6 Publications (2010–2017) Related Software: OOQP; SOCS; qpOASES; PROPT; ACADO; ROS3P; … Main Fields: –
Maxwell Software Authors: ANSYS Cited in: 5 Publications (2001–2017) Related Software: Pyleecan; JMAG; openCFS; FEMM; Pyrit; FEniCS; … Main Fields: –
NNV Software Authors: Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson Cited in: 5 Publications (2021–2022) Related Software: Reluplex; VERIFAI; Marabou; MPT; MNIST; JuliaReach; … Main Fields: –
ParaOpt Software Authors: Gander, Martin J.; Kwok, Felix; Salomon, Julien Cited in: 6 Publications (2020–2022) Related Software: PFASST; ParaDiag; MGRIT; XBraid; PARAEXP; PiTSBiCG; … Main Fields: (49M27-XX); (68W10-XX); (65K10-XX)
Bellerophon Software Authors: Fulton, Nathan; Mitsch, Stefan; Bohrer, Brandon; Platzer, André Cited in: 5 Publications (2017–2022) Related Software: KeYmaera; KeYmaera X; SpaceEx; Isabelle/HOL; ModelPlex; dReach; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)
FORCES NLP Software Authors: Zanelli, A.; Domahidi, A.; Jerez, J.; Morari, M. Cited in: 5 Publications (2018–2022) Related Software: qpOASES; GRAMPC; qpDUNES; Ipopt; ACADO; GitHub; … Main Fields: (93B45-XX); (93C10-XX); (90C30-XX)
ROCS Software Authors: Li, Yinan; Liu, Jun Cited in: 5 Publications (2018–2021) Related Software: SCOTS; CoSyma; pFaces; TuLiP; PESSOA; CPAchecker; … Main Fields: (93-06-XX); (68-06-XX); (68Q45-XX)
COKOSNUT Software Authors: Sprengel, M.; Ciaramella, G.; Borzì, A. Cited in: 4 Publications (2017–2022) Related Software: OCTOPUS; Libxc; Matlab Main Fields: (93C20-XX); (49N90-XX); (81V70-XX)
helperOC Software Authors: Somil Bansal, Mo Chen, Sylvia Herbert, Claire J. Tomlin Cited in: 3 Publications (2020–2022) Related Software: ToolboxLS; PILCO; Python; BaRC Main Fields: –
nncontroller Software Authors: Zhao, Hengjun; Zeng, Xia; Chen, Taolue; Liu, Zhiming; Woodcock, Jim Cited in: 4 Publications (2020–2021) Related Software: Reluplex; Spacer; CLN2INV; AI2; Adam; Sherlock; … Main Fields: Computer science (68-XX)
PySINDy Software Authors: Brian de Silva; Kathleen Champion; Markus Quade; Jean-Christophe Loiseau; J. Nathan Kutz; Steven L. Brunton Cited in: 3 Publications (2021–2022) Related Software: GitHub; sparsereg; Scikit; Python; PyTorch; multiscale-chemical-reaction; … Main Fields: –
REACH Software Authors: Xu, Ming; Zhu, Jiaqi; Li, Zhi-Bin Cited in: 4 Publications (2013–2018) Related Software: ISOLATE; QEPCAD; iscasMc; z3; REDLOG; MRMC; … Main Fields: (93B03-XX); (93C10-XX); (93C30-XX)
pycombina Software Authors: Bürger, A., Zeile, C., Hahn, M., Altmann-Dieses, A., Sager, S., Diehl, M. Cited in: 3 Publications (2021) Related Software: CasADi; Ipopt; JuMP; jInv; Julia; MINOTAUR; … Main Fields: –
BACK Software Authors: Zinober, Alan S.I.; Scarratt, Julie C.; Mills, Russell E.; Koshkouei, Ali Jafari Cited in: 2 Publications (2001–2014) Related Software: Matlab; Maple Main Fields: Systems theory; control (93-XX)
EFSMT Software Authors: Cheng CH, Shankar N, Ruess H, Bensalem S Cited in: 2 Publications (2016–2019) Related Software: z3; Yices; OptiMathSAT; vZ; raSAT; CalCS; … Main Fields: –
Flappy Software Authors: Fan Fei, Zhan Tu, Yilun Yang, Jian Zhang, Xinyan Deng Cited in: 1 Publication (2021) Related Software: DLTdv; Dart; MuJoCo; ROS; Python; OpenAI Gym; … Main Fields: –
JBernstein Software Authors: Cheng CH, Ruess H, Shankar N Cited in: 1 Publication (2016) Related Software: MetiTarski; EFSMT; dReal; z3; Yices; QEPCAD Main Fields: –
MATMPC Software Authors: Chen, Y., Bruschetta, M., Picotti, E., Beghi, A. Cited in: 2 Publications (2022) Related Software: FORCES NLP; VIATOC; GRAMPC; qpDUNES; qpOASES; Ipopt; … Main Fields: –
NMPC Software Authors: Alamir, Mazen Cited in: 1 Publication (2012) Related Software: MPC tools; Matlab; ACADO; pdf-mpc Main Fields: (93B40-XX); (93C55-XX); (93C10-XX)
PolyMPC Software Authors: Listov, Petr; Jones, Colin Cited in: 2 Publications (2020–2022) Related Software: Matlab; CasADi; qpOASES; GitHub; PANOC; HQP/OMUSES; … Main Fields: (93B45-XX); (93C10-XX); (93-08-XX)
PRESAS Software Authors: Rien Quirynen, Stefano Di Cairano Cited in: 2 Publications (2020–2022) Related Software: qpOASES; QPSchur; QPDAS; HPIPM; OSQP; OpenBLAS; … Main Fields: –
ADPT Software Authors: Xiaowei Xing, Dong Eui Chang Cited in: 0 Publications Related Software: Control Toolbox; Nonlinear Systems Toolbox; GPOPS; acados; ACADO; Matlab Main Fields: –
CONSER Software Authors: Malrait, Luc; Bouchenak, Sara; Marchand, Nicolas Cited in: 1 Publication (2011) Related Software: – Main Fields: (68M20-XX)
CRCBode Software Authors: Taylor, J.D.; Messner, William Cited in: 1 Publication (2014) Related Software: Robust Control Toolbox Main Fields: (93B35-XX); (93C10-XX); (93C80-XX)
DaDRA Software Authors: Jared Mejia, Alex Devonport, Murat Arcak Cited in: 0 Publications Related Software: Ariadne; Isabelle/HOL; NLTOOLBOX; JuliaReach; Python Main Fields: –
DDASAC Software Authors: W.E. Stewart, M. Caracotsios, J.P. Sorensen Cited in: 1 Publication (2005) Related Software: PDASAC Main Fields: –
GTF_Tools Software Authors: M. Ondera Cited in: 1 Publication (2008) Related Software: – Main Fields: –
interval toolbox Software Authors: Houizot, P.; Acsysteme Cited in: 1 Publication (2009) Related Software: ADOL-C Main Fields: –
MBC Toolbox Software Authors: mathworks Cited in: 1 Publication (2017) Related Software: Matlab; Qhull; CPLEX; polymake Main Fields: –
MPDopt Software Authors: Summers S, Bewley TR Cited in: 1 Publication (2017) Related Software: SOCS; Matlab Main Fields: –
NLSOFT Software Authors: Kaddouri, A.; Blais, S.; Ghribi, M.; Akhrif, O. Cited in: 1 Publication (2006) Related Software: – Main Fields: (93B18-XX); (93B52-XX); (93C10-XX)
Nonlinear Systems Toolbox Software Authors: Krener, A. J. Cited in: 0 Publications Related Software: Control Toolbox; GPOPS; acados; ACADO; Matlab; ADPT Main Fields: –
NTGsim Software Authors: Di Trapani, Lyall Jonathan; Inanc, Tamer Cited in: 1 Publication (2010) Related Software: NPSOL; OPTRAGEN Main Fields: (93B40-XX); (93C10-XX); (68U35-XX)
PDASAC Software Authors: Stewart, Warren E. Cited in: 1 Publication (2005) Related Software: DDASAC Main Fields: –
PoCET Software Authors: Felix Petzke, Ali Mesbah, Stefan Streif Cited in: 0 Publications Related Software: Symbolic Math Toolbox; UQLab; Matlab Main Fields: –
PYROBOCOP Software Authors: Arvind U. Raghunathan, Devesh K. Jha, Diego Romeres Cited in: 0 Publications Related Software: Drake; CAZSL; MuJoCo; Optimica; JModelica; pyomo.dae; … Main Fields: –
qopt Software Authors: Julian D. Teske, Pascal Cerfontaine, Hendrik Bluhm Cited in: 0 Publications Related Software: scqubits; QuTiP; NumPy; LLVM; CUDA; Numba; … Main Fields: –
SAC Software Authors: L.A. Márquez-Martínez, A. Glumineau Cited in: 1 Publication (2007) Related Software: – Main Fields: –
Snake-Robot-Locomotion Software Authors: Sibilska-Mroziewicz, Anna; Możaryn, Jakub; Hameed, Ayesha; Fernández, María Molina; Ordys, Andrzej Cited in: 1 Publication (2022) Related Software: Matlab Main Fields: (70E55-XX)
symbtools Software Authors: Knoll, Carsten; Fritzsche, Klemens Cited in: 1 Publication (2018) Related Software: hypore; GitHub; SymPy Main Fields: –
Functions and Equations Software Authors: – Cited in: 0 Publications Related Software: – Main Fields: –