Robust Control Toolbox Software Authors: MathWorks; Balas G, Chiang R, Packard A, Safonov M Cited in: 154 Publications (1989–2023) Related Software: Matlab; Control System Toolbox; Mu Analysis and Synthesis Toolbox; LMI toolbox; YALMIP; Optimization Toolbox; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)
d/dt Software Authors: Asarin, Eugene; Dang, Thao; Maler, Oded Cited in: 38 Publications (2002–2021) Related Software: HyTech; PHAVer; SpaceEx; RSOLVER; Uppaal; HSolver; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
BioBayes Software Authors: Mark Girolami; Vladislav Vyshemirsky Cited in: 20 Publications (2008–2022) Related Software: PRMLT; deGradInfer; BayesDA; ABC-SysBio; R; PMTK; … Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
ProTDB Software Authors: A. Nierrman, H.V. Jagadish Cited in: 12 Publications (2005–2018) Related Software: ProbView; PSQL; XPath; TAX; Trio; XQuery; … Main Fields: Computer science (68-XX)
ROLMIP Software Authors: Agulhari, C. M.; Oliveira, R. C. L.F.; Peres, P. L. D. Cited in: 20 Publications (2016–2022) Related Software: YALMIP; Mosek; SeDuMi; Sostools; SeDuMi Interface; SOSOPT; … Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)
ValEncIA Software Authors: Rauh, A. ;Hofer, E.P.; Auer, E. Cited in: 19 Publications (2008–2020) Related Software: ValEncIA-IVP; Cosy; FADBAD++; PROFIL/BIAS; SmartMobile; INTLAB; … Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
BayesOWL Software Authors: Zhongli Ding; Yun Peng; Rong Pan Cited in: 7 Publications (2008–2019) Related Software: BLOG; PR-OWL; IBAL; BUGS; KnowRob; MEBN; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
IQC Software Authors: Megretski AV; Kao CY; Jonsson UT; Rantzer A Cited in: 8 Publications (2006–2016) Related Software: Matlab; LMI toolbox; Robust Control Toolbox; Control System Toolbox; YALMIP; CVX; … Main Fields: Systems theory; control (93-XX)
MCINTYRE Software Authors: Riguzzi, F. Cited in: 7 Publications (2015–2019) Related Software: ProbLog; PITA; CP-logic; PRISM; cplint; SWI-Prolog; … Main Fields: Computer science (68-XX)
PSQL Software Authors: Dey, Debabrata; Sarkar, Sumit Cited in: 4 Publications (1998–2005) Related Software: ProbView; ProTDB Main Fields: General and overarching topics; collections (00-XX); Number theory (11-XX); Computer science (68-XX)
BousiProlog Software Authors: Iranzo, Pascual Julián, Clemente Rubio-Manzano Cited in: 4 Publications (2017–2021) Related Software: Likelog; Rfuzzy; WordNet; HOL90; SWI-Prolog; FRIL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
UDDAE_Optimization Software Authors: Fenzi, Luca; Michiels, Wim Cited in: 5 Publications (2017–2022) Related Software: UQLab; HIFOO; GitHub; nonlinear_pseudoabscissa; DDE-BIFTOOL; IRAM; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)
CLARO Software Authors: Thanh T. L. Tran, Liping Peng, Yanlei Diao, Andrew McGregor, Anna Liu Cited in: 4 Publications (2013–2021) Related Software: MYSTIQ; MayBMS; Trio; PRMLT Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Computer science (68-XX)
ROMO Software Authors: Lungu, Mihai Cited in: 4 Publications (2018–2022) Related Software: – Main Fields: Systems theory; control (93-XX)
LFTB Software Authors: D'Amato, Fernando; Rotea, Mario Cited in: 3 Publications (2003–2005) Related Software: LMI toolbox; SDPT3; Benchmarks for Optimization Software; SeDuMi Interface; Sp; SBmethod; … Main Fields: Operations research, mathematical programming (90-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)
RoMulOC Software Authors: Dimitri Peaucelle; D. Arzelier, A. Bortott, G. Chevarria, M. Sevin, Ph. Spiesser Cited in: 3 Publications (2000–2019) Related Software: Sostools; SeDuMi; YALMIP; Matlab; Mosek; ROLMIP; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Systems theory; control (93-XX)
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)
FAMOUS Software Authors: Hanss, M., Walz, N.P., Universität Stuttgart Cited in: 2 Publications (2018–2019) Related Software: Morembs; Matlab Main Fields: Ordinary differential equations (34-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)
OpenMORDM Software Authors: Hadka D, Herman J, Reed P, Keller K. Cited in: 1 Publication (2020) Related Software: SALib; Exploratory Modeling Workbench; Python; Rhodium Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
p3delta Software Authors: Boussaada, Islam; Mazanti, Guilherme; Niculescu, Silviu-Iulian; Huynh, Julien; Sim, Franck; Thomas, Matthieu Cited in: 2 Publications (2021–2022) Related Software: DLMF; Binder 2.0; Python Main Fields: Special functions (33-XX); Ordinary differential equations (34-XX); Systems theory; control (93-XX)
CONTIDNS Software Authors: Luther, Wolfram; Scholt, Torsten; Traczinski, Holger Cited in: 1 Publication (2001) Related Software: – Main Fields: Systems theory; control (93-XX)
FLIP++ Software Authors: Bonner, M.; Mayer, S.; Raggl, A.; Slany, W. Cited in: 1 Publication (1998) Related Software: StarFLIP Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
fnyzer Software Authors: Júlvez, Jorge; Oliver, Stephen G. Cited in: 1 Publication (2020) Related Software: COBRApy; GLPK; CPLEX; Pyomo; Gurobi Main Fields: Biology and other natural sciences (92-XX)
HySon Software Authors: O. Bouissou, S. Mimram, A. Chapoutot Cited in: 1 Publication (2021) Related Software: Interproc; CORA; HyLAA; Flow*; C2e2; STRONG; … Main Fields: Computer science (68-XX)
interval toolbox Software Authors: Houizot, P.; Acsysteme Cited in: 1 Publication (2009) Related Software: ADOL-C Main Fields: 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)
MADP toolbox Software Authors: Oliehoek, Frans A.; Spaan, Matthijs T.J.; Terwijn, Bas; Robbel, Philipp; Messias, Jo~ao V. Cited in: 1 Publication (2016) Related Software: – Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX)
MCDB Software Authors: Jampani R, Xu F, Wu M, et al. Cited in: 1 Publication (2014) Related Software: – Main Fields: Computer science (68-XX)
Sarcheshmeh Software Authors: Dezfuli, Mohammad G.; Haghjoo, Mostafa S. Cited in: 1 Publication (2012) Related Software: – Main Fields: Computer science (68-XX)
TRaCE+ Software Authors: Ud-Dean SMM, Heise S, Klamt S, Gunawan R Cited in: 1 Publication (2019) Related Software: Matrix eQTL; SIRENE; FATODE; NOMAD; GeneNetWeaver; Path2Models; … Main Fields: Biology and other natural sciences (92-XX)
HyStar Software Authors: Lin, H.; Antsaklis, P.J. Cited in: 0 Publications Related Software: – Main Fields: –
NCS toolbox Software Authors: Bauer, Nicolas W.; van Loon, S. J. L. M. Bas; Van De Wouw, Nathan; Heemels, W. P. M. H. Maurice Cited in: 0 Publications Related Software: – Main Fields: –