arXiv cs.SC Symbolic Computation
@cssc-bot.bsky.social
Unofficial bot by @vele.bsky.social w/ http://github.com/so-okada/bXiv https://arxiv.org/list/cs.SC/new
List https://bsky.app/profile/vele.bsky.social/lists/3lim7ccweqo2j
ModList https://bsky.app/profile/vele.bsky.social/lists/3lim3qnexsw2g
List https://bsky.app/profile/vele.bsky.social/lists/3lim7ccweqo2j
ModList https://bsky.app/profile/vele.bsky.social/lists/3lim3qnexsw2g
Reposted by arXiv cs.SC Symbolic Computation
Paul Saegert, Ullrich K\"othe: Breaking the Simplification Bottleneck in Amortized Neural Symbolic Regression https://arxiv.org/abs/2602.08885 https://arxiv.org/pdf/2602.08885 https://arxiv.org/html/2602.08885
February 10, 2026 at 6:37 AM
Paul Saegert, Ullrich K\"othe: Breaking the Simplification Bottleneck in Amortized Neural Symbolic Regression https://arxiv.org/abs/2602.08885 https://arxiv.org/pdf/2602.08885 https://arxiv.org/html/2602.08885
Reposted by arXiv cs.SC Symbolic Computation
Michael Burr, Jonathan D. Hauenstein, Kisun Lee: Certified surface approximations using the interval Krawczyk test https://arxiv.org/abs/2602.07718 https://arxiv.org/pdf/2602.07718 https://arxiv.org/html/2602.07718
February 10, 2026 at 6:39 AM
Michael Burr, Jonathan D. Hauenstein, Kisun Lee: Certified surface approximations using the interval Krawczyk test https://arxiv.org/abs/2602.07718 https://arxiv.org/pdf/2602.07718 https://arxiv.org/html/2602.07718
Reposted by arXiv cs.SC Symbolic Computation
Babak Rahmani: Debugging code world models https://arxiv.org/abs/2602.07672 https://arxiv.org/pdf/2602.07672 https://arxiv.org/html/2602.07672
February 10, 2026 at 6:35 AM
Babak Rahmani: Debugging code world models https://arxiv.org/abs/2602.07672 https://arxiv.org/pdf/2602.07672 https://arxiv.org/html/2602.07672
Abu Masum, Mehran Moghadam, M. Hassan Najafi, Bige Unluturk, Ulkuhan Guler, Sercan Aygun: AMS-HD: Hyperdimensional Computing for Real-Time and Energy-Efficient Acute Mountain Sickness Detection https://arxiv.org/abs/2602.08916 https://arxiv.org/pdf/2602.08916 https://arxiv.org/html/2602.08916
February 10, 2026 at 6:34 AM
Abu Masum, Mehran Moghadam, M. Hassan Najafi, Bige Unluturk, Ulkuhan Guler, Sercan Aygun: AMS-HD: Hyperdimensional Computing for Real-Time and Energy-Efficient Acute Mountain Sickness Detection https://arxiv.org/abs/2602.08916 https://arxiv.org/pdf/2602.08916 https://arxiv.org/html/2602.08916
Madalina Erascu, Johannes Middeke: Automatic Generation of Polynomial Symmetry Breaking Constraints https://arxiv.org/abs/2602.08297 https://arxiv.org/pdf/2602.08297 https://arxiv.org/html/2602.08297
February 10, 2026 at 6:34 AM
Madalina Erascu, Johannes Middeke: Automatic Generation of Polynomial Symmetry Breaking Constraints https://arxiv.org/abs/2602.08297 https://arxiv.org/pdf/2602.08297 https://arxiv.org/html/2602.08297
J\'er\'emy Berthomieu, Vincent Neiger, Hugo Passe: Computing submatrices of the Hermite normal form of a structured polynomial matrix https://arxiv.org/abs/2602.08027 https://arxiv.org/pdf/2602.08027 https://arxiv.org/html/2602.08027
February 10, 2026 at 6:34 AM
J\'er\'emy Berthomieu, Vincent Neiger, Hugo Passe: Computing submatrices of the Hermite normal form of a structured polynomial matrix https://arxiv.org/abs/2602.08027 https://arxiv.org/pdf/2602.08027 https://arxiv.org/html/2602.08027
Jason P. Bell, Yuxuan Sun: Dynamical sequences: closure properties and automatic identity proving https://arxiv.org/abs/2602.07576 https://arxiv.org/pdf/2602.07576 https://arxiv.org/html/2602.07576
February 10, 2026 at 6:34 AM
Jason P. Bell, Yuxuan Sun: Dynamical sequences: closure properties and automatic identity proving https://arxiv.org/abs/2602.07576 https://arxiv.org/pdf/2602.07576 https://arxiv.org/html/2602.07576
Rapha\"el Pag\`es: LCM decomposition of linear differential operators in positive characteristic https://arxiv.org/abs/2602.07237 https://arxiv.org/pdf/2602.07237 https://arxiv.org/html/2602.07237
February 10, 2026 at 6:34 AM
Rapha\"el Pag\`es: LCM decomposition of linear differential operators in positive characteristic https://arxiv.org/abs/2602.07237 https://arxiv.org/pdf/2602.07237 https://arxiv.org/html/2602.07237
[2026-02-10 Tue (UTC), 5 new articles found for csSC Symbolic Computation]
February 10, 2026 at 6:34 AM
[2026-02-10 Tue (UTC), 5 new articles found for csSC Symbolic Computation]
Reposted by arXiv cs.SC Symbolic Computation
Emily Berghofer, Lisa Nicklasson, Peder Thompson, Thomas Westerb\"ack: Constructing Koszul filtrations: existence and non-existence for G-quadratic algebras https://arxiv.org/abs/2602.06490 https://arxiv.org/pdf/2602.06490 https://arxiv.org/html/2602.06490
February 9, 2026 at 6:36 AM
Emily Berghofer, Lisa Nicklasson, Peder Thompson, Thomas Westerb\"ack: Constructing Koszul filtrations: existence and non-existence for G-quadratic algebras https://arxiv.org/abs/2602.06490 https://arxiv.org/pdf/2602.06490 https://arxiv.org/html/2602.06490
Shaoshi Chen, Manuel Kauers, Wenqiao Li, Xiuyun Li, David Masser: Symbolic Integration in Weierstrass-like Extensions https://arxiv.org/abs/2602.06873 https://arxiv.org/pdf/2602.06873 https://arxiv.org/html/2602.06873
February 9, 2026 at 6:34 AM
Shaoshi Chen, Manuel Kauers, Wenqiao Li, Xiuyun Li, David Masser: Symbolic Integration in Weierstrass-like Extensions https://arxiv.org/abs/2602.06873 https://arxiv.org/pdf/2602.06873 https://arxiv.org/html/2602.06873
Florent Corniquel (SU, UPCit\'e, IMJ-PRG, OURAGAN): Solving parametric polynomial systems using Generic Rational Univariate Representation https://arxiv.org/abs/2602.06817 https://arxiv.org/pdf/2602.06817 https://arxiv.org/html/2602.06817
February 9, 2026 at 6:34 AM
Florent Corniquel (SU, UPCit\'e, IMJ-PRG, OURAGAN): Solving parametric polynomial systems using Generic Rational Univariate Representation https://arxiv.org/abs/2602.06817 https://arxiv.org/pdf/2602.06817 https://arxiv.org/html/2602.06817
Hadrien Brochet: Computing an approximation of the partial Weyl closure of a holonomic module https://arxiv.org/abs/2602.06209 https://arxiv.org/pdf/2602.06209 https://arxiv.org/html/2602.06209
February 9, 2026 at 6:34 AM
Hadrien Brochet: Computing an approximation of the partial Weyl closure of a holonomic module https://arxiv.org/abs/2602.06209 https://arxiv.org/pdf/2602.06209 https://arxiv.org/html/2602.06209
[2026-02-09 Mon (UTC), 3 new articles found for csSC Symbolic Computation]
February 9, 2026 at 6:34 AM
[2026-02-09 Mon (UTC), 3 new articles found for csSC Symbolic Computation]
Shaoshi Chen, Hao Du, Yiman Gao, Hui huang, Wenqiao Li, Ziming Li: Complete Reduction for Derivatives in a Transcendental Liouvillian Extension https://arxiv.org/abs/2602.03592 https://arxiv.org/pdf/2602.03592 https://arxiv.org/html/2602.03592
February 4, 2026 at 7:56 AM
Shaoshi Chen, Hao Du, Yiman Gao, Hui huang, Wenqiao Li, Ziming Li: Complete Reduction for Derivatives in a Transcendental Liouvillian Extension https://arxiv.org/abs/2602.03592 https://arxiv.org/pdf/2602.03592 https://arxiv.org/html/2602.03592
Shaoshi Chen, Lixin Du, Hanqian Fang, Yisen Wang: On the Summability Problem of Multivariate Rational Functions in the Mixed Case https://arxiv.org/abs/2602.03289 https://arxiv.org/pdf/2602.03289 https://arxiv.org/html/2602.03289
February 4, 2026 at 7:27 AM
Shaoshi Chen, Lixin Du, Hanqian Fang, Yisen Wang: On the Summability Problem of Multivariate Rational Functions in the Mixed Case https://arxiv.org/abs/2602.03289 https://arxiv.org/pdf/2602.03289 https://arxiv.org/html/2602.03289
R. Caleb Bunch, Alperen A. Erg\"ur, Melika Golestani, Jessie Tong, Malia Walewski, Yunus E. Zeytuncu: Learning Fast Monomial Orders for Gr\"obner Basis Computations https://arxiv.org/abs/2602.02972 https://arxiv.org/pdf/2602.02972 https://arxiv.org/html/2602.02972
February 4, 2026 at 7:27 AM
R. Caleb Bunch, Alperen A. Erg\"ur, Melika Golestani, Jessie Tong, Malia Walewski, Yunus E. Zeytuncu: Learning Fast Monomial Orders for Gr\"obner Basis Computations https://arxiv.org/abs/2602.02972 https://arxiv.org/pdf/2602.02972 https://arxiv.org/html/2602.02972
[2026-02-04 Wed (UTC), 3 new articles found for csSC Symbolic Computation]
February 4, 2026 at 7:27 AM
[2026-02-04 Wed (UTC), 3 new articles found for csSC Symbolic Computation]
Shaoshi Chen, Hanqian Fang, Joris van der Hoeven: A zero-test for D-algebraic transseries https://arxiv.org/abs/2602.01188 https://arxiv.org/pdf/2602.01188 https://arxiv.org/html/2602.01188
February 3, 2026 at 6:34 AM
Shaoshi Chen, Hanqian Fang, Joris van der Hoeven: A zero-test for D-algebraic transseries https://arxiv.org/abs/2602.01188 https://arxiv.org/pdf/2602.01188 https://arxiv.org/html/2602.01188
[2026-02-03 Tue (UTC), 1 new article found for csSC Symbolic Computation]
February 3, 2026 at 6:34 AM
[2026-02-03 Tue (UTC), 1 new article found for csSC Symbolic Computation]
Reposted by arXiv cs.SC Symbolic Computation
\.Ilker I\c{s}{\i}k, Wenchao Li: Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning https://arxiv.org/abs/2601.23169 https://arxiv.org/pdf/2601.23169 https://arxiv.org/html/2601.23169
February 2, 2026 at 6:35 AM
\.Ilker I\c{s}{\i}k, Wenchao Li: Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning https://arxiv.org/abs/2601.23169 https://arxiv.org/pdf/2601.23169 https://arxiv.org/html/2601.23169
Reposted by arXiv cs.SC Symbolic Computation
Alexandre Guillemot, Pierre Lairez: Computing braids from approximate data https://arxiv.org/abs/2601.23073 https://arxiv.org/pdf/2601.23073 https://arxiv.org/html/2601.23073
February 2, 2026 at 6:29 AM
Alexandre Guillemot, Pierre Lairez: Computing braids from approximate data https://arxiv.org/abs/2601.23073 https://arxiv.org/pdf/2601.23073 https://arxiv.org/html/2601.23073
[2026-02-02 Mon (UTC), no new articles found for csSC Symbolic Computation]
February 2, 2026 at 6:34 AM
[2026-02-02 Mon (UTC), no new articles found for csSC Symbolic Computation]
[2026-01-30 Fri (UTC), no new articles found for csSC Symbolic Computation]
January 30, 2026 at 6:39 AM
[2026-01-30 Fri (UTC), no new articles found for csSC Symbolic Computation]
Reposted by arXiv cs.SC Symbolic Computation
J. Davies, T. Kaneko, C. Marinissen, T. Ueda, J. A. M. Vermaseren: FORM Version 5.0 https://arxiv.org/abs/2601.19982 https://arxiv.org/pdf/2601.19982 https://arxiv.org/html/2601.19982
January 29, 2026 at 6:44 AM
J. Davies, T. Kaneko, C. Marinissen, T. Ueda, J. A. M. Vermaseren: FORM Version 5.0 https://arxiv.org/abs/2601.19982 https://arxiv.org/pdf/2601.19982 https://arxiv.org/html/2601.19982