[Lecture Notes in Computer Science] Mathematical Software - ICMS 2006 Volume 4151 || GCLC — A Tool for Constructive Euclidean Geometry and More Than That
Iglesias, Andrés, Takayama, NobukiVolume:
10.1007/11
Year:
2006
Language:
english
DOI:
10.1007/11832225_6
File:
PDF, 506 KB
english, 2006