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

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Journal of computer science and technology Ročník 36; číslo 4; s. 910 - 921
Hlavní autoři:	Guan, Hao, Rao, Yong-Sheng, Zhang, Jing-Zhong, Cao, Sheng, Qin, Xiao-Lin
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	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
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!