第十四届中国数学会计算机数学大会 (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)
Math formula preview:
Supported by SmartChair