Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Blake, Sam
Format:	Preprint
Publié:	2026
Sujets:	Symbolic Computation
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Consequences of the Moosbauer-Poole Algorithms
par: Kauers, Manuel, et autres
Publié: (2025)

Algorithms for Recursive Block Matrices
par: Watt, Stephen M.
Publié: (2024)

Tree-Based Deep Learning for Ranking Symbolic Integration Algorithms
par: Barket, Rashid, et autres
Publié: (2025)

Telescoping Algorithms for $Σ^*$-Extensions via Complete Reductions
par: Chen, Shaoshi, et autres
Publié: (2025)

An Algorithm for Discriminating the Complete Multiplicities of a Parametric Univariate Polynomial
par: Qin, Simin, et autres
Publié: (2024)

Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations
par: Böhmer, Christian G., et autres
Publié: (2025)

Algorithmic reduction of polynomially nonlinear PDE systems to parametric ODE systems
par: Deng, Siyuan, et autres
Publié: (2024)

An Algorithm for Computing the Leading Monomials of a Minimal Groebner Basis of Generic Sequences
par: Sakata, Kosuke, et autres
Publié: (2025)

Two Algorithms for Computing Rational Univariate Representations of Zero-Dimensional Ideals with Parameters
par: Wang, Dingkang, et autres
Publié: (2024)

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

A Fast Algorithm for the Finite Expression Method in Learning Dynamics on Complex Networks
par: Song, Zezheng, et autres
Publié: (2024)

An Automatic Pipeline for the Integration of Python-Based Tools into the Galaxy Platform: Application to the anvi'o Framework
par: Cumbo, Fabio, et autres
Publié: (2026)

Generalised Burnside and Dixon algorithms for irreducible projective representations
par: Szabó, Attila
Publié: (2025)

ABD: Default Exception Abduction in Finite First Order Worlds
par: Batzoglou, Serafim
Publié: (2026)

A Local Search Algorithm for MaxSMT(LIA)
par: He, Xiang, et autres
Publié: (2024)

A Basis-preserving Algorithm for Computing the Bezout Matrix of Newton Polynomials
par: Yang, Jing, et autres
Publié: (2024)

Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability
par: Desmond, Harry
Publié: (2026)

Algorithms for Algebraic and Arithmetic Attributes of Hypergeometric Functions
par: Caruso, Xavier, et autres
Publié: (2026)

Hahn series and Mahler equations: Algorithmic aspects
par: Faverjon, C., et autres
Publié: (2024)

Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs
par: Barket, Rashid, et autres
Publié: (2024)

Modular Algorithms For Computing Gröbner Bases in Free Algebras
par: Hofstadler, Clemens, et autres
Publié: (2025)

A Dataset of Nonlinear Equations for Subdivision
par: Xu, Juan, et autres
Publié: (2026)

A Syzygial Method for Equidimensional Decomposition
par: Mohr, Rafael
Publié: (2024)

A Rank 23 Algorithm for Multiplying 3 x 3 Matrices with an Arithmetic Complexity of 59
par: Mårtensson, Erik, et autres
Publié: (2025)

A note on a paper by Hashemi and Kapur
par: Heisel, Anna Nymann, et autres
Publié: (2025)

A Unified Reduction for Hypergeometric and q-Hypergeometric Creative Telescoping
par: Chen, Shaoshi, et autres
Publié: (2025)

A Generalization of Habicht's Theorem for Subresultants of Several Univariate Polynomials
par: Hong, Hoon, et autres
Publié: (2024)

Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms
par: Kera, Hiroshi, et autres
Publié: (2025)

Algorithms for computing norms and characteristic polynomials on general Drinfeld modules
par: Caruso, Xavier, et autres
Publié: (2023)

A unified approach for degree bound estimates of linear differential operators
par: Gaillard, Louis
Publié: (2025)

DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic
par: Wang, Zhonghan
Publié: (2024)

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
par: Nalbach, Jasper, et autres
Publié: (2025)

Transformers to Predict the Applicability of Symbolic Integration Routines
par: Barket, Rashid, et autres
Publié: (2024)

LawMind: A Law-Driven Paradigm for Discovering Analytical Solutions to Partial Differential Equations
par: Zheng, Min-Yi, et autres
Publié: (2026)

Advancing Symbolic Discovery on Unsupervised Data: A Pre-training Framework for Non-degenerate Implicit Equation Discovery
par: Yufei, Kuang, et autres
Publié: (2025)

A non-commutative algorithm for multiplying 4x4 matrices using 48 non-complex multiplications
par: Dumas, Jean-Guillaume, et autres
Publié: (2025)

Yin-Yang: Developing Motifs With Long-Term Structure And Controllability
par: Bhandari, Keshav, et autres
Publié: (2025)

Effective Quadratic Error Bounds for Floating-Point Algorithms Computing the Hypotenuse Function
par: Muller, Jean-Michel, et autres
Publié: (2024)

Solving parametric polynomial systems using Generic Rational Univariate Representation
par: Corniquel, Florent
Publié: (2026)

Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
par: Hofstadler, Clemens, et autres
Publié: (2026)