001 Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems arXiv Paper Yuki Nakai, Akira Terui et al. Jul 13 002 Algebraic Modelings of the Supersingular Isogeny Problem arXiv Paper Alessio Caminata, A. Sanguineti et al. Jul 6 003 Hierarchical Reinforcement Learning for Sparse-Reward Search in Commutative Algebra arXiv Paper G. Butbaia, P. Orland et al. Jun 22 004 Elimination Templates in Macaulay2 arXiv Paper Manav Batavia et al. Apr 30 005 Multiprojective Geometry of Compatible Triples of Fundamental and Essential Matrices arXiv Paper Timothy Duff et al. Feb 26 006 Can a Lightweight Automated AI Pipeline Solve Research-Level Mathematical Problems? arXiv Paper Lve Meng et al. Feb 14 007 Learning Fast Monomial Orders for Gröbner Basis Computations arXiv Paper R. Caleb Bunch et al. Feb 3 008 A new criterion for the absolute irreducibility of multivariate polynomials over finite fields arXiv Paper Carlos Agrinsoni et al. Feb 2 009 Algebraic Statistics in OSCAR arXiv Paper Tobias Boege et al. Jan 22 010 The Alexander-Hirschowitz theorem for neurovarieties arXiv Paper A. Massarenti et al. Nov 24, 2025 011 From Polynomials to Databases: Arithmetic Structures in Galois Theory arXiv Paper Jurgen Mezinaj Nov 20, 2025 012 Universal Gröbner Bases of (Universal) Multiview Ideals arXiv Paper Timothy Duff et al. Sep 15, 2025 013 An Effective Trajectory Planning and an Optimized Path Planning for a 6-Degree-of-Freedom Robot Manipulator arXiv Paper Takumu Okazaki, Akira Terui et al. Aug 31, 2025 014 Inverse Kinematics for a 6-Degree-of-Freedom Robot Manipulator Using Comprehensive Gröbner Systems arXiv Paper Takumu Okazaki et al. Aug 31, 2025 015 Oracle-Based Multistep Strategy for Solving Polynomial Systems Over Finite Fields and Algebraic Cryptanalysis of the Aradi Cipher arXiv Paper Roberto La Scala et al. Jun 11, 2025 016 CALT: A Library for Computer Algebra with Transformer arXiv Paper Hiroshi Kera et al. Jun 10, 2025 017 The complexity of the SupportMinors Modeling for the MinRank Problem arXiv Paper Daniel Cabarcas et al. Jun 6, 2025 018 Key exchange protocol based on circulant matrix action over congruence-simple semiring arXiv Paper Alvaro Otero Sanchez May 1, 2025 019 On key exchange protocol based on Two-side multiplication action arXiv Paper Alvaro Otero Sanchez Apr 22, 2025 020 On the algebraic degree stability of vectorial Boolean functions when restricted to affine subspaces arXiv Paper Claude Carlet et al. Apr 4, 2025 021 Cryptoanalysis of a tropical triad matrix semiring key exchange protocol arXiv Paper Alvaro Otero Sanchez Mar 6, 2025 022 Gaussian Process Regression for Inverse Problems in Linear PDEs arXiv Paper Xin Li, M. Lange-Hegermann et al. Feb 6, 2025 023 Gaussian Process Priors for Boundary Value Problems of Linear Partial Differential Equations arXiv Paper Jianlei Huang, Marc Härkönen et al. Nov 25, 2024 024 Composing Global Solutions to Reasoning Tasks via Algebraic Objects in Neural Nets arXiv Paper Yuandong Tian Oct 2, 2024 025 On a heuristic approach to the description of consciousness as a hypercomplex system state and the possibility of machine consciousness (German edition) arXiv Paper Ralf Otte Sep 3, 2024 026 Simplicial complexes in network intrusion profiling arXiv Paper Mandala von Westenholz et al. Aug 19, 2024 027 A Galois theorem for machine learning: Functions on symmetric matrices and point clouds via lightweight invariant features arXiv Paper Ben Blum-Smith, N. Huang et al. May 13, 2024 028 The solving degrees for computing Gröbner bases of affine semi-regular polynomial sequences arXiv Paper Momonari Kudo et al. Apr 4, 2024 029 Learning to Compute Gröbner Bases arXiv Paper Hiroshi Kera, Yuki Ishihara et al. Nov 21, 2023 030 Solving Degree Bounds For Iterated Polynomial Systems arXiv Paper Matthias Johann Steiner Oct 5, 2023 031 Algebra and Geometry of Camera Resectioning arXiv Paper Erin Connelly et al. Sep 7, 2023 032 Asynchronous Algorithmic Alignment with Cocycles arXiv Paper Andrew Dudzik et al. Jun 27, 2023 033 Inverse kinematics and path planning of manipulator using real quantifier elimination based on Comprehensive Gröbner Systems arXiv Paper M. Yoshizawa, Akira Terui et al. May 21, 2023 034 A multistep strategy for polynomial system solving over finite fields and a new algebraic attack on the stream cipher Trivium arXiv Paper Roberto La Scala et al. Apr 16, 2023 035 Abstract Visual Reasoning: An Algebraic Approach for Solving Raven's Progressive Matrices arXiv Paper Jingyi Xu, Tushar Vaidya et al. Mar 21, 2023 036 Predicting the cardinality and maximum degree of a reduced Gröbner basis arXiv Paper Shahrzad Jamshidi et al. Feb 10, 2023 037 Gaussian Process Priors for Systems of Linear Partial Differential Equations with Constant Coefficients arXiv Paper Marc Härkönen, Markus Lange‐Hegermann et al. Dec 29, 2022 038 Approximate Real Symmetric Tensor Rank arXiv Paper Alperen A. Ergür et al. Jul 25, 2022 039 An Atlas for the Pinhole Camera arXiv Paper Sameer Agarwal et al. Jun 27, 2022 040 An Efficient Calculation of Quaternion Correlation of Signals and Color Images arXiv Paper Artyom M. Grigoryan et al. May 10, 2022 041 On boundary conditions parametrized by analytic functions arXiv Paper Markus Lange-Hegermann et al. May 6, 2022 042 Approximation of Images via Generalized Higher Order Singular Value Decomposition over Finite-dimensional Commutative Semisimple Algebra arXiv Paper Liang Liao et al. Feb 1, 2022 043 MDS multi-twisted Reed-Solomon codes with small dimensional hull arXiv Paper Harshdeep Singh et al. Jan 31, 2022 044 An algebraic attack to the Bluetooth stream cipher E0 arXiv Paper Roberto La Scala et al. Jan 4, 2022 045 The complexity of solving Weil restriction systems arXiv Paper Alessio Caminata et al. Dec 20, 2021 046 Solving degree, last fall degree, and related invariants arXiv Paper Alessio Caminata et al. Dec 10, 2021 047 Polynomial XL: A Variant of the XL Algorithm Using Macaulay Matrices over Polynomial Rings arXiv Paper Hiroki Furue et al. Dec 9, 2021 048 A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Real Quantifier Elimination based on Comprehensive Gröbner Systems arXiv Paper Shuto Otaki et al. Oct 31, 2021 049 Quantum collision finding for homomorphic hash functions arXiv Paper Juan Carlos Garcia-Escartin et al. Jul 30, 2021 050 Learning a performance metric of Buchberger's algorithm arXiv Paper Jelena Mojsilović et al. Jun 7, 2021 051 Generalized Image Reconstruction over T-Algebra arXiv Paper Liang Liao et al. Jan 17, 2021 052 Border basis computation with gradient-weighted normalization arXiv Paper Hiroshi Kera Jan 2, 2021 053 Semi-regular sequences and other random systems of equations arXiv Paper M. Bigdeli et al. Nov 2, 2020 054 Stronger bounds on the cost of computing Groebner bases for HFE systems arXiv Paper Elisa Gorla et al. Nov 2, 2020 055 Learning selection strategies in Buchberger's algorithm arXiv Paper Dylan Peifer, M. Stillman et al. May 5, 2020 056 Stream/block ciphers, difference equations and algebraic attacks arXiv Paper Roberto La Scala et al. Mar 28, 2020 057 Invariant Hopping Attacks on Block Ciphers arXiv Paper Nicolas T. Courtois Feb 8, 2020 058 Linearly Constrained Gaussian Processes with Boundary Conditions arXiv Paper Markus Lange‐Hegermann Feb 3, 2020 059 Generalized Visual Information Analysis via Tensorial Algebra arXiv Paper Liang Liao et al. Jan 31, 2020 060 Free resolutions of function classes via order complexes arXiv Paper Justin Chen et al. Sep 5, 2019