Programming before theorizing, a case study.

Ana Romero, Francis Sergeraert

Browse the full ISSAC paper archive.