Computing and proving with pivots (Q5397705)
From MaRDI portal
scientific article; zbMATH DE number 6261129
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computing and proving with pivots |
scientific article; zbMATH DE number 6261129 |
Statements
Computing and proving with pivots (English)
0 references
24 February 2014
0 references
combinatorial topology
0 references
complementarity problems
0 references
constructive proofs
0 references
pivoting algorithms
0 references
