| Tài liệu tham khảo |
Loại |
Chi tiết |
| [1] Baader, F. and Nipkow, T., Term Rewriting and All That. Cambridge University Press, Cambridge, 1998 |
Sách, tạp chí |
| Tiêu đề: |
Term Rewriting and All That |
|
| [2] Buchberger, B., Gr¨ obner bases: An algorithmic method in polynomial ideal theory. ¨ In: Recent Trends in Multidimensional Systems Theory (Bose, N. K., ed.), pp. 184– |
Sách, tạp chí |
| Tiêu đề: |
Recent Trends in Multidimensional Systems Theory |
|
| [3] James, E. M. and Lloyd, N. G., A cubic system with eight small-amplitude limit cycles. IMA J. Appl. Math. 47: 163–171, 1991 |
Sách, tạp chí |
| Tiêu đề: |
IMA J. Appl. Math |
|
| [4] Li, W., An open logic system (in Chinese). Science in China (Sci. Sinica) (ser. A) 10: 1103–1113, 1992 |
Sách, tạp chí |
| Tiêu đề: |
Science in China |
|
| [5] Li, W. and Ma, S., A framework for analytic-intelligent agents. In: Proceedings of the International Conference on Artificial Intelligence (IC-AI’2000), Las Vegas, USA, 2000 |
Sách, tạp chí |
| Tiêu đề: |
Proceedings ofthe International Conference on Artificial Intelligence |
|
| [6] Li, W. and Ma, S., Limits of theory sequences over algebraically closed fields and applications. Discrete Appl. Math. 136(1): 23–43, 2004 |
Sách, tạp chí |
| Tiêu đề: |
Discrete Appl. Math |
|
| [7] Ma, S., Sui, Y. and Xu, K., The limits of the Horn logic programs. In: Proceedings of the 18th International Conference on Logic Programming (ICLP 2002), Copenhagen, Denmark, LNCS 2401, p. 467. Springer-Verlag, Berlin Heidelberg, 2002 |
Sách, tạp chí |
| Tiêu đề: |
Proceedings ofthe 18th International Conference on Logic Programming |
|
| [8] Lu, Z. and Ma, S., Centers, foci and limit cycles for polynomial differential systems.In: Mathematics Mechanization and Applications (Gao, X.-S. and Wang, D., eds.), pp. 365–387. Academic Press, London, 2000 |
Sách, tạp chí |
| Tiêu đề: |
Mathematics Mechanization and Applications |
|
| [9] Ma, S. and Ning, S., Deriving some new conditions on the existence of eight limit cycles for a cubic system. Comput. Math. Appl. 33: 59–84 1997 |
Sách, tạp chí |
| Tiêu đề: |
Comput. Math. Appl |
|
| [10] Ma, S. and Ning, S., Practically solving some problems expressed in the first order theory of real closed fields. Int. J. Comput. Math. 69: 265–282, 1998 |
Sách, tạp chí |
| Tiêu đề: |
Int. J. Comput. Math |
|
| [12] Ning, S., Ma, S., Kwek, K. H. and Zheng, Z., A cubic system with eight small- amplitude limit cycles. Appl. Math. Lett. 7: 23–27, 1994 |
Sách, tạp chí |
| Tiêu đề: |
Appl. Math. Lett |
|
| [13] Rabin, M., Decidable theories. In: Handbook of Mathematical Logic (Barwise, ed.), pp. 595–630. North-Holland Publ. Co., 1977 |
Sách, tạp chí |
| Tiêu đề: |
Handbook of Mathematical Logic |
|
| [14] Wang, D., Mechanical manipulation for a class of differential systems. J. Symb.Comput. 12: 233–254, 1991 |
Sách, tạp chí |
|
| [15] Wang, D., A method for proving theorems in differential geometry and mechanics.J. Univ. Comput. Sci. 1: 658–673, 1995 |
Sách, tạp chí |
| Tiêu đề: |
J. Univ. Comput. Sci |
|
| [16] Wu, W., On the mechanization of theorem-proving in elementary differential geom- etry (in Chinese). Sci. Sinica Special Issue on Math. (I): 94–102, 1979 |
Sách, tạp chí |
|
| [17] Wu, W., Basic principles of mechanical theorem proving in elementary geometries.J. Automat. Reason. 2: 221–252, 1986 |
Sách, tạp chí |
| Tiêu đề: |
J. Automat. Reason |
|
| [18] Wu, W., Mechanical theorem proving in elementary geometry and elementary differ- ential geometry. In: Proceedings of the 1980 Beijing DD-Symposium, vol. 2, pp. 1073– |
Sách, tạp chí |
| Tiêu đề: |
Proceedings of the 1980 Beijing DD-Symposium |
|
| [11] Ma, S., A computational study on limit behavior of formal system sequences and its applications (in Chinese). Technical Report, School of Computer Science, Beihang University, December 2003 |
Khác |
|