Top Tweets for #LICS21

about 5 years ago

Today I'm looking forward to presenting my paper 'Global Optimisation with Constructive Reals' (co-authored with @danghica) at #LICS21. https://t.co/hbwfz3InKP

Todd Waugh Ambridge 🌹 @Tnttodda

about 5 years ago

My paper with @danghica 'Global Optimisation with Constructive Reals' is now listed in the #LICS21 program. Formalised constructive reals (in #Agda) and Escardó-searchable types lead us to provably correct algorithms for global optimisation and regression. https://t.co/Li4Lbd3LqW

Top Tweets for #LICS21

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users