共 20 条
- [1] Basu S., 2006, Algorithms and Computation in Mathematics
- [2] BORTOLOTTI E, 1966, R BOMBELLI ALGEBRA B
- [3] BROWN CW, 2004, QEPCAD QUANTIFIER EL
- [4] Cardano G., 1993, Ars Magna or the Rules of Algebra
- [5] COLLINS GE, 1991, J SYMB COMPUT, V12, P99
- [7] DOLZMANN A, 1997, ACM SIGSAM B, V31, P2, DOI DOI 10.1145/261320.261324
- [8] Gonzalez L., 1989, Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, ISSAC '89, P136, DOI 10.1145/74540.74558
- [9] Guilbeau L., 1930, Math. News Lett, V5, P8, DOI DOI 10.2307/3027812
- [10] Hong H, 2006, LECT NOTES ARTIF INT, V4120, P181