We introduce the generalized Helmholtz-Gauss (gHzG) beam and analyze its propagation through optical systems described by ABCD matrices with real and complex elements. The transverse mathematical structure of the gHzG beam is form invariant under paraxial transformations and reduces to those of ordinary HzG and modified HzG beams as special cases. We derive a closed-form expression for the frac...

The mathematical and numerical least squares solution of a general linear system of equations is discussed. Perturbation and differentiability theorems for pseudoinverses are given. Computational procedures for calculating least squares solutions using orthonormal transformations, multiplying matrices by a matrix of orthonormal basis vectors for the null-space of a given matrix, sequential proc...

In this paper we present CAOVerif, a deductive verification tool for the CAO language. CAO is a domain-specific language for cryptography with interesting challenges for formal verification. It introduces not only a rich mathematical type system, but it also offers cryptography-oriented language constructions. The toolchain encompasses different transformations of the source code in order to ge...

In the series of papers [1-4], the inverse problem of the Birkhoff-Gustavson normalization was posed and studied. To solve the inverse problem, the symbolic-computing program named ANFER (Algorithm of Normal Form Expansion and Restoration) is written up, with which a new aspect of the Bertrand and Darboux integrability condition is found [1]. In this paper, the procedure in ANFER is presented i...

Some methods based on simple regularizing geometric element transformations have heuristically been shown to give runtime efficient and quality effective smoothing algorithms for meshes. We describe the mathematical framework and a systematic approach to global optimization-based versions of such methods for mixed volume meshes, which generalizes to arbitrary dimensions. We also identify some a...

The general advantages of functional programming naturalness of expression (in some problem areas), ease of proof, and clarity are well known. In the field of numerical mathematical computation, however, these advantages are normally outweighed by functional programming’s main disadvantage inefficient execution. In this paper, we show how a functional style can be used for the elegant specifica...

The WWW became the main resource of mathematical knowledge. Currently available full text search engines can be used on these documents but they are deficient in almost all cases. By applying axioms, equal transformations, and by using different notation each formula can be expressed in numerous ways. Most of these documents do not contain semantic information; therefore, precise mathematical i...

Relational lattice is a formal mathematical model for Relational algebra. It reduces the set of six classic relational algebra operators to two: natural join and inner union. We continue to investigate Relational lattice properties with emphasis onto axiomatic definition. New results include additional axioms, equational definition for set difference (more generally anti-join), and case study d...

Henri Poincaré formulated the mathematics of Lorentz transformations, known as the Poincaré group. He also formulated the Poincaré sphere for polarization optics. It is shown that these two mathematical instruments can be derived from the two-by-two representations of the Lorentz group. Wigner’s little groups for internal space-time symmetries are studied in detail. While the particle mass is a...

In this review we present some of the fundamental mathematical structures which permit to define noncommutative gauge field theories. In particular, we emphasize the theory of noncommutative connections, with the notions of curvatures and gauge transformations. Two different approaches to noncommutative geometry are covered: the one based on derivations and the one based on spectral triples. Ex...