Marek Baranowski

1. Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions
   2018/12/11 by Alexey Solovyev, Marek Baranowski, Marek S. Baranowski +4 · 9 citations
   Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Numerical Methods and Algorithms