Computer certified efficient exact reals in Coq

Robbert Krebbers*, Bas Spitters

*Corresponding author af dette arbejde

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

10 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Computer certified efficient exact reals in Coq'. Sammen danner de et unikt fingeraftryk.

Mathematics

Computer Science