Method for Processing Graph Degeneracy in Dynamic Geometry Based on Domain Design

A dynamic geometry system, as an important application in the field of geometric constraint solving, is widely used in elementary mathematics education; moreover, the dynamic geometry system is also a fundamental environment for automated theorem proving in geometry. In a geometric constraint solvin...

Full description

Saved in:

Bibliographic Details
Published in:	Journal of computer science and technology Vol. 36; no. 4; pp. 910 - 921
Main Authors:	Guan, Hao, Rao, Yong-Sheng, Zhang, Jing-Zhong, Cao, Sheng, Qin, Xiao-Lin
Format:	Journal Article
Language:	English
Published:	Singapore Springer Singapore 01.07.2021 Springer Springer Nature B.V Institute of Computing Science and Technology,Guangzhou University,Guangzhou 510006,China University of Chinese Academy of Sciences,Beijing 100049,China%Institute of Computing Science and Technology,Guangzhou University,Guangzhou 510006,China%School of Computer Science and Engineering,University of Electronic Science and Technology of China Chengdu 61173,China%Chengdu Institute of Computer Applications,Chinese Academy of Sciences,Chengdu 610041,China University of Chinese Academy of Sciences,Beijing 100049,China Chengdu Institute of Computer Applications,Chinese Academy of Sciences,Chengdu 610041,China
Subjects:	Algorithms Artificial Intelligence Computer Science Critical point Data structures Data Structures and Information Theory Design optimization Euclidean geometry Geometric constraints Geometry Information Systems Applications (incl.Internet) Methods Regular Paper Software Engineering Theory of Computation critical point degeneracy domain model dynamic geometry
ISSN:	1000-9000, 1860-4749
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!