AUTOMATED REASONING
===================

Tudor Jebelean


1. Some Applications of Automated Reasoning

 - The role of Mathematics, Logic, and Automated Reasoning in science and
   technology, viewed from the point of view of "problem solving".
 - The semantic web;
 - Formal specifications of systems;
 - Synthesis of algorithms;
 - Verification of algorithms.


2. Some Methods for Automated Reasoning

 - The Theorema system;
 - Proving methods used in Theorema;
 - Case study: using CAD in provers for elementary analysis.