On Building a Knowledge Base for Stability Theory

A lot of mathematical knowledge has been formalized and stored in repositories by now: different mathematical theorems and theories have been taken into consideration and included in mathematical repositories. Applications more distant from pure mathematics, however --- though based on these theories --- often need more detailed knowledge about the underlying theories. In this paper we present an example Mizar formalization from the area of electrical engineering focusing on stability theory which is based on complex analysis. We discuss what kind of special knowledge is necessary here and which amount of this knowledge is included in existing repositories.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/31/2016

Building the Signature of Set Theory Using the MathSem Program

Knowledge representation is a popular research field in IT. As mathemati...
research
06/03/2020

Embracing undecidability: Cognitive needs and theory evaluation

There are many ways we can not know. Even in systems that we created our...
research
06/21/2013

Epistemology of Modeling and Simulation: How can we gain Knowledge from Simulations?

Epistemology is the branch of philosophy that deals with gaining knowled...
research
06/11/2020

Deep Differential System Stability – Learning advanced computations from examples

Can advanced mathematical computations be learned from examples? Using t...
research
07/10/2018

Generalized uncertain theory: concepts and fundamental principles

Although there are many mathematical theories to address uncertain pheno...
research
03/27/2013

Now that I Have a Good Theory of Uncertainty, What Else Do I Need?

Rather than discussing the isolated merits of a nominative theory of unc...
research
10/21/2022

Formalizing Chemical Theory using the Lean Theorem Prover

Chemical theory can be made more rigorous using the Lean theorem prover,...

Please sign up or login with your details

Forgot password? Click here to reset