A new style of mathematical proof (Q1662225)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A new style of mathematical proof |
scientific article; zbMATH DE number 6920265
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A new style of mathematical proof |
scientific article; zbMATH DE number 6920265 |
Statements
A new style of mathematical proof (English)
0 references
17 August 2018
0 references
mathematical proof
0 references
traditional proof style
0 references
formal proof style
0 references
universal digital mathematics library
0 references
UDML
0 references
little theories method
0 references
theory graphs
0 references
flexiformalization
0 references
cross checks
0 references
0.7187129855155945
0 references
0.7106574177742004
0 references
0.7068341970443726
0 references
0.6987723112106323
0 references
