Periodic Reporting for period 2 - FRESCO (Fast and Reliable Symbolic Computation)

Using computers to formulate conjectures and consolidate proof steps pervades all mathematical fields, even the most abstract. Most computer-aided proofs are produced by symbolic computations, using computer algebra systems. From basic research to applications, the importance...