Search
Search Results
-
Infinite-Order Differential Operators in the Module of Formal Generalized Functions and in a Ring of Formal Power Series
We obtain the general form of continuous linear map**s acting in the module of formal generalized functions over a commutative ring and commuting...
-
A Representation of FS-Domains by Formal Concept Analysis
In this paper, we show the advantages of using Formal Concept Analysis in representing FS-domains. Based on the notion of contractive operators on...
-
Factorizing formal contexts from closures of necessity operators
Factorizing datasets is an interesting process in a multitude of approaches, but many times it is not possible or efficient the computation of a...
-
Cohomology and Formal Deformations of n-Hom–Lie Color Algebras
We provide a cohomology of n -Hom–Lie color algebras, in particular, a cohomology governing oneparameter formal deformations. Then we also study...
-
An Invitation to Formal Power Series
This is an account on the theory of formal power series developed entirely without any analytic machinery. Combining ideas from various authors we...
-
Incremental concept cognitive learning in dynamic formal contexts based on attribute partial order structure diagram
Partial order formal structure analysis (POFSA) is an emerging theory in the field of concept cognitive learning (CCL). Attribute partial order...
-
Formal Proofs in Mathematical Practice
Over the past half-century, formal, machine-executable proofs have been developed for an impressive range of mathematical theorems. Formalists argue... -
A formal model of Coleman families and applications to Iwasawa invariants
For a given Coleman family of modular forms, we construct a formal model and prove the existence of a family of Galois representations associated to...
-
Continuity of Formal Power Series Products in Nonlinear Control Theory
Formal power series products appear in nonlinear control theory when systems modeled by Chen–Fliess series are interconnected to form new systems. In...
-
A Matrix Method for Detecting Formal Solutions to the Problem of Algebraic Synthesis of a Finite-State Machine with a Datapath of Transitions
For a finite-state machine with a datapath of transitions, a new method for detecting formal solutions to an algebraic synthesis problem is proposed....
-
Formal, Harmonic, and Metric Structure
This chapter is intended to present the contextual conditions in which the derivative transformations take place in Op. 118/2. This context is... -
Linear Differential Equation with Inhomogeneity in the Form of a Formal Power Series Over a Ring with Non-Archimedean Valuation
Consider a linear inhomogeneous differential equation of the m th order with constant coefficients from the valuation ring K of a non-Archimedean...
-
A modified formal Lagrangian formulation for general differential equations
In this paper, we propose a modified formal Lagrangian formulation by introducing dummy dependent variables and prove the existence of such a...
-
A heat–structure interaction model with (formal) ‘square-root’ dam**: analyticity and uniform stability
In Part I, the present paper studies a homogeneous, uncontrolled 2D or 3D heat–structure interaction model, where the structure is modeled by an...
-
An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis of Kolmogorov’s 1932 Paper
Two dichotomies are considered as the foundations of a scientific theory: the kind of infinity—either potential or actual-, and the kind of...
-
Formal Schemes of Rational Degree
Formal schemes in algebraic geometry consist of power series with integer degree, this idea can be naturally carried over to power series with...
-
Teaching Low-Code Formal Methods with Coloured Petri Nets
This paper proposes teaching formal methods using Coloured Petri Nets and CPN Tools. This tool can hide the mathematical complexity and provides a... -
Summability of Formal Solutions for a Family of Generalized Moment Integro-Differential Equations
Generalized summability results are obtained regarding formal solutions of certain families of linear moment integro-differential equations with time...
-
Formal specification and verification of decentralized self-adaptive systems using symmetric nets
Engineering distributed self-adaptive systems is challenging due to multiple interacting components, some of which monitor and possibly modify the...
-
El Escorial, Derand and Guarini: About Formal Control of Ribbed Spherical and Elliptical Vaults
Guarino Guarini’s ribbed vaults have been connected with Islamic sources. However, this connection relies almost exclusively on plans and visual...