Combining logical and algebraic techniques for natural style proving in elementary analysis
Year of publication: |
2009
|
---|---|
Authors: | Vajda, Robert ; Jebelean, Tudor ; Buchberger, Bruno |
Published in: |
Mathematics and Computers in Simulation (MATCOM). - Elsevier, ISSN 0378-4754. - Vol. 79.2009, 8, p. 2310-2316
|
Publisher: |
Elsevier |
Subject: | Automated theorem proving | Extended quantifier elimination | CAD | Groebner Bases |
-
Winkler, Franz, (1984)
-
Logic for computer science : foundations of automatic theorem proving
Gallier, Jean H., (1986)
-
A theorem proving associative processor
Dilger, Werner, (1985)
- More ...
-
Popov, Nikolaj, (2009)
-
Zukunftssicherung durch Technologiepolitik
Buchberger, Bruno, (1996)
-
Buchberger, Bruno,
- More ...