共 50 条
- [31] On symbolic-numeric solving of sine-polynomial equations [J]. JOURNAL OF COMPLEXITY, 2000, 16 (01) : 274 - 285
- [32] On the modular symbolic-numeric implementation of extended Kalman filters [J]. PROCEEDINGS OF THE 1996 IEEE INTERNATIONAL SYMPOSIUM ON COMPUTER-AIDED CONTROL SYSTEM DESIGN, 1996, : 510 - 515
- [33] An automatic symbolic-numeric Taylor series ODE solver [J]. CASC'99: COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, 1999, : 37 - 50
- [34] Symbolic-numeric investigations for stability analysis of satellite systems [J]. CASC'99: COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, 1999, : 223 - 228
- [35] Symbolic-numeric Computation of Implicit Riquier Bases for PDE [J]. ISSAC 2007: PROCEEDINGS OF THE 2007 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, 2007, : 377 - 385
- [36] MathATESAT: A Symbolic-Numeric Environment in Astrodynamics and Celestial Mechanics [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2011, PT II, 2011, 6783 : 436 - 449
- [39] A Sage Package for the Symbolic-Numeric Factorization of Linear Differential Operators [J]. ACM COMMUNICATIONS IN COMPUTER ALGEBRA, 2021, 55 (02): : 44 - 48
- [40] A HYBRID SYMBOLIC-NUMERIC COMPUTATIONAL METHOD FOR ANALYSIS OF BILINEAR SYSTEMS [J]. PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2018, VOL 8, 2018,