Related papers: Computer Algebra and Lanczos Potential
A major part of computability theory focuses on the analysis of a few structures of central importance. As a tool, the method of coding with first-order formulas has been applied with great success. For instance, in the c.e. Turing degrees,…
Many possible definitions have been proposed for fractional derivatives and integrals, starting from the classical Riemann-Liouville formula and its generalisations and modifying it by replacing the power function kernel with other kernel…
We present constructive versions of Krull's dimension theory for commutative rings and distributive lattices. The foundations of these constructive versions are due to Joyal, Espan\~ol and the authors. We show that this gives a constructive…
We continue the study of the question of when a pseudo-Riemannain manifold can be locally characterised by its scalar polynomial curvature invariants (constructed from the Riemann tensor and its covariant derivatives). We make further use…
We prove three conjectures concerning the evaluation of determinants, which are related to the counting of plane partitions and rhombus tilings. One of them was posed by George Andrews in 1980, the other two were by Guoce Xin and Christian…
By applying the recurrence approach and coupling constant metamorphosis, we construct higher order integrals of motion for the Stackel equivalents of the $N$-dimensional superintegrable Kepler-Coulomb model with non-central terms and the…
At critical values of the scaling dimension $\lambda$, supermultiplets of the global ${\cal N}$-Extended one-dimensional Supersymmetry algebra induce $D$-module representations of finite superconformal algebras (the latters being identified…
This survey provides a practical and algorithmic perspective on Drinfeld modules over $\mathbb F_q[T]$. Starting with the construction of the Carlitz module, we present Drinfeld modules in any rank and some of their arithmetic properties.…
We discuss contact invariant structures on the space of solutions of a third-order ordinary differential equation. Associated to any third-order differential equation modulo contact transformations, Chern introduced a degenerate conformal…
We introduce an appropriate formalism in order to study conformal Killing (symmetric) tensors on Riemannian manifolds. We reprove in a simple way some known results in the field and obtain several new results, like the classification of…
The Robertson-Walker spacetimes are conformally flat and so are conformally invariant under the action of the Lie group SO(4,2), the conformal group of Minkowski spacetime. We find a local coordinate transformation allowing the…
As an algebraic study of differential equations, differential algebras have been studied for a century and and become an important area of mathematics. In recent years the area has been expended to the noncommutative associative and Lie…
Given a map $\Xi\colon U(\mathfrak{g})\rightarrow A$ of associative algebras, with $U(\mathfrak{g})$ the universal enveloping algebra of a (complex) finite-dimensional reductive Lie algebra $\mathfrak{g}$, the restriction functor from…
The paper deals with Henselian valued field with analytic structure. Actually, we are focused on separated analytic structures, but the results remain valid for strictly convergent analytic ones as well. A classical example of the latter is…
The Lie algebra $\mathcal{D}$ of regular differential operators on the circle has a universal central extension $\hat{\mathcal{D}}$. The invariant subalgebra $\hat{\mathcal{D}}^+$ under an involution preserving the principal gradation was…
We study the structure and dynamics of the infinite sequence of extensions of the Poincar{\'e} algebra whose method of construction was described in a previous paper [1]. We give explicitly the Maurer-Cartan (MC) 1-forms of the extended Lie…
We present recent computer algebra methods that support the calculations of (multivariate) series solutions for (certain coupled systems of partial) linear differential equations. The summand of the series solutions may be built by…
The motivation for this thesis was to recast quantum self-testing [MY98,MY04] in operational terms. The result is a category-theoretic framework for discussing the following general question: How do different implementations of the same…
A differential calculus on Cuntz algebra with three generators coming from the action of rotation group in three dimensions is introduced. The differential calculus is shown to satisfy Assumptions I-IV of [1] so that Levi-Civita Connection…
Killing forms on finite groups arise as examples of braided Killing forms on braided Lie algebras. For a finite group $G$ and a $G$-stable subset $\mathcal{C}$, the Killing form associated with $\mathbb{C}[\mathcal{C}]$ is given by…