English

English Deutsch Español Français Português Русский 한국어 中文日本語

EntityQ1150675· pop 10· linked from 137 articles

computer-assisted proof

Sign in to save

mathematical proof at least partially generated by computer

Available in 10 languages

via Wikidata sitelinks · CC0