Copertina

A Generalisation of Goursat's Algorithm for Integration in Finite Terms

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Blake, Sam
Natura:	Preprint
Pubblicazione:	2026
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)

Algorithms for Recursive Block Matrices
di: Watt, Stephen M.
Pubblicazione: (2024)

Tree-Based Deep Learning for Ranking Symbolic Integration Algorithms
di: Barket, Rashid, et al.
Pubblicazione: (2025)

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

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

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

Algorithmic reduction of polynomially nonlinear PDE systems to parametric ODE systems
di: Deng, Siyuan, et al.
Pubblicazione: (2024)

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

Two Algorithms for Computing Rational Univariate Representations of Zero-Dimensional Ideals with Parameters
di: Wang, Dingkang, et al.
Pubblicazione: (2024)

Union of Finitely Generated Congruences on Ground Term Algebra
di: Vágvölgyi, Sándor
Pubblicazione: (2024)

A Fast Algorithm for the Finite Expression Method in Learning Dynamics on Complex Networks
di: Song, Zezheng, et al.
Pubblicazione: (2024)

An Automatic Pipeline for the Integration of Python-Based Tools into the Galaxy Platform: Application to the anvi'o Framework
di: Cumbo, Fabio, et al.
Pubblicazione: (2026)

Generalised Burnside and Dixon algorithms for irreducible projective representations
di: Szabó, Attila
Pubblicazione: (2025)

ABD: Default Exception Abduction in Finite First Order Worlds
di: Batzoglou, Serafim
Pubblicazione: (2026)

A Local Search Algorithm for MaxSMT(LIA)
di: He, Xiang, et al.
Pubblicazione: (2024)

A Basis-preserving Algorithm for Computing the Bezout Matrix of Newton Polynomials
di: Yang, Jing, et al.
Pubblicazione: (2024)

Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability
di: Desmond, Harry
Pubblicazione: (2026)

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

Hahn series and Mahler equations: Algorithmic aspects
di: Faverjon, C., et al.
Pubblicazione: (2024)

Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs
di: Barket, Rashid, et al.
Pubblicazione: (2024)

Modular Algorithms For Computing Gröbner Bases in Free Algebras
di: Hofstadler, Clemens, et al.
Pubblicazione: (2025)

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

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

A Rank 23 Algorithm for Multiplying 3 x 3 Matrices with an Arithmetic Complexity of 59
di: Mårtensson, Erik, et al.
Pubblicazione: (2025)

A note on a paper by Hashemi and Kapur
di: Heisel, Anna Nymann, et al.
Pubblicazione: (2025)

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)

Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms
di: Kera, Hiroshi, et al.
Pubblicazione: (2025)

Algorithms for computing norms and characteristic polynomials on general Drinfeld modules
di: Caruso, Xavier, et al.
Pubblicazione: (2023)

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

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

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

Transformers to Predict the Applicability of Symbolic Integration Routines
di: Barket, Rashid, et al.
Pubblicazione: (2024)

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)

Yin-Yang: Developing Motifs With Long-Term Structure And Controllability
di: Bhandari, Keshav, et al.
Pubblicazione: (2025)

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

Solving parametric polynomial systems using Generic Rational Univariate Representation
di: Corniquel, Florent
Pubblicazione: (2026)

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