:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Heisel, Anna Nymann, Lauritzen, Niels
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Symbolic Computation
Accesso online:	https://arxiv.org/abs/2510.05103
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt
di: Käferböck, Anna, et al.
Pubblicazione: (2024)

The Recovery of $λ$ from a Hilbert Polynomial
di: Donato, Joseph, et al.
Pubblicazione: (2024)

Levelwise construction of a single cylindrical algebraic cell
di: Nalbach, Jasper, et al.
Pubblicazione: (2022)

Computing a holonomic submodule of the partial Weyl closure
di: Brochet, Hadrien
Pubblicazione: (2026)

Differentiation methods as a systematic uncertainty source in equation discovery
di: Khilchuk, Maria, et al.
Pubblicazione: (2025)

An Algorithm for Discriminating the Complete Multiplicities of a Parametric Univariate Polynomial
di: Qin, Simin, et al.
Pubblicazione: (2024)

FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex
di: Promies, Valentin, et al.
Pubblicazione: (2023)

A Syzygial Method for Equidimensional Decomposition
di: Mohr, Rafael
Pubblicazione: (2024)

A Dataset of Nonlinear Equations for Subdivision
di: Xu, Juan, et al.
Pubblicazione: (2026)

Computing submatrices of the Hermite normal form of a structured polynomial matrix
di: Berthomieu, Jérémy, et al.
Pubblicazione: (2026)

An Algorithm for Computing the Leading Monomials of a Minimal Groebner Basis of Generic Sequences
di: Sakata, Kosuke, et al.
Pubblicazione: (2025)

A Generalisation of Goursat's Algorithm for Integration in Finite Terms
di: Blake, Sam
Pubblicazione: (2026)

A Unified Reduction for Hypergeometric and q-Hypergeometric Creative Telescoping
di: Chen, Shaoshi, et al.
Pubblicazione: (2025)

A Generalization of Habicht's Theorem for Subresultants of Several Univariate Polynomials
di: Hong, Hoon, et al.
Pubblicazione: (2024)

A unified approach for degree bound estimates of linear differential operators
di: Gaillard, Louis
Pubblicazione: (2025)

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

DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic
di: Wang, Zhonghan
Pubblicazione: (2024)

Refined bit complexity for the computation of at least onepoint per connected component of a smooth completeintersection real algebraic set
di: Elliott, Jesse, et al.
Pubblicazione: (2025)

LawMind: A Law-Driven Paradigm for Discovering Analytical Solutions to Partial Differential Equations
di: Zheng, Min-Yi, et al.
Pubblicazione: (2026)

Advancing Symbolic Discovery on Unsupervised Data: A Pre-training Framework for Non-degenerate Implicit Equation Discovery
di: Yufei, Kuang, et al.
Pubblicazione: (2025)

A non-commutative algorithm for multiplying 4x4 matrices using 48 non-complex multiplications
di: Dumas, Jean-Guillaume, et al.
Pubblicazione: (2025)

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

Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations
di: Böhmer, Christian G., et al.
Pubblicazione: (2025)

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

Deducing Closed-Form Expressions for Bright-Solitons in Strongly Magnetized Plasmas with Physics Informed Symbolic Regression (PISR)
di: Finkelstein, Edward
Pubblicazione: (2025)

Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
di: Stübbe, Jonas, et al.
Pubblicazione: (2025)

Telescoping Algorithms for $Σ^*$-Extensions via Complete Reductions
di: Chen, Shaoshi, et al.
Pubblicazione: (2025)

More is Less: Adding Polynomials for Faster Explanations in NLSAT
di: Promies, Valentin, et al.
Pubblicazione: (2025)

Generalized ODE reduction algorithm for bounded degree transformation
di: Huang, Shaoxuan
Pubblicazione: (2025)

Generalized ODE reduction algorithm with bounded degree transformation
di: Huang, Shaoxuan
Pubblicazione: (2025)

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

The regular multivariate quadratic problem
di: Joux, Antoine, et al.
Pubblicazione: (2025)

Frobenius method for Mahler equations
di: Roques, Julien
Pubblicazione: (2025)

Flip Graphs with Symmetry and New Matrix Multiplication Schemes
di: Moosbauer, Jakob, et al.
Pubblicazione: (2025)

On the Number of Real Types of Univariate Polynomials
di: Faroß, Nicolas, et al.
Pubblicazione: (2025)

Exploring Commutative Matrix Multiplication Schemes via Flip Graphs
di: Wood, Isaac
Pubblicazione: (2025)

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

Cooley-Tukey FFT over $\mathbb{Q}_p$ via Unramified Cyclotomic Extension
di: Kondo, Hiromasa
Pubblicazione: (2025)

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

Projective Delineability for Single Cell Construction
di: Nalbach, Jasper, et al.
Pubblicazione: (2025)