Students and teachers of mathematical specialties

Computer assisted proofs

N. N. Osipov

Institute of Space and Information Technologies, Siberian Federal University

Abstract: The article gives examples of the application of computer algebra systems to the proof of theorems in elementary geometry, algebra and number theory.

Keywords: symbolic computation, computer algebra, application to theorem proving.

UDC: 519.6