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