Preview
Unable to display preview. Download preview PDF.
References
L. M. Batten, A. Beutelspacher: The Theory of finite Linear Spaces. Combinatorics of Points and Lines, Cambridge University Press, Cambridge (1993).
T. Becker, V. Weispfenning: Groebner Bases, Springer Graduate Texts 141, Springer Verlag Berlin Heidelberg, New York (1993).
A. Beutelspacher, J. Ueberberg: Symbolic Incidence Geometry. Proposal for doing geometry with a computer, SIGSAM Bull. 27, No. 2 (1993), 19–29 and No. 3 (1993), 9–24.
B. Buchberger: Gröbner bases, in preparation.
G. E. Collins: Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition, Lecture Notes in Computer Science 33, Springer-Verlag, Berlin, Heidelberg, New York (1975) 134–183.
N. de Bruijn, P. Erdös: On a combinatorial problem, Indag. Math. 10 (1948), 421–423.
P. Dembowski: Semiaffine Ebenen Arch. Math. 13 (1962), 120–131.
H. Melenk, H. M. Möller, W. Neun: Groebner — A package for calculating Groebner bases, part of the documentation for REDUCE 3.4.
R. Loos, V. Weispfenning: Applying linear quantifier elimination, to appear.
J. Shoenfield: Mathematical Logic, Addison Wesley, Massachusetts (1967).
J. Ueberberg: Einführung in die Computeralgebra mit REDUCE, Bibliographisches Institut Mannheim, Leipzig, Wien (1992).
J. Ueberberg: Symbolic Incidence Geometry and Finite Linear Spaces, Discrete Math. 129 (1994), 205–217.
J. Ueberberg: Interactive Theorem Proving and Symbolic Incidence Geometry, in preparation.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ueberberg, J. (1995). Interactive theorem proving and computer algebra. In: Calmet, J., Campbell, J.A. (eds) Integrating Symbolic Mathematical Computation and Artificial Intelligence. AISMC 1994. Lecture Notes in Computer Science, vol 958. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60156-2_1
Download citation
DOI: https://doi.org/10.1007/3-540-60156-2_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60156-2
Online ISBN: 978-3-540-49533-8
eBook Packages: Springer Book Archive