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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of computer science and technology Jg. 36; H. 4; S. 910 - 921
Hauptverfasser: Guan, Hao, Rao, Yong-Sheng, Zhang, Jing-Zhong, Cao, Sheng, Qin, Xiao-Lin
Format: Journal Article
Sprache:Englisch
Veröffentlicht: 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
Schlagworte:
ISSN:1000-9000, 1860-4749
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!