Refutational proofs of geometry theorems via characteristic set computation
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
The Recovery and Understanding of a Line Drawing from Indoor Scenes
IEEE Transactions on Pattern Analysis and Machine Intelligence - Special issue on interpretation of 3-D scenes—part II
A dynamic-symbolic interface for geometric theorem discovery
Computers & Education
A software tool for the investigation of plane loci
Mathematics and Computers in Simulation
Computer algebra handbook
Dealing with redundancy and inconsistency in constructive geometric constraint solving
Advances in Engineering Software
A web-based intelligent system for geometric discovery
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
Automatic deduction in (dynamic) geometry: Loci computation
Computational Geometry: Theory and Applications
Hi-index | 0.00 |