Verified Real Asymptotics in Isabelle/HOL (Q5120486)
From MaRDI portal
scientific article; zbMATH DE number 7246241
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verified Real Asymptotics in Isabelle/HOL |
scientific article; zbMATH DE number 7246241 |
Statements
Verified Real Asymptotics in Isabelle/HOL (English)
0 references
10 September 2020
0 references
asymptotics
0 references
interactive theorem proving
0 references
Isabelle
0 references
proof assistant
0 references
real analysis
0 references
symbolic computation
0 references
