共 50 条
- [31] Using computer algebra for solving some optimal control problems by dynamic programming [J]. COMPUTER AIDED CONTROL SYSTEMS DESIGN (CACSD'97), 1997, : 39 - 43
- [32] Nemo/Hecke: Computer Algebra and Number Theory Packages for the Julia Programming Language [J]. PROCEEDINGS OF THE 2017 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC'17), 2017, : 157 - 164
- [34] COMMUTATIVE ALGEBRA AND COMPUTER ALGEBRA [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1982, 144 : 40 - 48
- [40] BOOLEAN ALGEBRA OF LOGIC [J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 81 (03) : 587 - 589