most citedBreaking the Data Barrier in Learning Symbolic Computation: A Case Study on Variable Ordering Suggestion for Cylindrical Algebraic Decomposition

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SC2026★ 1 cited

Breaking the Data Barrier in Learning Symbolic Computation: A Case Study on Variable Ordering Suggestion for Cylindrical Algebraic Decomposition

Rui-Juan Jing, Yuegang Zhao, Changbo Chen

Symbolic computation, powered by modern computer algebra systems, has important applications in mathematical reasoning through exact deep computations. The efficiency of symbolic c…