![]() |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![]() |
DELETEDAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Chong Donatelli. DELETED DELETED This talk is part of the Robles series. This talk is included in these lists:Note that ex-directory lists are not shown. |
Other listsFormalisation of mathematics with interactive theorem provers LensesOther talksTALK POSTPONED Early career research and fieldwork Generalized Solitary Waves In Karpman Equations: Effects Of Discretization The Venerable Mina Smallman in conversation with Shahida Rahman |