Engineering mathematics (Q2931776)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Engineering mathematics |
scientific article |
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
