Mathematics and geometry education with collaborative augmented reality
ACM SIGGRAPH 2002 conference abstracts and applications
A Graphical User Interface for Formal Proofs in Geometry
Journal of Automated Reasoning
A constraint-based dynamic geometry system
Proceedings of the 2008 ACM symposium on Solid and physical modeling
Computing Locus Equations for Standard Dynamic Geometry Environments
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
Geometric constraint solving: The witness configuration method
Computer-Aided Design
A constraint-based dynamic geometry system
Computer-Aided Design
Visually Dynamic Presentation of Proofs in Plane Geometry
Journal of Automated Reasoning
On the parametric representation of dynamic geometry constructions
ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part IV
Towards solving the dynamic geometry bottleneck via a symbolic approach
ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
| Hi-index | 0.00 |