computer-assisted proof
Sign in to savemathematical proof at least partially generated by computer
Wikidata facts
Show 2 more facts
- time of discovery or invention
- 1970-00-00
- Stack Exchange tag
- math.stackexchange.com/tags/computer-assisted-proofs
Sources (2)
via Wikidata · CC0
Connections
semantic theory of truth
Entity
mathematical logic
Entity
byte
Entity
first-order logic
Entity
formal system
Entity
recursive set
Entity
automated theorem proving
Entity
semantics of logic
Entity
proof assistant
Entity
structure
Entity
ground expression
Entity
diagram
Entity
computer
Entity
logic
Entity
Artificial intelligence
Concept
International Standard Book Number
Entity
set theory
Entity
function
Entity
set
Entity
axiom
Entity