On the Petras algorithm for verified integration of piecewise analytic functions
Tytuł:
On the Petras algorithm for verified integration of piecewise analytic functions
Czasopismo:
Rok:
2017
Strony:
69-93
Tom (seria wydawnicza):
39
Numer DOI:
10.1016/j.jco.2016.10.004
Link:
http://ww2.ii.uj.edu.pl/~zgliczyn/papers/publ.htm