Predrag Janicic
AuthID: R-00H-N0F
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
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
WOS