The mathematical software Co Coa is used by proving and discovering theorems from planimetry. The example os Ptolemy´s theorem shows, how important comlete assumptions of the theorem for proving it is.
The mathematical software Co Coa is used by proving and discovering theorems from planimetry. The example os Ptolemy´s theorem shows, how important comlete assumptions of the theorem for proving it is. (en)