Cover Image

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gröbner Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Shirato, Yusuke, Oka, Natsumi, Terui, Akira, Mikawa, Masahiko
Format:	Preprint
Published:	2024
Subjects:	Robotics Symbolic Computation 68W30, 13P10, 13P25, 68U07, 68R10
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

An Effective Trajectory Planning and an Optimized Path Planning for a 6-Degree-of-Freedom Robot Manipulator
by: Okazaki, Takumu, et al.
Published: (2025)

Inverse Kinematics for a 6-Degree-of-Freedom Robot Manipulator Using Comprehensive Gröbner Systems
by: Okazaki, Takumu, et al.
Published: (2025)

Massively Parallel Reductions in Multivariate Polynomial Systems: Bridging the Symbolic Preprocessing Gap on GPGPU Architectures
by: Gokavarapu, Chandrasekhar
Published: (2026)

Efficient Algorithms for Finite $\mathbb{Z}$-Algebras
by: Kreuzer, Martin, et al.
Published: (2023)

Relative Gröbner bases of modules and applications in persistence theory
by: Grimpen, Fritz, et al.
Published: (2026)

Reduction systems and degree bounds for integration
by: Du, Hao, et al.
Published: (2024)

Small Groebner Fans of Ideals of Points
by: Dimitrova, Elena, et al.
Published: (2017)

Cylindrical Algebraic Decomposition in Macaulay2
by: Lee, Corin, et al.
Published: (2025)

Arithmetic of D-Algebraic Functions
by: Tabuguia, Bertrand Teguia
Published: (2023)

Smith normal forms of bivariate polynomial matrices
by: Lu, Dong, et al.
Published: (2025)

On some Exotic Cylindrical Algebraic Decompositions and Cells
by: Michel, Lucas
Published: (2026)

Hodge Laplacians and Hodge Diffusion Maps
by: Gomez, Alvaro Almeida, et al.
Published: (2025)

Optimizing Exact String Matching via Statistical Anchoring
by: Garraoui, Omar
Published: (2025)

Exact Volumes of Semi-Algebraic Convex Bodies
by: Ramesh, Lakshmi, et al.
Published: (2026)

Non naturally reductive Einstein metrics on $\SU(N)$ via generalized flag manifolds
by: Arvanitoyeorgos, Andreas, et al.
Published: (2025)

Non naturally reductive Einstein metrics on the orthogonal group via real flag manifolds
by: Arvanitoyeorgos, Andreas, et al.
Published: (2024)

Improvements of convex-dense factorization of bivariate polynomials
by: Weimann, Martin
Published: (2025)

Quantum Machine Learning for Colorectal Cancer Data: Anastomotic Leak Classification and Risk Factors
by: Novák, Vojtěch, et al.
Published: (2026)

A Comparative Study of Recommender Systems under Big Data Constraints
by: Scrivano, Arimondo
Published: (2025)

Distributed Hybrid Sketching for $\ell_2$-Embeddings
by: Charalambides, Neophytos, et al.
Published: (2024)

Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints
by: Davenport, James H., et al.
Published: (2026)

Stochastic Indexing Primitives for Non-Deterministic Molecular Archives
by: Alpay, Faruk, et al.
Published: (2026)

Naively Sorting Evolving Data is Optimal and Robust
by: Giakkoupis, George, et al.
Published: (2024)

Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition
by: England, Matthew
Published: (2024)

Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation
by: Huang, Bo, et al.
Published: (2024)

A Method for Securely Transmitting Large Video Files Using Chaotic Compression and Encryption
by: Bhattacharjee, Shiladitya, et al.
Published: (2026)

Differentially private federated learning for localized control of infectious disease dynamics
by: Kerkouche, Raouf, et al.
Published: (2025)

Residual-Entropy Accounting for Routed Atom-Budgeted Learned Indexes
by: Alpay, Faruk, et al.
Published: (2026)

A note on Erdős's mysterious remark
by: Kovács, Zoltán
Published: (2024)

Dynamic T-decomposition for classical simulation of quantum circuits
by: Ahmad, Wira Azmoon, et al.
Published: (2024)

An intrinsic homotopy for intersecting algebraic varieties
by: Sommese, Andrew J., et al.
Published: (2004)

Parametric "Non-nested" Discriminants for Multiplicities of Univariate Polynomials
by: Hong, Hoon, et al.
Published: (2023)

Cohen-Macaulay, Gorenstein and complete intersection conditions by marked bases
by: Bertone, Cristina, et al.
Published: (2024)

Computing $A$-resultants via direct images
by: Groh, Friedemann, et al.
Published: (2026)

ParaRNN: Unlocking Parallel Training of Nonlinear RNNs for Large Language Models
by: Danieli, Federico, et al.
Published: (2025)

An Exact Algorithm for Computing the Structure of Jordan Blocks
by: Tajima, Shinichi, et al.
Published: (2025)

Local Integrable Symmetries of Diffieties
by: Ollivier, François, et al.
Published: (2026)

Computing in complete local equicharacteristic Noetherian rings via topological rewriting on commutative formal power series
by: Musson-Leymarie, Adya
Published: (2025)

Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
by: Pickering, Lynn, et al.
Published: (2023)

Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems
by: Florescu, Dorian, et al.
Published: (2024)