共 50 条
- [21] Automated Precision Analysis: A Polynomial Algebraic Approach [J]. 2010 18TH IEEE ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM 2010), 2010, : 157 - 164
- [22] An algebraic approach to computing adjoint curves [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1997, 23 (2-3) : 229 - 240
- [23] LINEAR FEEDBACK - ALGEBRAIC APPROACH [J]. SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 1978, 16 (01) : 83 - 105
- [28] Computing Galois cohomology of a real linear algebraic group [J]. JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 2024, 109 (05):
- [30] Algebraic models of simple type theories A polynomial approach [J]. PROCEEDINGS OF THE 35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020), 2020, : 88 - 101