Revitalized automatic proofs: demonstrations (Q5384148)
From MaRDI portal
scientific article; zbMATH DE number 7069632
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Revitalized automatic proofs: demonstrations |
scientific article; zbMATH DE number 7069632 |
Statements
21 June 2019
0 references
Catalan triangle
0 references
math.CO
0 references
