Copertina

Bounds for D-Algebraic Closure Properties

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kauers, Manuel, Pages, Raphael
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Symbolic Computation
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Consequences of the Moosbauer-Poole Algorithms
di: Kauers, Manuel, et al.
Pubblicazione: (2025)

Symmetric Division of Linear Ordinary Differential Operators
di: Du, Lixin, et al.
Pubblicazione: (2025)

Flip Graphs for Polynomial Multiplication
di: Chen, Shaoshi, et al.
Pubblicazione: (2025)

Exploring the Meta Flip Graph for Matrix Multiplication
di: Kauers, Manuel, et al.
Pubblicazione: (2025)

On the Problem of Separating Variables in Multivariate Polynomial Ideals
di: Buchacher, Manfred, et al.
Pubblicazione: (2024)

Creative Telescoping
di: Chen, Shaoshi, et al.
Pubblicazione: (2025)

Exploiting the Structure in Tensor Decompositions for Matrix Multiplication
di: Kauers, Manuel, et al.
Pubblicazione: (2026)

LCM decomposition of linear differential operators in positive characteristic
di: Pagès, Raphaël
Pubblicazione: (2026)

Computing Characteristic Polynomials of p-Curvatures in Average Polynomial Time
di: Pagès, Raphaël
Pubblicazione: (2021)

Statistical Analysis of Hairpins and BasePairs in RNA Secondary Structures
di: Bu, AJ, et al.
Pubblicazione: (2026)

A Shape Lemma for Ideals of Differential Operators
di: Kauers, Manuel, et al.
Pubblicazione: (2025)

Parallel Summation in P-Recursive Extensions
di: Chen, Shaoshi, et al.
Pubblicazione: (2024)

Factoring Linear Differential Operators in Positive Characteristic by means of Solving a Norm Equation
di: Pagès, Raphaël
Pubblicazione: (2024)

Recycling Algebraic Proof Certificates
di: Kaufmann, Daniela, et al.
Pubblicazione: (2025)

Connectivity in Symmetric Semi-Algebraic Sets
di: Riener, Cordian, et al.
Pubblicazione: (2024)

Extensions of the Cylindrical Algebraic Covering Method for Quantifiers
di: Nalbach, Jasper, et al.
Pubblicazione: (2024)

Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
di: Hofstadler, Clemens, et al.
Pubblicazione: (2026)

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
di: Nalbach, Jasper, et al.
Pubblicazione: (2025)

Order Bounds for Hypergeometric and q-Hypergeometric Creative Telescoping
di: Huang, Hui
Pubblicazione: (2026)

Formal Power Series on Algebraic Cryptanalysis
di: Nakamura, Shuhei
Pubblicazione: (2020)

Algorithms for Algebraic and Arithmetic Attributes of Hypergeometric Functions
di: Caruso, Xavier, et al.
Pubblicazione: (2026)

Algebraic structure behind Odrzywołek's EML operator
di: Stachowiak, Tomasz
Pubblicazione: (2026)

Algebraic and Arithmetic Attributes of Hypergeometric Functions in SageMath
di: Caruso, Xavier, et al.
Pubblicazione: (2026)

Non-minimality of minimal telescopers explained by residues
di: Chen, Shaoshi, et al.
Pubblicazione: (2025)

Structural Preprocessing Method for Nonlinear Differential-Algebraic Equations Using Linear Symbolic Matrices
di: Oki, Taihei, et al.
Pubblicazione: (2024)

Faster multivariate integration in D-modules
di: Brochet, Hadrien, et al.
Pubblicazione: (2025)

Deciding Connectivity in Symmetric Semi-Algebraic Sets
di: Riener, Cordian., et al.
Pubblicazione: (2025)

Strided Difference Bound Matrices
di: Pitchanathan, Arjun, et al.
Pubblicazione: (2024)

ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
di: Shalyt, Michael, et al.
Pubblicazione: (2025)

Algebraic Representations for Faster Predictions in Convolutional Neural Networks
di: Joyce, Johnny, et al.
Pubblicazione: (2024)

Breaking the Data Barrier in Learning Symbolic Computation: A Case Study on Variable Ordering Suggestion for Cylindrical Algebraic Decomposition
di: Jing, Rui-Juan, et al.
Pubblicazione: (2026)

Algebraic Tools for Computing Polynomial Loop Invariants
di: Bayarmagnai, Erdenebayar, et al.
Pubblicazione: (2024)

Effective Quadratic Error Bounds for Floating-Point Algorithms Computing the Hypotenuse Function
di: Muller, Jean-Michel, et al.
Pubblicazione: (2024)

Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
di: Bayarmagnai, Erdenebayar, et al.
Pubblicazione: (2024)

Symbolic Integration in Weierstrass-like Extensions
di: Chen, Shaoshi, et al.
Pubblicazione: (2026)

3D Space Trajectories and beyond: Abstract Art Creation with 3D Printing
di: Dana-Picard, Thierry, et al.
Pubblicazione: (2024)

From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
di: Bayarmagnai, Erdenebayar, et al.
Pubblicazione: (2025)

A New Bound on Cofactors of Sparse Polynomials
di: Nahshon, Ido, et al.
Pubblicazione: (2023)

Algebraic anti-unification
di: Antić, Christian
Pubblicazione: (2024)

Fractal Attractors in Random Nonlinear Iterated Function Systems: Existence, Stability, and Dimensional Properties
di: Bouke, Mohamed Aly
Pubblicazione: (2025)