Formalizing Calculus without Limit Theory in Coq
Formal verification of mathematical theory has received widespread concern and grown rapidly. The formalization of the fundamental theory will contribute to the development of large projects. In this paper, we present the formalization in Coq of calculus without limit theory. The theory aims to foun...
Na minha lista:
| Principais autores: | , |
|---|---|
| Format: | Artigo |
| Sprog: | Inglês |
| Udgivet: |
MDPI AG
2021-06-01
|
| Serier: | Mathematics |
| Fag: | |
| Online adgang: | https://www.mdpi.com/2227-7390/9/12/1377 |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|