A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
System Description: GCLCprover + GeoThms
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
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