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
Madalina Erascu, Johannes Middeke: When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study https://arxiv.org/abs/2607.01726 https://arxiv.org/pdf/2607.01726 https://arxiv.org/html/2607.01726
2026-07-03T06:44:11.520Z