Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks
Abstract
Talk at RAIM 2015 (Rennes)
Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks
Origin : Files produced by the author(s)
Loading...