This website uses cookies.

We use cookies to improve your online experience. By continuing to use our website we assume you agree to the placement of these cookies.
To learn more, you can find in our Privacy Policy.

Computer-assisted proof

https://www.wikidata.org/wiki/Q1150675

Field Hierarchy

Parent
Computer science 56.2M papers	Mathematics 21.6M papers	Programming language 7.4M papers	Geometry 6.3M papers
Algorithm 4.6M papers	Theoretical computer science 637k papers	Mathematical proof 44.6k papers	Automated theorem proving 5,007 papers
Current
Computer-assisted proof 775 papers
Child

Trends

Notes

To use the Note feature, you need to be logged in. Please

History