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: | , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
MDPI AG
2021-06-01
|
| coleção: | Mathematics |
| Assuntos: | |
| Acesso em linha: | https://www.mdpi.com/2227-7390/9/12/1377 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|