computer-assisted proof
Sign in to savemathematical proof at least partially generated by computer
Wikidata facts
Show 3 more facts
- time of discovery or invention
- 1970-00-00
- uses
- proof assistant
- Stack Exchange tag
- math.stackexchange.com/tags/computer-assisted-proofs
Sources (2)
via Wikidata · CC0