Fingeraftryk
Dyk ned i forskningsemnerne om 'The Picard algorithm for ordinary differential equations in Coq'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
The Picard algorithm for ordinary differential equations in Coq
Evgeny Makarov, Bas Spitters
Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
25
Citationer
(Scopus)