Ore polynomials in Sage
From MaRDI portal
Publication:2808008
DOI10.1007/978-3-319-15081-9_6zbMATH Open1439.16049arXiv1306.4263OpenAlexW1846409004MaRDI QIDQ2808008FDOQ2808008
Authors: M. Kauers, Maximilian Jaroschek, Fredrik Johansson 
Publication date: 25 May 2016
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Abstract: We present a Sage implementation of Ore algebras. The main features for the most common instances include basic arithmetic and actions; gcrd and lclm; D-finite closure properties; natural transformations between related algebras; guessing; desingularization; solvers for polynomials, rational functions and (generalized) power series. This paper is a tutorial on how to use the package.
Full work available at URL: https://arxiv.org/abs/1306.4263
Recommendations
- Ore polynomial rings in one variable in computer algebra.
- Desingularization of Ore operators
- A practical implementation of a modular algorithm for Ore polynomial matrices
- A practical implementation of a modular algorithm for ore polynomial matrices
- Effective algebraic analysis approach to linear systems over Ore algebras
Symbolic computation and algebraic computation (68W30) Ordinary and skew polynomial rings and semigroup rings (16S36) Computational aspects of associative rings (general theory) (16Z05)
Cited In (43)
- Term algebras, canonical representations and difference ring theory for symbolic summation
- A comparison of algorithms for proving positivity of linearly recurrent sequences
- A computable extension for D-finite functions: DD-finite functions
- Asymptotic lattice path enumeration using diagonals
- The heavy fermion contributions to the massive three loop form factors
- Recurrences for quadrilateral high-order finite elements
- Effective homology and periods of complex projective hypersurfaces
- Contraction of Ore ideals with applications
- Rounding error analysis of linear recurrences using generating series
- Removing apparent singularities of linear difference systems
- The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals
- From momentum expansions to post-Minkowskian Hamiltonians by computer algebra algorithms
- An extension of holonomic sequences: \(C^2\)-finite sequences
- Large Scale Analytic Calculations in Quantum Field Theories
- Exact solution of some quarter plane walks with interacting boundaries
- The two-loop massless off-shell QCD operator matrix elements to finite terms
- DD-Finite Functions Implemented in Sage
- Computing error bounds for asymptotic expansions of regular P-recursive sequences
- A semi-numerical algorithm for the homology lattice and periods of complex elliptic surfaces over \(\mathbb{P}^1\)
- Nonlinear algebra and applications
- Constructive arithmetics in Ore localizations of domains
- The polarized three-loop anomalous dimensions from on-shell massive operator matrix elements
- Basic module theory over non-commutative rings with computational aspects of operator algebras
- Ore polynomial rings in one variable in computer algebra.
- Desingularization of Ore operators
- ore_algebra
- Walks obeying two-step rules on the square lattice: full, half and quarter planes
- Some structural results on \(\mathrm{D}^n\)-finite functions
- Linear differential equations as a data structure
- Sequence positivity through numeric analytic continuation: uniqueness of the Canham model for biomembranes
- Quadrant walks starting outside the quadrant
- Computing Heights via Limits of Hodge Structures
- Truncation bounds for differentially finite series
- Title not available (Why is that?)
- Creative telescoping on multiple sums
- Simple differentially definable functions
- DD-finite functions in Sage
- Quarter-plane lattice paths with interacting boundaries: Kreweras and friends
- Hypergeometric-type sequences
- The inverse Mellin transform via analytic continuation
- The three-loop polarized singlet anomalous dimensions from off-shell operator matrix elements
- The first-order factorizable contributions to the three-loop massive operator matrix elements \(A_{Qg}^{(3)}\) and \(\Delta A_{Qg}^{(3)}\)
- The three-loop unpolarized and polarized non-singlet anomalous dimensions from off shell operator matrix elements
Uses Software
This page was built for publication: Ore polynomials in Sage
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2808008)
