Symbolic Computation

Authors and titles for March 2022

[1] arXiv:2203.03054 [pdf, other]

Title: Verification of Bitcoin Script in Agda using Weakest Preconditions for Access Control

Fahad F. Alhabardi, Arnold Beckmann, Bogdan Lazar, Anton Setzer

Comments: 27 pages

Subjects: Symbolic Computation (cs.SC); Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO); Social and Information Networks (cs.SI)

[2] arXiv:2203.03555 [pdf, other]

Title: On realizing differential-algebraic equations by rational dynamical systems

Dmitrii Pavlov, Gleb Pogudin

Subjects: Symbolic Computation (cs.SC); Algebraic Geometry (math.AG); Dynamical Systems (math.DS); Optimization and Control (math.OC)

[3] arXiv:2203.03961 [pdf, other]

Title: Computing roadmaps in unbounded smooth real algebraic sets I: connectivity results

Rémi Prébet (PolSys), Mohab Safey El Din (PolSys), Éric Schost

Comments: 26 pages, 23 figures

Subjects: Symbolic Computation (cs.SC); Algebraic Geometry (math.AG)

[4] arXiv:2203.04123 [pdf, other]

Title: On the complexity of invariant polynomials under the action of finite reflection groups

Thi Xuan Vu

Subjects: Symbolic Computation (cs.SC)

[5] arXiv:2203.04578 [pdf, other]

Title: Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry

Damien Chablat (LS2N), Rémi Prébet (PolSys), Mohab Safey El Din (PolSys), Durgesh Salunkhe (LS2N), Philippe Wenger (LS2N)

Comments: 10 pages, 4 figures, published in the Proceedings of ISSAC2022

Subjects: Symbolic Computation (cs.SC); Robotics (cs.RO); Algebraic Geometry (math.AG)

[6] arXiv:2203.06970 [pdf, html, other]

Title: Computing a Group Action from the Class Field Theory of Imaginary Hyperelliptic Function Fields

Antoine Leudière, Pierre-Jean Spaenlehauer

Comments: This paper is a rewrite of arXiv:2203.06970v2. It takes into account the recent attack of Wesolowski on the cryptographic applications (this https URL). We removed cryptographic applications, and the introduction and experimental results have been widely rewritten. Complexity results have been added

Subjects: Symbolic Computation (cs.SC); Cryptography and Security (cs.CR); Number Theory (math.NT)

[7] arXiv:2203.16053 [pdf, other]

Title: Matrix Multiplication with Less Arithmetic Complexity and IO Complexity

Pu Wu, Huiqing Jiang, Zehui Shao, Jin Xu

Comments: 24 pages and one figure

Subjects: Symbolic Computation (cs.SC); Discrete Mathematics (cs.DM)

[8] arXiv:2203.16094 [pdf, other]

Title: Computing critical points for algebraic systems defined by hyperoctahedral invariant polynomials

Thi Xuan Vu

Subjects: Symbolic Computation (cs.SC)

[9] arXiv:2203.01852 (cross-list from cs.AI) [pdf, other]

Title: Identification in Tree-shaped Linear Structural Causal Models

Benito van der Zander, Marcel Wienöbst, Markus Bläser, Maciej Liśkiewicz

Comments: 9 pages (excluding references and appendix), accepted by AISTATS 2022

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Symbolic Computation (cs.SC); Machine Learning (stat.ML)

[10] arXiv:2203.07016 (cross-list from math.NT) [pdf, other]

Title: A $p$-adic Descartes solver: the Strassman solver

Josué Tonelli-Cueto

Comments: 36 pages, 1 figure

Subjects: Number Theory (math.NT); Computational Complexity (cs.CC); Symbolic Computation (cs.SC); Numerical Analysis (math.NA); Probability (math.PR)

[11] arXiv:2203.08727 (cross-list from math.AG) [pdf, other]

Title: Linear slices of hyperbolic polynomials and positivity of symmetric polynomial functions

Cordian Riener, Robin Schabert

Comments: 18 pages; revision of previous version

Subjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC); Optimization and Control (math.OC)

[12] arXiv:2203.08992 (cross-list from cs.CL) [pdf, other]

Title: AdaLoGN: Adaptive Logic Graph Network for Reasoning-Based Machine Reading Comprehension

Xiao Li, Gong Cheng, Ziheng Chen, Yawei Sun, Yuzhong Qu

Comments: 11 pages, accepted to the main conference of ACL 2022

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE); Symbolic Computation (cs.SC)

[13] arXiv:2203.10021 (cross-list from math.AC) [pdf, other]

Title: Gröbner bases and critical values: The asymptotic combinatorics of determinantal systems

Alin Bostan, Jérémy Berthomieu, Andrew Ferguson, Mohab Safey El Din

Subjects: Commutative Algebra (math.AC); Symbolic Computation (cs.SC)

[14] arXiv:2203.11889 (cross-list from cs.LG) [pdf, other]

Title: Insights From the NeurIPS 2021 NetHack Challenge

Eric Hambro, Sharada Mohanty, Dmitrii Babaev, Minwoo Byeon, Dipam Chakraborty, Edward Grefenstette, Minqi Jiang, Daejin Jo, Anssi Kanervisto, Jongmin Kim, Sungwoong Kim, Robert Kirk, Vitaly Kurin, Heinrich Küttler, Taehwon Kwon, Donghoon Lee, Vegard Mella, Nantas Nardelli, Ivan Nazarov, Nikita Ovsov, Jack Parker-Holder, Roberta Raileanu, Karolis Ramanauskas, Tim Rocktäschel, Danielle Rothermel, Mikayel Samvelyan, Dmitry Sorokin, Maciej Sypetkowski, Michał Sypetkowski

Comments: Under review at PMLR for the NeuRIPS 2021 Competition Workshop Track, 10 pages + 10 in appendices

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE); Symbolic Computation (cs.SC); Machine Learning (stat.ML)

[15] arXiv:2203.13015 (cross-list from hep-th) [pdf, other]

Title: The SAGEX Review on Scattering Amplitudes, Chapter 4: Multi-loop Feynman Integrals

Johannes Blümlein, Carsten Schneider

Comments: 42 pages, see also the overview article arXiv:2203.13011.v3: journal version

Journal-ref: J. Phys. A: Math. Theor. 55 443005 (2022)

Subjects: High Energy Physics - Theory (hep-th); Symbolic Computation (cs.SC); High Energy Physics - Phenomenology (hep-ph)

[16] arXiv:2203.13108 (cross-list from cs.LG) [pdf, other]

Title: Explainable Artificial Intelligence for Exhaust Gas Temperature of Turbofan Engines

Marios Kefalas, Juan de Santiago Rojo Jr., Asteris Apostolidis, Dirk van den Herik, Bas van Stein, Thomas Bäck

Comments: Main paper: 20 pages, 4 figures. Supplemental material: 18 pages, 30 figures. Published; Removed footnote on page 11 of the main article regarding a typo on formula (8) on the Journal version of this work. The Journal has corrected this typo since, therefore, there is no need for the footnote

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE); Symbolic Computation (cs.SC)