Related papers: Symbolic integration on planar differential foliat…

In this paper we introduce an intrinsic version of the classical induction of representations for a subgroup $H$ of a (finite) group $G$, called here {\em geometric induction}, which associates to any, not necessarily transitive, $G$-set…

The D-envelope (or galoisian envelope) of rational endomorphisms of P1 are computed. One obtain the following theorem : "the rational transformations of P1 with an invariant meromorphic G-structure are the integrables ones."

To every irreducible finite crystallographic reflection group (i.e., an irreducible finite reflection group G acting faithfully on an abelian variety X), we attach a family of classical and quantum integrable systems on X (with meromorphic…

The theory of holographic algorithms, which are polynomial time algorithms for certain combinatorial counting problems, yields insight into the hierarchy of complexity classes. In particular, the theory produces algebraic tests for a…

Non-holonomic constraints, both in the Lagragian and Hamiltonian formalism, are discussed from the geometrical viewpoint of implicit differential equations. A precise statement of both problems is presented remarking the similarities and…

We have already dealt with the problem of solving First Order Differential Equations (1ODEs) presenting elementary functions before in [1, 2]. In this present paper, we have established solid theoretical basis through a relation between the…

We present a universal construction of Diophantine equations with bounded complexity in Isabelle/HOL. This is a formalization of our own work in number theory. Hilbert's Tenth Problem was answered negatively by Yuri Matiyasevich, who showed…

Let $\psi:{\mathcal{D}}\rightarrow{\mathbf{R}}$ be a harmonic function such that $\Delta\psi(x)=0$ for all $x\in\mathcal{D}\subset{\mathbf{R}}^{n}$. There are then many well-established classical results:the Dirichlet problem and Poisson…

The fundamental concepts in the Galois Theory are separable, normal and Galois field extensions. These concepts are central in proofs of the Galois Theory. In the paper, we introduce a new approach, a ring theoretic approach, to the Galois…

We present an algorithm that determines the Galois group of linear difference equations with rational function coefficients.

In this work we compute the families of classical Hamiltonians in two degrees of freedom in which the Normal Variational Equation around an invariant plane falls in Schroedinger type with polynomial or trigonometrical potential. We analyze…

Here we present an efficient method for finding and using a nonlocal symmetry admitted by a rational second order ordinary differential equation (rational 2ODE) in order to find a Liouvillian first integral (belonging to a vast class of…

We introduce generalized Galerkin variational integrators, which are a natural generalization of discrete variational mechanics, whereby the discrete action, as opposed to the discrete Lagrangian, is the fundamental object. This is achieved…

In this paper we obtain new quantitative forms of Hilbert's Irreducibility Theorem. In particular, we show that if $f(X, T_1, \ldots, T_s)$ is an irreducible polynomial with integer coefficients, having Galois group $G$ over the function…

Darboux developed an ingenious algebraic mechanism to construct infinite chains of ''integrable'' second-order differential equations as well as their solutions. After a surprisingly long time, Darboux's results were rediscovered and…

A variety of problems emerged investigating electronic circuits, computer devices and cellular automata motivated a number of attempts to create a differential and integral calculus for Boolean functions. In the present article, we extend…

There has been much recent attention on $h$-functions, so named since they describe the distribution of harmonic measure for a given multiply connected domain with respect to some basepoint. In this paper, we focus on a closely related…

Using the action of the Galois group of a normal extension of number fields, we generalize and symmetrize various fundamental statements in algebra and algebraic number theory concerning splitting types of prime ideals, factorization types…

We present an algorithm to determine the Galois group of an irreducible monic polynomial $f(x) \in \mathbb{Z}[x]$ of degree at most five. Following work of Conrad, Dummit, and Stauduhar this comes down to answering two questions: Is a given…

Let K be a number field with euclidean ring of integers O. Let G be a finite-index torsion-free subgroup of Sp(2n, O). We exhibit a finite, geometrically defined spanning set of the top dimensional integral cohomology of G by generalizing…