Related papers: Implementing Anti-Unification Modulo Equational Th…
The unification algorithm has long been a target for program synthesis research, but a fully automatic derivation remains a research goal. In deductive program synthesis, computer programming is phrased as a task in theorem proving; a…
Gravitational and electroweak interactions can be unified in analogy with the unification in the Weinberg-Salam theory. The Yang-Mills framework is generalized to include space-time translational group T(4), whose generators $T_{\mu}(=\p/\p…
Approximations by Trefftz functions are rapidly gaining popularity in the numerical solution of boundary value problems of mathematical physics. By definition, these functions satisfy locally, in weak form, the underlying differential…
Essentially generalizing Lie's results, we prove that the contact equivalence groupoid of a class of (1+1)-dimensional generalized nonlinear Klein-Gordon equations is the first-order prolongation of its point equivalence groupoid, and then…
We describe a completely algebraic axiom system for intertwining operators of vertex algebra modules, using algebraic flat connections, thus formulating the concept of a {\em tree algebra}. Using the Riemann-Hilbert correspondence, we…
In this paper, we propose a unified formalism, using Green's functions, to integrate out the electrons in an insulator under uniform electromagnetic fields. We derive a perturbative formula for the Green's function in the presence of…
We employ a Kaluza-Klein dimensional reduction process on the action of the antisymmetric tensor field in five-dimensional space-time. The result is a joint field theory of four-dimensional antisymmetric and vector fields. We write the…
We show how to represent a class of expressions involving discrete sums over partitions as matrix models. We apply this technique to the partition functions of 2* theories, i.e. Seiberg-Witten theories with the massive hypermultiplet in the…
Recently, neural approaches to coherence modeling have achieved state-of-the-art results in several evaluation tasks. However, we show that most of these models often fail on harder tasks with more realistic application scenarios. In…
In a series of papers we proposed a model unifying general relativity and quantum mechanics. The idea was to deduce both general relativity and quantum mechanics from a noncommutative algebra ${\cal A}_{\Gamma}$ defined on a transformation…
We develop a framework that systematically casts the solvability and uniqueness conditions of linearized geometric boundary-value problems into cohomological terms. The theory is designed to be applicable without assumptions on the…
We propose a generalisation of concurrent Kleene algebra \cite{Hoa09} that can take account of probabilistic effects in the presence of concurrency. The algebra is proved sound with respect to a model of automata modulo a variant of rooted…
A Lorentz covariant quantization of membrane dynamics is defined, which also leaves unbroken the full three dimensional diffeomorphism invariance of the membrane. Among the applications studied are the reduction to string theory, which may…
In (B-Gran, 2004), was given a categorical formulation of the Shifting Lemma which is a characterization of the Congruence Modular Varieties among all the variety of Universal Algebra, introduced in (Gumm, 1983). Starting from a…
We consider the use of Quantifier Elimination (QE) technology for automated reasoning in economics. QE dates back to Tarski's work in the 1940s with software to perform it dating to the 1970s. There is a great body of work considering its…
Built upon the hypoelliptic analysis of the effective Mori-Zwanzig (EMZ) equation for observables of stochastic dynamical systems, we show that the obtained semigroup estimates for the EMZ equation can be used to drive prior estimates of…
We give information about finite-dimensional Lie algebras and their representations for model building in 4 and 5 dimensions; e.g., conjugacy classes, types of representations, Weyl dimensional formulas, Dynkin indices, quadratic Casimir…
We prove some results about the model theory of fields with a derivation of the Frobenius map, especially that the model companion of this theory is axiomatizable by axioms used by Wood in the case of the theory $\operatorname{DCF}_p$ and…
We describe an efficient implementation of clause guidance in saturation-based automated theorem provers extending the ENIGMA approach. Unlike in the first ENIGMA implementation where fast linear classifier is trained and used together with…
In the harmonic description of general relativity, the principle part of Einstein equations reduces to a constrained system of 10 curved space wave equations for the components of the space-time metric. We use the pseudo-differential theory…