1
TITLE: Automatic verification of regular constructions in dynamic geometry systems
AUTHORS: Predrag Janicic; Pedro Quaresma;
PUBLISHED: 2007, SOURCE: 6th International Workshop on Automated Deduction in Geometry in AUTOMATED DEDUCTION IN GEOMETRY, VOLUME: 4869
INDEXED IN: WOS