相关论文: On composition of muiltivariable formal power seri…

One of the most challenging tasks in specification engineering for a multi-agent robotic system is to formally specify and architect the system, especially as a multi-agent robotic system is concurrent having concurrent processing, and…

Many practical engineering systems and their components have multiple performance levels and failure modes. If these systems form a monotonically increasing structure function (system model) with respect to the performance of their…

A basic postulate of modern compositional approaches to generalised physical theories is the generalised Born rule, in which probabilities are postulated to be computable from the composition of states and effects. In this paper we consider…

In the paper a new sufficient condition for the Aubin property to a class of parameterized variational systems is derived. In these systems the constraints depend both on the parameter as well as on the decision variable itself and they…

The problem of simultaneous decomposition of binary forms as sums of powers of linear forms is studied. For generic forms the minimal number of linear forms needed is found and the space parametrizing all the possible decompositions is…

The formulas discussed in the previous version are not new.

The purpose of this article is to provide an exposition of domains of convergence of power series of several complex variables without recourse to relatively advanced notions of convexity.

The paper presents shortly the geometric approach to the problem of a general quantization formalism, both physically meaningful and mathematically consistent.

The convergence of multiple Fourier series of functions of bounded partial $% \Lambda$-variation is investigated. The sufficient and necessary conditions on the sequence $\Lambda=\{\lambda_n\}$ are found for the convergence of multiple…

We consider formal power series $ f(x) = a_1 x + a_2 x^2 + \cdots $ $(a_1 \neq 0)$, with coefficients in a field. We revisit the classical subject of iteration of formal power series, the n-fold composition $f^{(n)}(x)=f(f(\cdots…

This paper is an introduction to the theory of multivector functions of a real variable. The notions of limit, continuity and derivative for these objects are given. The theory of multivector functions of a real variable, even being similar…

Complex numbers are an intrinsic part of the mathematical formalism of quantum theory, and are perhaps its most mysterious feature. In this paper, we show that the complex nature of the quantum formalism can be derived directly from the…

An explicit formula for a strong connection form in a principal extension by a coseparable coalgebra is given.

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…

The paper gives the main lines of a general theory for physical measurements.

For students and their lecturers and instructors interested in the natural problem of a possible generalization of l'Hopital's rule for functions depending on two or more variables, we offer our approach. For instructors, we discuss the…

We construct an explicit filtration of the ring of algebraic power series by finite dimensional constructible sets, measuring the complexity of these series. As an application, we give a bound on the dimension of the set of algebraic power…

We give a survey of the Lagrange inversion formula, including different versions and proofs, with applications to combinatorial and formal power series identities.

It is outlined the possibility to extend the quantum formalism in relation to the requirements of the general systems theory. It can be done by using a quantum semantics arising from the deep logical structure of quantum theory. It is so…

We propose a sufficient and necessary separability criterion for pure states in multipartite and high dimensional systems. Its main advantage is operational and computable. The obvious expressions of this criterion can be given out by the…