Search
Search Results
-
Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in... -
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... -
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...
-
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...
-
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... -
Unlikely intersections on the p-adic formal ball
We investigate generalizations along the lines of the Mordell–Lang conjecture of the author’s p -adic formal Manin–Mumford results for n -dimensional p -...
-
A Modification of Visser’s Formal Logic and Its Connection with Solovay’s Modal Logic
AbstractWe present a new logic called SPL , embedded into Solovay’s provability logic S , using a translation that embeds Visser’s formal logic FPL ...
-
Formal Methods Teaching 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress on...
-
Convergence of Formal Solutions to the Second Member of the Fourth Painlevé Hierarchy in a Neighborhood of Zero
AbstractThe second member of the fourth Painlevé hierarchy is considered. Convergence of certain power asymptotic expansions in a neighborhood of...
-
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....
-
On the summability and convergence of formal solutions of linear q-difference-differential equations with constant coefficients
We consider the Cauchy problem for homogeneous linear q -difference-differential equations with constant coefficients. We characterise convergent, k -su...
-
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 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...
-
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... -
Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games
We present a concept to increase the interactivity of formal methods courses. To do so, we discuss how formal methods can be seen as special serious... -
-
Luigi Moretti’s Formalised Methods and his Use of Mathematics in the Design Process of Architettura Parametrica’s Swimming Stadiums
The use of mathematical structures as a design tool by Luigi Moretti, the first theorist of Architettura Parametrica , is an unexplored theme even...