共 50 条
- [41] Symbolic-Numeric Simulation of Satellite Dynamics with Aerodynamic Attitude Control System COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2018, 2018, 11077 : 214 - 229
- [42] ANALYSIS AND EVALUATION OF PIECEWISE LINEAR SYSTEMS WITH COULOMB FRICTION USING A HYBRID SYMBOLIC-NUMERIC COMPUTATIONAL METHOD PROCEEDINGS OF ASME 2021 INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, IDETC-CIE2021, VOL 9, 2021,
- [43] Symbolic-Numeric Algorithms for Computer Analysis of Spheroidal Quantum Dot Models COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, 2010, 6244 : 106 - +
- [44] Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software HSCC'16: PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2016, : 135 - 144
- [45] Analysis of network dynamics including hidden variables by symbolic-numeric approach OPTIMIZATION AND SYSTEMS BIOLOGY, PROCEEDINGS, 2008, 9 : 242 - +
- [46] Efficient Hybrid Symbolic-Numeric Computational Method for Piecewise Linear Systems With Coulomb Friction JOURNAL OF COMPUTATIONAL AND NONLINEAR DYNAMICS, 2023, 18 (07):
- [47] Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables PROCEEDINGS OF THE 2016 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC 2016), 2016, : 333 - 340
- [48] Symbolic-numeric computation of implicit riquier bases for PDE Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, 2007, : 377 - 386
- [50] Symbolic-numeric Computation of Implicit Riquier Bases for PDE ISSAC 2007: PROCEEDINGS OF THE 2007 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, 2007, : 377 - 385