An $O(n$)-Algorithm for the Higher-Order Kinematics and Inverse Dynamics of Serial Manipulators using Spatial Representation of Twists

Συγγραφείς: Mueller, Andreas

Πηγή: IEEE ROBOTICS AND AUTOMATION LETTERS, VOL. 6, NO. 2, APRIL 2021

Θεματικοί όροι: Computer Science - Robotics, Computer Science - Symbolic Computation, Mathematics - Group Theory, Mathematics - Optimization and Control, Physics - Classical Physics

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.10686

Primender Sequence: A Novel Mathematical Construct for Testing Symbolic Inference and AI Reasoning

Συγγραφείς: Faiz, Mohd Anwar Jamal

Θεματικοί όροι: Computer Science - Artificial Intelligence, Computer Science - Human-Computer Interaction, Computer Science - Symbolic Computation

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.10585

Oracle-Based Multistep Strategy for Solving Polynomial Systems Over Finite Fields and Algebraic Cryptanalysis of the Aradi Cipher

Συγγραφείς: Roberto, La Scala, Tiwari, Sharwan Kumar

Θεματικοί όροι: Computer Science - Cryptography and Security, Computer Science - Symbolic Computation, Mathematics - Commutative Algebra

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.09950

Gradient-Weighted, Data-Driven Normalization for Approximate Border Bases -- Concept and Computation

Συγγραφείς: Kera, Hiroshi, Kehrein, Achim

Θεματικοί όροι: Computer Science - Symbolic Computation, Mathematics - Commutative Algebra

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.09529

Telescoping Algorithms for $\Sigma^*$-Extensions via Complete Reductions

Συγγραφείς: Chen, Shaoshi, Gao, Yiman, Huang, Hui, Schneider, Carsten

Θεματικοί όροι: Computer Science - Symbolic Computation

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.08767

CALT: A Library for Computer Algebra with Transformer

Συγγραφείς: Kera, Hiroshi, Arakawa, Shun, Sato, Yuta

Θεματικοί όροι: Computer Science - Machine Learning, Computer Science - Symbolic Computation, Mathematics - Commutative Algebra

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.08600

Nominal Equational Rewriting and Narrowing

Συγγραφείς: Ayala-Rincón, Mauricio, Fernández, Maribel, Nantes-Sobrinho, Daniele, Santaguida, Daniella

Πηγή: EPTCS 421, 2025, pp. 80-97

Θεματικοί όροι: Computer Science - Logic in Computer Science, Computer Science - Symbolic Computation

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.05835

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications

Συγγραφείς: Kop, Cynthia, Santos, Helida Salles

Πηγή: EPTCS 421, 2025

Θεματικοί όροι: Computer Science - Logic in Computer Science, Computer Science - Symbolic Computation

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.05219

Beyond Worst-Case Analysis for Symbolic Computation: Root Isolation Algorithms

Συγγραφείς: Ergür, Alperen A., Tonelli-Cueto, Josué, Tsigaridas, Elias

Θεματικοί όροι: Computer Science - Symbolic Computation, Computer Science - Computational Complexity, Mathematics - Algebraic Geometry, Mathematics - Probability, 65H04, 14Q20, 68W30

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.04436

Choices and their Provenance: Explaining Stable Solutions of Abstract Argumentation Frameworks

Συγγραφείς: Ludäscher, Bertram, Xia, Yilin, Bowers, Shawn

Θεματικοί όροι: Computer Science - Artificial Intelligence, Computer Science - Symbolic Computation

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.01087

Determining unit groups and $\mathrm{K}_1$ of finite rings

Συγγραφείς: Hofmann, Tommy

Θεματικοί όροι: Mathematics - Number Theory, Computer Science - Symbolic Computation, Mathematics - K-Theory and Homology, Mathematics - Rings and Algebras, Primary 68W30, 19D50, 20C05, 19-08, 11Y16, Secondary 16Z05

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.00266

Directional Non-Commutative Monoidal Structures with Interchange Law via Commutative Generators

Συγγραφείς: Godavarti, Mahesh

Θεματικοί όροι: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Symbolic Computation, 20-XX, 08A02, F.4.1, I.2

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2505.24533

Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms

Συγγραφείς: Kera, Hiroshi, Pelleriti, Nico, Ishihara, Yuki, Zimmer, Max, Pokutta, Sebastian

Θεματικοί όροι: Computer Science - Machine Learning, Computer Science - Symbolic Computation

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2505.23696

Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification

Συγγραφείς: Drechsler, Rolf

Θεματικοί όροι: Computer Science - Logic in Computer Science, Computer Science - Hardware Architecture, Computer Science - Symbolic Computation, 68W30, 68M07, 68W35, B.2.1, B.6.3, F.2.2

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2505.23311

ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark

Συγγραφείς: Shalyt, Michael, Elimelech, Rotem, Kaminer, Ido

Θεματικοί όροι: Computer Science - Computation and Language, Computer Science - Artificial Intelligence, Computer Science - Symbolic Computation

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2505.23851

PyRigi -- a general-purpose Python package for the rigidity and flexibility of bar-and-joint frameworks

Συγγραφείς: Gallet, Matteo, Grasegger, Georg, Himmelmann, Matthias, Legerský, Jan

Θεματικοί όροι: Mathematics - Metric Geometry, Computer Science - Computational Geometry, Computer Science - Symbolic Computation, Mathematics - Combinatorics

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2505.22652

Symbolic Foundation Regressor on Complex Networks

Συγγραφείς: Liu, Weiting, Cui, Jiaxu, Hu, Jiao, Wang, En, Yang, Bo

Θεματικοί όροι: Computer Science - Symbolic Computation, Computer Science - Artificial Intelligence, Computer Science - Machine Learning

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2505.21879

Polynomial-Time Algorithms for Black-Box Distributive Expanded Groups

Συγγραφείς: Anokhin, Mikhail

Θεματικοί όροι: Mathematics - Rings and Algebras, Computer Science - Computational Complexity, Computer Science - Symbolic Computation, 68W30 (primary), 68Q09, 08A62 (secondary)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2505.20497

Computing transcendence and linear relations of 1-periods

Συγγραφείς: Sertöz, Emre Can, Ouaknine, Joël, Worrell, James

Θεματικοί όροι: Mathematics - Algebraic Geometry, Computer Science - Symbolic Computation, Mathematics - Number Theory, 14Q05, 14C30, 14F40, 14H40

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2505.20397

f4ncgb: High Performance Gr\'obner Basis Computations in Free Algebras

Συγγραφείς: Heisinger, Maximilian, Hofstadler, Clemens

Θεματικοί όροι: Computer Science - Mathematical Software, Computer Science - Symbolic Computation

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2505.19304