h1

h2

h3

h4

h5
h6
%0 Book Section
%A Lang, Bruno
%T Derivative-based subdivision in multi-dimensional verified Gaussian quadrature
%C Wien [u.a.]
%I Springer
%M RWTH-CONV-098963
%P 145-152
%D 2001
%< Symbolic algebraic methods and verification methods / Götz Alefeld ... (eds.)
%F PUB:(DE-HGF)7
%9 Contribution to a book
%U https://publications.rwth-aachen.de/record/87265