Automated reasoning and enumerative search, with applications to mathematics
Conference
·
OSTI ID:5792868
- Academia Sinica, Beijing, BJ (China)
- Argonne National Lab., IL (United States)
More and more mathematical problems are being solved with the aid of computers. In this paper, we examine the applications of reasoning and search programs to mathematics. It is also shown that the combination of these two techniques can solve mathematical problems more effectively.
- Research Organization:
- Argonne National Lab., IL (United States)
- Sponsoring Organization:
- USDOE; USDOE, Washington, DC (United States)
- DOE Contract Number:
- W-31109-ENG-38
- OSTI ID:
- 5792868
- Report Number(s):
- ANL/CP-75127; CONF-9107203-1; ON: DE92006982
- Resource Relation:
- Conference: International conference for young computer scientists, Beijing (China), 18-20 Jul 1991
- Country of Publication:
- United States
- Language:
- English
Similar Records
Automated reasoning and enumerative search, with applications to mathematics
Automated reasoning and various applications
The application of automated reasoning to proof translation and to finding proofs with specified properties: A case study in many-valued sentential calculus
Conference
·
Tue Dec 31 00:00:00 EST 1991
·
OSTI ID:5792868
Automated reasoning and various applications
Conference
·
Tue Jan 01 00:00:00 EST 1985
·
OSTI ID:5792868
The application of automated reasoning to proof translation and to finding proofs with specified properties: A case study in many-valued sentential calculus
Technical Report
·
Thu Aug 01 00:00:00 EDT 1991
·
OSTI ID:5792868