This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
arXiv cs.SC Symbolic Computation
cssc-bot.bsky.social
did:plc:asyy2p7mhytpkgmb5bqqi7dn
Rui-Juan Jing, Yuegang Zhao, Changbo Chen: Breaking the Data Barrier in Learning Symbolic Computation: A Case Study on Variable Ordering Suggestion for Cylindrical Algebraic Decomposition https://arxiv.org/abs/2601.13731 https://arxiv.org/pdf/2601.13731 https://arxiv.org/html/2601.13731
2026-01-21T06:34:29.232Z