Formalizing a Continuous Function in Topological Spaces Using Coq

We present a formalization work in Coq about the continuous functions of topological spaces. The continuity of functions for topological spaces plays an essential role in general topology, which was the origin of rapid developments in general topology. Our formalization work about the continuous fun...

Celý popis

Podrobná bibliografie

Vydáno v:	Chinese Automation Congress (Online) s. 3433 - 3436
Hlavní autoři:	Yan, Sheng, Yu, Wensheng
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 25.11.2022
Témata:	Automation Codes continuous functions Coq Formal verification general topology Reliability theory Solids topological spaces Topology
ISSN:	2688-0938
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!