Formally proving size optimality of sorting networks (Q1694569)
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: Formally proving size optimality of sorting networks |
scientific article; zbMATH DE number 6833657
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formally proving size optimality of sorting networks |
scientific article; zbMATH DE number 6833657 |
Statements
Formally proving size optimality of sorting networks (English)
0 references
2 February 2018
0 references
interactive theorem proving
0 references
large-scale proofs
0 references
program extraction
0 references
sorting networks
0 references
0 references
0.9258575
0 references
0.91436845
0 references
0.8962693
0 references
0 references
0.89321893
0 references
0.8927494
0 references
0.8897123
0 references
