Related papers: A Class of Second Order Tangent Sets
A geometric approach to Sundman transformation defined by basic functions for systems of second-order differential equations is developed and the necessity of a change of the tangent structure by means of the function defining the Sundman…
These notes are concerned with the existence and the basic properties of the set-theoretic universes for nonstandard analysis, compiled by a beginner in the subject. It assumes a basic background in first-order logic, though the necessary…
This work presents the Second-Order Sensitivity Analysis Methodology (2nd-ASAM) for nonlinear systems. This methodology yields exactly and efficiently the second-order functional derivatives of system responses (associated with physical,…
We study varieties defined over nonstandard fields using techniques of nonstandard mathematics.
For a nonlinear ordinary differential equation with time delay, the differentiation of the solution with respect to the delay is investigated. Special emphasis is laid on the second-order derivative. The results are applied to an associated…
We obtain existence and uniqueness for odd second order oscillators in the space of odd functions without topological assumptions on the nonlinear part.
We consider the termination/non-termination property of a class of loops. Such loops are commonly used abstractions of real program pieces. Second-order logic is a convenient language to express non-termination. Of course, such property is…
In this paper planar STIT tesselations with weighted axis-parallel cutting directions are considered. They are known also as weighted planar Mondrian tesselations in the machine learning literature, where they are used in random forest…
Adopting the global approach to tangent bundles of order two established in[1], we develop this approach to find new results. We also generalize various results of [3], [4] and [6] to the geometry of tangent bundles of order two.
The second-order tangent set is an important concept in describing the curvature of the set involved. Due to the existence of the complementarity condition, the second-order cone (SOC) complementarity set is a nonconvex set. Moreover,…
The aim of this paper is to present a complete description of the structure of finite subsets with small doubling property in ordered nilpotent groups of class 2.
In literature, many important combinatorial properties of subsets of N have been studied both with nonstandard techniques and from the point of view of N. In this thesis we mix these two different approaches in a technique that, at the same…
Nonstandard digraphs and transfinite digraphs have been defined and examined in two prior technical reports. The present work examines digraphs that are both nonstandard and transfinite. This requires a combination in certain ways of the…
In this paper, nonstandard multistep methods are considered. It is shown that under some (sufficient and necessary) conditions, these methods attain the same order as their standard counterparts - to prove this statement, a nonstandard…
A new tool is introduced, specially tailored for the study of order 2 bases of N. It is called the Erdos-Tuan algebra since it suits well their conjecture.
The nonstandard picture of a turbulent field is presented in this article. By the concepts of nonstandard mathematics, the picture describes the hierarchical structure of turbulence and shows the mechanism of the fluctuation appearing in a…
The work relates to a new way for analysis of one-dimensional stochastic systems, based on consideration of its higher order difference structure. From this point of view, the deterministic and random processes are analyzed. A new numerical…
We compute the transgressed forms of some modularly invariant characteristic forms,which are related to the twisted elliptic genera. We study the modularity properties of these secondary characteristic forms and relations among them. We…
In this paper, we extend some classes of structured matrices to higher order tensors. We discuss their relationships with positive semi-definite tensors and some other structured tensors. We show that every principal sub-tensor of such a…
This paper aims to build a new understanding of the nonstandard mathematical analysis. The main contribution of this paper is the construction of a new set of numbers, $\mathbb{R}^{\mathbb{Z}_< }$, which includes infinities and…