Engineering mathematics: the odd order theorem proof (Q2931776)
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: Engineering mathematics: the odd order theorem proof |
scientific article; zbMATH DE number 6374657
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Engineering mathematics: the odd order theorem proof |
scientific article; zbMATH DE number 6374657 |
Statements
Engineering mathematics (English)
0 references
27 November 2014
0 references
Coq/SSReflect
0 references
odd-order theorem
0 references
mathematical components
0 references
proof engineering
0 references
automated theorem proving
0 references
0.75257807970047
0 references
0.7247583866119385
0 references
0.7036343812942505
0 references
0.7005515098571777
0 references
0.6856644749641418
0 references
