共 50 条
- [21] Symbolic-Numeric Algorithms for Computer Analysis of Spheroidal Quantum Dot Models [J]. COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, 2010, 6244 : 106 - +
- [22] Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software [J]. HSCC'16: PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2016, : 135 - 144
- [23] THE SYMBOLIC-NUMERIC INTERFACE - A ZOSTERIC APPROACH [J]. APPLIED ARTIFICIAL INTELLIGENCE, 1995, 9 (05) : 451 - 478
- [24] What is hybrid symbolic-numeric computation? [J]. 13TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2011), 2012, : 11 - 11
- [25] Analysis of network dynamics including hidden variables by symbolic-numeric approach [J]. OPTIMIZATION AND SYSTEMS BIOLOGY, PROCEEDINGS, 2008, 9 : 242 - +
- [27] FACTORIZATION ALGORITHM FOR SYMBOLIC CIRCUIT ANALYSIS [J]. ELECTRONICS LETTERS, 1995, 31 (13) : 1026 - 1027
- [28] Mathematical Geosciences: Hybrid Symbolic-Numeric Methods [J]. PURE AND APPLIED GEOPHYSICS, 2020, 177 (07) : 3543 - 3544