Related papers: Generalized Taylor formulae, computations in real …
We focus in this paper on generating models of quantified first-order formulas over built-in theories, which is paramount in software verification and bug finding. While standard methods are either geared toward proving the absence of…
Valuation algebras abstract a large number of formalisms for automated reasoning and enable the definition of generic inference procedures. Many of these formalisms provide some notions of solutions. Typical examples are satisfying…
We present a rigorous and functorial quantization scheme for affine field theories, i.e., field theories where local spaces of solutions are affine spaces. The target framework for the quantization is the general boundary formulation,…
Generalized trigonometric functions (GTFs) are simple generalization of the classical trigonometric functions. GTFs are deeply related to the $p$-Laplacian, which is known as a typical nonlinear differential operator, and there are a lot of…
We generalize Romanoff's theorem. Also, we obtain a result on sums related to Euler's totient function.
The Implicit and Inverse Function Theorems are special cases of a general Implicit/Inverse Function Theorem which can be easily derived from either theorem. The theorems can thus be easily deduced from each other via the generalized…
We consider the problem of finding the isolated common roots of a set of polynomial functions defining a zero-dimensional ideal I in a ring R of polynomials over C. Normal form algorithms provide an algebraic approach to solve this problem.…
In this paper we give a unified approach in categorical setting to the problem of finding the Galois closure of a finite cover, which includes as special cases the familiar finite separable field extensions, finite unramified covers of a…
We analyze the problem of global reconstruction of functions as accurately as possible, based on partial information in the form of a truncated power series at some point, and additional analyticity properties. This situation occurs…
Building over recent results, we expand the basic theory of algebraic extensions to the realm of superfields -a field with multivalued sum and product-, showing that every superfield has a (unique up to isomorphism) strong algebraic…
Many applications of Gaussian random fields and Gaussian random processes are limited by the computational complexity of evaluating the probability density function, which involves inverting the relevant covariance matrix. In this work, we…
The axiomatic formulation of quantum field theory (QFT) of the 1950's in terms of fields defined as operator valued Schwartz distributions is re-examined in the light of subsequent developments. These include, on the physical side, the…
We prove that under suitable graded and local hypothesis, a formally unramified algebra over a field must be reduced. We detail examples, including one due to Gabber, to show that it is not possible to generalize these results further.
In this paper we introduce the notion of generalized Lie algebroid and we develop a new formalism necessary to obtain a new solution for the Weistein's Problem. Many applications emphasize the importance and the utility of this new…
We reconsider the, by Brink and Vasiliev, recently proposed generalized Toda field theories using the framework of WZNW$\rightarrow$Toda reduction. The reduced theory has a gauge symmetry which can be fixed in various ways. We discuss some…
We give an abstract framework to transfer generalized amalgamation from a simple theory to another, and we apply it to theories of lovely pairs and of bounded PAC structures. We show in particular that bounded pseudo-algebraically closed…
We present a unified formulation for higher gauge theory using generalized forms, encompassing higher connections, curvatures, and gauge transformations. We begin by developing the calculus of generalized forms valued in higher algebras and…
We initiate a study on a range of new generalized derivations of finite-dimensional Lie algebras over an algebraically closed field of characteristic zero. This new generalization of derivations has an analogue in the theory of associative…
We study finite-dimensional groups definable in models of the theory of real closed fields with a generic derivation (also known as CODF). We prove that any such group definably embeds in a semialgebraic group. We extend the results to…
With the modified Riemann-Liouville fractional derivative, a fractional Tu formula is presented to investigate generalized Hamilton structure of fractional soliton equations. The obtained results can be reduced to the classical Hamilton…