next up previous contents
Next: Strategies Up: Analysis Previous: Summary of Theoretical Analysis

Experimental Analysis

  In section 7.1 we examine some of the basic algorithms. In addition to this we perform various experiments in order to test the theoretical predictions, and to obtain statistics for the actual performance of the calculator implemented.


Martin Escardo