Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Blake, Sam
Formato:	Preprint
Publicado:	2026
Materias:	Symbolic Computation
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Algorithms for Recursive Block Matrices
por: Watt, Stephen M.
Publicado: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

A Syzygial Method for Equidimensional Decomposition
por: Mohr, Rafael
Publicado: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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