Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University
A-4040 Linz, Austria, Europe
URL: http://www.risc.uni-linz.ac.at/people/tjebelea
Phone: +43 732 2468 9946
Fax: +43 732 2468 9930
Tudor.Jebelean@JKU.AT



Material ajutator pentru cursurile de la master


Semestrul 1: Techniques for Scientific Work (TSW)

Subjects from previous examinations: tsw-exam-1.pdf, tsw-exam-2.pdf, tsw-exam-3.pdf.

Subjects with solutions: tsw-exam-sol-1.pdf.

Other material for proof training:

Material for individual study by Bruno Buchberger:


Semestrul 2: Automated Theorem Proving (ATP)

Material ajutator

Additional material


T. Jebelean