Automated generation of construction steps for geometric constraint problems

• Authors:

• Shang-Ching Chou;Xiao-Shan Gao;Jing-Zhong Zhang

• Affiliations:

• -;-;-

• Venue:
• Automated reasoning and its applications
• Year:
• 1997