sewon_park
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
| sewon_park [2024/04/04 18:02] – [Invited Talks] sewon | sewon_park [2024/04/04 18:02] – [Invited Talks] sewon | ||
|---|---|---|---|
| Line 124: | Line 124: | ||
| ==== Invited Talks ==== | ==== Invited Talks ==== | ||
| - | * **Abstract data type for exact real numbers and verified computation** [[https:// | + | * **Abstract data type for exact real numbers and verified computation** [[https:// |
| * //Invited talk// | * //Invited talk// | ||
| * Sewon Park | * Sewon Park | ||
sewon_park.txt · Last modified: 2024/04/24 12:41 by sewon