第十四届中国数学会计算机数学大会 (CM 2024)

2024年 6月13日 ~ 16日

P000082

A dataset for suggesting variable orderings for cylindrical algebraic decompositions  

Changbo Chen (Chongqing Institute of Green and Intelligent Technology, Chinese Academy of Sciences)
Ruijuan Jing (Jiangsu University)
Chengrong Qian (Jiangsu University)
Yaru Yuan (Jiangsu University)
*Yuegang Zhao (Jiangsu University)



Supported by SmartChair

Math formula preview: