computer-assisted proof (Q6481096)
From MaRDI portal
mathematical proof at least partially generated by computer
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | computer-assisted proof |
mathematical proof at least partially generated by computer |
