Abstract:We found in 2016 a few results on the mathematical structure of the conformal Killing differential sequence in arbitrary dimension $n$, in particular the rank and order changes of the successive differential operators for $n=3,n=4$ or $n\geq 5$. They were so striking that we did not dare to publish them before our former PhD student A. Quadrat (INRIA) could confirm them while using new computer algebra packages that he developped for studying extension modules in differential homological algebra. In the meantime, as a complementary result, we found in 2017 the "missing link" justifying the doubts we had since a long time on the origin and existence of Gravitational Waves in General Relativity. In both cases, the main tool is the explicit computation of certain extension modules for the classical or conformal Killing differential sequences. These results therefore lead to revisit the work of C. Lanczos and successors on the existence of a parametrization of the Riemann or Weyl operators and their respective formal adjoint operators. We also provide an example showing how these extension modules are depending on the structure constants appearing in the Vessiot structure equations (1903), still not acknowledged after one century even though they generalize the constant Riemannian curvature integrability condition of L.P. Eisenhart (1926) for the Killing equations. The present paper is written from a lecture gven at the recent 24 th conference on Applications of Computer Algebra (ACA 2018) held in Santiago de Compostela, Spain, june 18-22, 2018.

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on the following aspects: 1. **Exploration of mathematical structures**: The paper explores the mathematical structures of the conformal Killing differential sequences in any dimension $n$, especially the changes in the rank and order of these differential operators when $n = 3$, $n = 4$ or $n\geq5$. These results are so remarkable that the author dared not publish them until his former doctoral student A. Quadrat confirmed these results using a new computer algebra package. 2. **Existence of gravitational waves**: As a supplementary result, in 2017, the paper found a "missing link", which explains the author's long - standing doubts about the origin and existence of gravitational waves in general relativity. This discovery challenges the traditional theory of gravitational waves. 3. **Research on Lanczos potential**: The paper re - examines the work of C. Lanczos and his successors on the existence of parameterizations of the Riemann or Weyl operators and their formal adjoint operators. By explicitly calculating certain extension modules of the classical or conformal Killing differential sequences, the paper provides the mathematical basis for these results. 4. **Application of Vessiot structure equations**: The paper also provides an example to show how these extension modules depend on the structure constants appearing in the Vessiot structure equations. These structure constants were not widely recognized within a century after Vessiot proposed them in 1903, although they generalize the constant - curvature Riemannian integral conditions proposed by L.P. Eisenhart for the Killing equations in 1926. 5. **Bi - dual test**: The paper proposes a systematic method based on the formal adjoint (ad) of operators to detect the parameterization problems of operators. This method is divided into five steps and is illustrated in detail by diagrams. 6. **Application in control theory**: The paper shows how to use computer algebra to deal with parameterization problems through a specific control theory example (double pendulum system). In general, the main objective of the paper is to re - examine and verify some classical physical and geometric problems, especially the theories related to gravitational waves and Lanczos potential, through mathematical tools such as computer algebra and differential cohomology algebra.

Computer Algebra and Lanczos Potential

Minimum Resolution of the Minkowski, Schwarzschild and Kerr Differential Modules

Mathematical Results Inspired by Physics

Gravitational Waves and Pommaret Bases

Delocalized Eta Invariants, Cyclic Cohomology and Higher Rho Invariants

On higher Jacobians, Laplace equations and Lefschetz properties

Cyclic stratum of Frobenius manifolds, Borel-Laplace $(\boldsymbolα,\boldsymbolβ)$-multitransforms, and integral representations of solutions of Quantum Differential Equations

From Kalman to Einstein and Maxwell: the Structural Controllability Revisited

Riemann-Hilbert problems, Toeplitz operators and ergosurfaces

Higher Symmetries of the Schrödinger Operator in Newton-Cartan Geometry

Nijenhuis geometry IV: conservation laws, symmetries and integration of certain non-diagonalisable systems of hydrodynamic type in quadratures

The convergence Newton polygon of a $p$-adic differential equation IV : controlling graphs

Conformally Kähler structures

Limits of Convex Projective Surfaces and Finsler Metrics

Positive Geometries and Differential Forms with Non-Logarithmic Singularities I

Non-dimensional Newton-Puiseux Expansions

Involutions, odd-degree extensions and generic splitting

The Study of the Canonical forms of Killing tensor in vacuum with Λ

Lattices in function fields and applications