We present three examples which demonstrate, in a somewhat typical way, the use of computer algebra as stated in the preface:

- producing counter examples;
- providing evidence and prompting proofs for new theorems;
- constructing interesting explicit examples;

- 1. exactness of the Poincaré complex
- 2. Zariski's multiplicity conjecture
- 3. curves with maximal number of singularities

| ZCA Home | Reports |