Abstract
In this paper issues of a logic deduction tool to be integrated in an object-oriented programming (OOP) environment for the manipulation of mathematical objects are presented.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bibel, W. (1987): Automated theorem proving. F. Vie weg und Sohn, Wiesbaden.
Eshghi, K., Kowalski, R. (1989): Abduction compared with negation by failure. In: Levi, G., Martelli, A. (eds.): Proceedings Sixth International Conference on Logic Programming, ICLP. MIT Press, Cambridge, MA, pp. 234–254.
Fitch, J. (1985): Solving algebraic problems with Reduce. J. Symb. Comput. 1: 211–227.
Jenks, R. D., Trager, B. (1981): A language for computational algebra. SIGPLAN Not. 16/11: 22–29.
Miola, A. (ed.) (1990): Design and implementation of symbolic computation systems. Springer, Berlin Heidelberg New York Tokyo (Lecture notes in computer science, vol. 429).
Paterson, M., Wegman, M. (1978): Linear unification. J. Comput. Syst. Sci. 16: 158–167.
Pelletier, F. (1986): Seventy-five problems for testing automatic theorem provers. J. Autom. Reason. 1: 191–216.
Wang, P., Pavelle, R. (1985): MACSYMA from F to G. J. Symb. Comput. 1: 69–100.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag Wien
About this chapter
Cite this chapter
Cioni, G., Patrizi, G., Temperini, M. (1997). Automated deduction by connection method in an object-oriented environment. In: Miola, A., Temperini, M. (eds) Advances in the Design of Symbolic Computation Systems. Texts and Monographs in Symbolic Computation. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6531-7_14
Download citation
DOI: https://doi.org/10.1007/978-3-7091-6531-7_14
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-82844-1
Online ISBN: 978-3-7091-6531-7
eBook Packages: Springer Book Archive