computer-assisted proof (Q1150675)
Jump to navigation
Jump to search
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 |
Statements
1970s
0 references
Identifiers
1 reference
Sitelinks
Wikipedia(10 entries)
- dewiki Maschinengestütztes Beweisen
- enwiki Computer-assisted proof
- eswiki Prueba asistida por ordenador
- frwiki Preuve assistée par ordinateur
- jawiki 計算機援用証明
- kowiki 컴퓨터를 이용한 증명
- mkwiki Сметачки потпомогнат доказ
- ruwiki Доказательные вычисления
- ukwiki Доказові обчислення
- zhwiki 電腦協助證明