Robuta

https://cordis.europa.eu/project/id/230822/results Constructive Mathematics: Proof and Computation | CONSTRUMATH | Project | Results | FP7 | CORDIS |... Deliverables, publications, datasets, software, exploitable results constructive mathematics project results proof computation cordis