Machine-Checked Computational Mathematics (Invited Talk).

Assia Mahboubi

Browse the full CALCO paper archive.