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

SSRN Electronic Journal 2026 Preprint Open access

Read full text

Authors: Rui-Juan Jing, Yuegang Zhao, Changbo Chen

DOI: 10.2139/ssrn.6178288

Cited by: 0

References: 23

Fields of Study & Subjects

Polynomial and algebraic computation Formal Methods in Verification Mathematical and Computational Methods

References 23