Author:
Tulone Daniela,Yap Chee,Li Chen
Publisher
Springer Berlin Heidelberg
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Probabilistic Algorithm for Verification of Geometric Theorems;Algorithmic Aspects in Information and Management;2019
2. Much Ado about Zero;Lecture Notes in Computer Science;2009
3. Geometric constraint solving: The witness configuration method;Computer-Aided Design;2006-04
4. Recent progress in exact geometric computation;The Journal of Logic and Algebraic Programming;2005-07
5. Robustness and Randomness;Reliable Implementation of Real Number Algorithms: Theory and Practice