Sciweavers

83
Voted
ADG
2006
Springer
191views Mathematics» more  ADG 2006»
15 years 16 days ago
Automatic Verification of Regular Constructions in Dynamic Geometry Systems
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
Predrag Janicic, Pedro Quaresma