• Overview
• Research
• Team
• Publications
• Consortium
• Related Links
• Contact

Publications

1. T. Zhao: Parametric Polynomial System Solving by Radicals and Its Geometric Applications. PhD thesis, Université Pierre et Marie Curie - Paris 6 and Beihang University, 2012.


2. T. Zhao, H. Hong, D. Wang, and P. Aubry: Real Solution Formulas of Cubic and Quartic Equations Applied to Generate Dynamic Diagrams with Inequality Constraints. In: Proceedings of the 27th ACM Symposium on Applied Computing (SAC 2012) (Riva del Garda, Italy, March 26-30, 2012), ACM Press, New York, 2012, pp. 94-101.


3. X. Chen and D. Wang: Management of Geometric Knowledge in Textbooks. Data & Knowledge Engineering 73 (2012) 43-57.


4. X. Chen: On the Design and Implementation of an Electronic Geometry Textbook System (in Chinese). PhD thesis, Beihang University, 2011.


5. T. Zhao, D. Wang, and H. Hong: Solution Formulas for Cubic Equations Without or With Constraints. Journal of Symbolic Computation 46(8) (2011) 904-918.


6. X. Chen: Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System. In: AISC/Calculemus/MKM 2010 (S. Autexier, J. Calmet, D. Delahaye, P. Ion, L. Rideau, R. Rioboo, and A. Sexton, eds.), LNAI 6167, Springer-Verlag, Berlin Heidelberg, 2010, pp. 278-292.


7. X. Chen, Y. Huang, and D. Wang: On the Design and Implementation of a Geometric knowledge Base. In: Automated Deduction in Geometry - ADG 2008 Proceedings (T. Sturm and C. Zengler, eds.), LNAI 6301, Springer-Verlag, Berlin Heidelberg, 2011, pp. 22-41.


8. D. Wang: Basic Elements of Computer Geometry. In: Proceedings of the Tunisia-Japan Workshop on Symbolic Computation in Software Science (SCSS 2009) (Gammarth, Tunisia, September 22-24, 2009) (A. Bouhoula and T. Ida, eds.), EasyChair, 2009, pp. 2-12.


9. D. Wang: Formalization and Specification of Geometric Knowledge Objects. In: Proceedings of the Sixth Asian Workshop on Foundations of Software (AWFS 2009) (Tokyo, Japan, April 6-8, 2009) (Z. Hu and J. Zhang, eds.), National Institute of Informatics, Japan, 2009, pp. 86-98.


10. T. Liang and D. Wang: On the Design and Implementation of a Geometric-Object-Oriented Language. Frontiers of Computer Science in China 1(2) (2007) 180-190.


11. X. Chen and D. Wang: Towards an Electronic Geometry Textbook. In: Automated Deduction in Geometry (F. Botana and T. Recio, eds.), LNAI 4869, Springer-Verlag, Berlin Heidelberg, 2007, pp. 1-23.


12. H. Hong, L. Li, T. Liang, and D. Wang: Solving Dynamic Geometric Constraints Involving Inequalities. In: Artificial Intelligence and Symbolic Computation - AISC 2006 Proceedings (J. Calmet, T. Ida, and D. Wang, eds.), LNAI 4120, Springer-Verlag, Berlin Heidelberg, 2006, pp. 181-195.


13. T. Liang and D. Wang: Towards a Geometric-Object-Oriented Language. In: Automated Deduction in Geometry (H. Hong and D. Wang, eds.), LNAI 3763, Springer-Verlag, Berlin Heidelberg, 2006, pp. 130-155.


14. D. Wang: GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically. In: Automated Deduction in Geometry (F. Winkler, ed.), LNAI 2930, Springer-Verlag, Berlin Heidelberg, 2004, pp. 194-215.


15. D. Wang: Automated Generation of Diagrams with Maple and Java. In: Algebra, Geometry, and Software Systems (M. Joswig and N. Takayama, eds.), Springer-Verlag, Berlin Heidelberg, 2003, pp. 277-287.