System Description: GCLCprover + GeoThms [chapter]

Predrag Janičić, Pedro Quaresma
2006 Lecture Notes in Computer Science  
2 GCLC (originally a tool for producing geometrical illustrations for L A T E X, hence its name -Geometrical Constructions → L A T E X Converter) [3, 4] provides support for a range of geometrical constructions, isometric transformations, parametric curves, but also for symbolic expressions, and program loops. The basic idea behind GCLC is that constructions are formal procedures, rather than drawings. Thus, producing illustrations is based on "describing figures" rather than of "drawing figures".
doi:10.1007/11814771_13 fatcat:dcv2jhlb5rhtddurbjskvflfki