Log in
Enquire now
‌

Automated theorem proving

Subfield of automated reasoning dealing with proving theorems by computer programs

OverviewStructured DataIssuesContributors

Contents

Other attributes

Wikidata ID
Q431667

Automated theorem proving (ATP) is a subfield of automated reasoning and mathematical logic proving mathematical theorems using computer programs. Automated reasoning added to mathematical proving was a major boost for computer science development.

Automated theorem proving is used commercially, concentrating on integrated circuit design and verification. Advanced Micro Devices (AMD), Intel and other companies use automated theorem proving to verify complicated floating point units of modern microprocessors and other operations are correctly implemented on the processors. Microprocessors have been designed with extra scrutiny since the Pentium FDIV bug affected Pentium and Intel processors in 1994.

Timeline

No Timeline data yet.

Further Resources

Title
Author
Link
Type
Date

Machine Learning for Automated Theorem Proving

Amman Kakkad

https://scholarlyrepository.miami.edu/cgi/viewcontent.cgi?article=1222&context=oa_theses

Academic paper

References

Find more entities like Automated theorem proving

Use the Golden Query Tool to find similar entities by any field in the Knowledge Graph, including industry, location, and more.
Open Query Tool
Access by API
Golden Query Tool
Golden logo

Company

  • Home
  • Press & Media
  • Blog
  • Careers
  • WE'RE HIRING

Products

  • Knowledge Graph
  • Query Tool
  • Data Requests
  • Knowledge Storage
  • API
  • Pricing
  • Enterprise
  • ChatGPT Plugin

Legal

  • Terms of Service
  • Enterprise Terms of Service
  • Privacy Policy

Help

  • Help center
  • API Documentation
  • Contact Us
By using this site, you agree to our Terms of Service.