Found 4 Software Packages (Results 1–4)


Software Authors:   Dong, Q. L.; Huang, J. Z.; Li, X. H.; Cho, Y. J.; Rassias, Th. M.
Referenced in: 13 Publications (2019–2022)
Related Software: UNLocBoX; iPiano; ARock; AIR tools
Main Fields: Operator theory (47-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)


Software Authors:   Sankur, Ocan
Referenced in: 3 Publications (2013–2015)
Related Software: Uppaal; PSyHCoS; PAT; PPL; HyTech; TREX; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)


Software Authors:   Liao, Shih-Kang; Shu, Yu-Chen; Liu, Xuefeng
Referenced in: 2 Publications (2019–2020)
Related Software: INTLAB; Matlab
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Approximations and expansions (41-XX)


Software Authors:   Ching-Yun Ko, Zhaoyang Lyu, Tsui-Wei Weng, Luca Daniel, Ngai Wong, Dahua Lin
Referenced in: 1 Publication (2021)
Related Software: NeuroDiff; ReluDiff; DiffRNN; DeepGauge; DeepXplore; TensorFuzz; …
Main Fields: Computer science (68-XX)