Symbolic Computation

Authors and titles for August 2022

[1] arXiv:2208.07904 [pdf, other]

Title: Sturm's Theorem with Endpoints

Philippe Pébay, J. Maurice Rojas, David C. Thompson

Comments: 4 pages. A software implementation can be found in algorithm vtkPolynomialSolversUnivariate , within the VTK (Visualization Toolkit) software package

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

[2] arXiv:2208.11365 [pdf, other]

Title: Factoring differential operators over algebraic curves in positive characteristic

Raphaël Pagès (UB)

Journal-ref: ISSAC, Jul 2022, Lille, France

Subjects: Symbolic Computation (cs.SC); Operator Algebras (math.OA)

[3] arXiv:2208.11946 [pdf, other]

Title: Hiding canonicalisation in tensor computer algebra

Dominic Price, Kasper Peeters, Marija Zamaklar

Comments: 24 pages, 7 figures, software available at this https URL

Subjects: Symbolic Computation (cs.SC); General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th)

[4] arXiv:2208.01442 (cross-list from cs.CR) [pdf, other]

Title: Improvement of algebraic attacks for solving superdetermined MinRank instances

Magali Bardet, Manon Bertin (LITIS)

Journal-ref: PQCrypto 2022, Sep 2022, virtual, France

Subjects: Cryptography and Security (cs.CR); Information Theory (cs.IT); Symbolic Computation (cs.SC)

[5] arXiv:2208.03194 (cross-list from cs.LO) [pdf, other]

Title: Basic Elements of Logical Graphs

Lucas Dixon

Comments: Published in the CAMCAD-09 workshop (this https URL)

Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

[6] arXiv:2208.04272 (cross-list from math.RA) [pdf, other]

Title: Unitary canonical forms over Clifford algebras, and an observed unification of some real-matrix decompositions

Ran Gutin

Subjects: Rings and Algebras (math.RA); Symbolic Computation (cs.SC); Numerical Analysis (math.NA); Spectral Theory (math.SP)

[7] arXiv:2208.04490 (cross-list from math.CO) [pdf, other]

Title: Homotopy techniques for analytic combinatorics in several variables

Kisun Lee, Stephen Melczer, Josip Smolčić

Comments: 16 pages. Accepted for presentation at SYNASC 2022

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

[8] arXiv:2208.05242 (cross-list from math.CA) [pdf, other]

Title: Convergent expansions and bounds for the incomplete elliptic integral of the second kind near the logarithmic singularity

Dmitrii Karp, Yi Zhang

Comments: 26 pages, 1 figures, 3 tables with numerical experiments

Subjects: Classical Analysis and ODEs (math.CA); Symbolic Computation (cs.SC)

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

Title: A Scalable, Interpretable, Verifiable & Differentiable Logic Gate Convolutional Neural Network Architecture From Truth Tables

Adrien Benamira, Tristan Guérand, Thomas Peyrin, Trevor Yap, Bryan Hooi

Subjects: Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG); Symbolic Computation (cs.SC)

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

Title: Learn Basic Skills and Reuse: Modularized Adaptive Neural Architecture Search (MANAS)

Hanxiong Chen, Yunqi Li, He Zhu, Yongfeng Zhang

Comments: In ACM CIKM 2022

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Information Retrieval (cs.IR); Symbolic Computation (cs.SC)

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

Title: Constraining Gaussian Processes to Systems of Linear Ordinary Differential Equations

Andreas Besginow, Markus Lange-Hegermann

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

[12] arXiv:2208.12725 (cross-list from math.AG) [pdf, html, other]

Title: A proof of the Brill-Noether method from scratch

Elena Berardini, Alain Couvreur, Grégoire Lecerf

Comments: Final version

Journal-ref: ACM Communications in Computer Algebra, Volume 57, Issue 4 (December 2023), 200 - 229

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

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

Title: LogicRank: Logic Induced Reranking for Generative Text-to-Image Systems

Björn Deiseroth, Patrick Schramowski, Hikaru Shindo, Devendra Singh Dhami, Kristian Kersting

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Computer Vision and Pattern Recognition (cs.CV); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

[14] arXiv:2208.14631 (cross-list from math.RA) [pdf, other]

Title: Four-Dimensional Lie Algebras Revisited

Laurent Manivel, Bernd Sturmfels, Svala Sverrisdóttir

Comments: 9 pages

Subjects: Rings and Algebras (math.RA); Symbolic Computation (cs.SC); Commutative Algebra (math.AC)