相关论文: Virtual Calculus - Part I
There is a unique finite group that lies inside the 2-dimensional unitary group but not in the special unitary group, and maps by the symmetric square to an irreducible subgroup of the 3-dimensional real special orthogonal group. In an…
Fractional calculus generalizes the derivative and antiderivative operations of differential and integral calculus from integer orders to the entire complex plane. Methods are presented for using this generalized calculus with Laplace…
The mathematical representation of the physical objects determines which mathematical branch will be applied during the physical analysis in the systems studied. The difference among non-quantum physics, like classic or relativistic…
We survey some basic mathematical structures, which arguably are more primitive than the structures taught at school. These structures are orders, with or without composition, and (symmetric) monoidal categories. We list several `real life'…
A very small amount of K\"ahler algebra (i.e. Clifford algebra of differential forms) in the real plane makes x + ydxdy emerge as a factor between the differentials of the Cartesian and polar coordinates, largely replacing the concept of…
Models of computation operating over the real numbers and computing a larger class of functions compared to the class of general recursive functions invariably introduce a non-finite element of infinite information encoded in an arbitrary…
Using standard analysis only, we present an extension ${^\bullet\R}$ of the real field containing nilpotent infinitesimals. On the one hand we want to present a very simple setting to formalize infinitesimal methods in Differential…
The theory of elliptic modular forms has gained significant momentum from the discovery of relaxed yet well-behaved notions of modularity, such as mock modular forms, higher order modular forms, and iterated Eichler-Shimura integrals.…
We discuss the effective computation of geometric singularities of implicit ordinary differential equations over the real numbers using methods from logic. Via the Vessiot theory of differential equations, geometric singularities can be…
We state some elementary problems concerning the relation between difference calculus and differential calculus, and we try to convince the reader that, in spite of the simplicity of the statements, a solution of these problems would be a…
We develop an abstract framework for the investigation of quantization and dequantization procedures based on orthogonality relations that do not necessarily involve group representations. To illustrate the usefulness of our abstract method…
Quantum physical resources are directional quantities that can be formalized by unit vectors or the associated orthogonal projection operators. When compared to classical computational states which are elements of (power) sets vector…
In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of…
Integro-differential methods, currently exploited in calculus, provide an inexhaustible source of tools to be applied to a wide class of problems, involving the theory of special functions and other subjects. The use of integral transforms…
We construct bounded linear operators that map $H^1$ conforming Lagrange finite element spaces to $H^2$ conforming virtual element spaces in two and three dimensions. These operators are useful for the analysis of nonstandard finite element…
We introduce a linear infinitary $\lambda$-calculus, called $\ell\Lambda_{\infty}$, in which two exponential modalities are available, the first one being the usual, finitary one, the other being the only construct interpreted…
The method of brackets is an efficient method for the evaluation of a large class of definite integrals on the half-line. It is based on a small collection of rules, some of which are heuristic. The extension discussed here is based on the…
We discuss a version of the fundamental theorem of calculus in several variables and some applications, of potential interest as a teaching material in undergraduate courses.
There are numerous ways to represent real numbers. We may use, e.g., Cauchy sequences, Dedekind cuts, numerical base-10 expansions, numerical base-2 expansions and continued fractions. If we work with full Turing computability, all these…
In this paper we will present some alternative types of mathematical description and methods of solution of the fractional-order dynamical system in the state space. We point out the difference in the true sense of the name "state" space…