доказательные вычисления
Sign in to saveцеленаправленные вычисления на ЭВМ, которые приводят к строгому установлению новых фактов и доказательству теорем
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
Article · Русский
Доказательные вычисления — целенаправленные вычисления на ЭВМ, комбинируемые с аналитическими исследованиями, которые приводят к строгому установлению новых фактов и доказательству теорем.
Abstract from DBpedia / Wikipedia · CC BY-SA