Buchumschlag

Reduction systems and degree bounds for integration

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Du, Hao, Raab, Clemens G.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Symbolic Computation 33F10, 68W30, 12H05, 13P99, 15A06
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The integro-differential closure of a commutative differential ring
von: Raab, Clemens G., et al.
Veröffentlicht: (2025)

Deciding summability via residues in theory and in practice
von: Arreche, Carlos E.
Veröffentlicht: (2025)

Arithmetic of D-Algebraic Functions
von: Tabuguia, Bertrand Teguia
Veröffentlicht: (2023)

Single-exponential bounds for diagonals of D-finite power series
von: Chen, Shaoshi, et al.
Veröffentlicht: (2025)

Symbolic Summation of Multivariate Rational Functions
von: Chen, Shaoshi, et al.
Veröffentlicht: (2022)

A computational approach to rational summability and its applications via discrete residues
von: Arreche, Carlos E., et al.
Veröffentlicht: (2025)

Cylindrical Algebraic Decomposition in Macaulay2
von: Lee, Corin, et al.
Veröffentlicht: (2025)

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gröbner Systems
von: Shirato, Yusuke, et al.
Veröffentlicht: (2024)

Majorization and Inequalities among Complete Homogeneous Symmetric Functions
von: Xu, Jia, et al.
Veröffentlicht: (2025)

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

Smith normal forms of bivariate polynomial matrices
von: Lu, Dong, et al.
Veröffentlicht: (2025)

Computing differential subresultants with Maple
von: Cabellos, M., et al.
Veröffentlicht: (2025)

Computing discrete residues of rational functions
von: Arreche, Carlos E., et al.
Veröffentlicht: (2024)

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

An intrinsic homotopy for intersecting algebraic varieties
von: Sommese, Andrew J., et al.
Veröffentlicht: (2004)

The characterization of graphs with two trivial distance ideals
von: Alfaro, Carlos A., et al.
Veröffentlicht: (2025)

Fractions of Recurrence Operators for Generalized Fourier Series in Classical Orthogonal Polynomials
von: Benoit, Alexandre, et al.
Veröffentlicht: (2026)

Parametric "Non-nested" Discriminants for Multiplicities of Univariate Polynomials
von: Hong, Hoon, et al.
Veröffentlicht: (2023)

Distributed Hybrid Sketching for $\ell_2$-Embeddings
von: Charalambides, Neophytos, et al.
Veröffentlicht: (2024)

Describing Multivariate Polynomial Subalgebras Using Equations
von: Leffler, Erik
Veröffentlicht: (2026)

Computing $A$-resultants via direct images
von: Groh, Friedemann, et al.
Veröffentlicht: (2026)

Massively Parallel Reductions in Multivariate Polynomial Systems: Bridging the Symbolic Preprocessing Gap on GPGPU Architectures
von: Gokavarapu, Chandrasekhar
Veröffentlicht: (2026)

Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition
von: England, Matthew
Veröffentlicht: (2024)

Local Integrable Symmetries of Diffieties
von: Ollivier, François, et al.
Veröffentlicht: (2026)

On some Exotic Cylindrical Algebraic Decompositions and Cells
von: Michel, Lucas
Veröffentlicht: (2026)

Certified simultaneous isotopic approximation of curves via subdivision
von: Burr, Michael, et al.
Veröffentlicht: (2023)

Algebraic solutions of linear differential equations: an arithmetic approach
von: Bostan, Alin, et al.
Veröffentlicht: (2023)

Dynamic computations inside the algebraic closure of a valued field
von: Kuhlmann, Franz-Viktor, et al.
Veröffentlicht: (2022)

D-algebraic Guessing
von: Tabuguia, Bertrand Teguia
Veröffentlicht: (2025)

Computing with D-Algebraic Sequences
von: Tabuguia, Bertrand Teguia
Veröffentlicht: (2024)

D-Algebraic Functions
von: Manssour, Rida Ait El, et al.
Veröffentlicht: (2023)

Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints
von: Davenport, James H., et al.
Veröffentlicht: (2026)

Efficient Algorithms for Finite $\mathbb{Z}$-Algebras
von: Kreuzer, Martin, et al.
Veröffentlicht: (2023)

A Galois-Theoretic Complexity Measure for Solving Systems of Algebraic Equations
von: Duff, Timothy
Veröffentlicht: (2025)

Stochastic Indexing Primitives for Non-Deterministic Molecular Archives
von: Alpay, Faruk, et al.
Veröffentlicht: (2026)

Certified Real Eigenvalue Location
von: Solmaz, Baran, et al.
Veröffentlicht: (2026)

A Monadic Calculus with Episodic Flows
von: Henning, Sotirios
Veröffentlicht: (2024)

Idempotent plethories
von: Elliott, Jesse
Veröffentlicht: (2015)

Competitive Data-Structure Dynamization
von: Mathieu, Claire, et al.
Veröffentlicht: (2020)

Exact Volumes of Semi-Algebraic Convex Bodies
von: Ramesh, Lakshmi, et al.
Veröffentlicht: (2026)