Oto Havle
According to our database1,
Oto Havle
authored at least 5 papers
between 2010 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
2010
2011
2012
2013
2014
2015
0
1
2
3
1
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
2014
2011
2010
The <i>L</i><sup>2</sup>-Optimality of the IIPG Method for Odd Degrees of Polynomial Approximation in 1D.
J. Sci. Comput., 2010