h1

h2

h3

h4

h5
h6
%0 Journal Article
%A Krivsky, S.
%A Lang, B.
%T Verified computation of higher-dimensional convex hulls and the solution of linear systems
%J LMS journal of computation and mathematics
%V 6
%@ 1461-1570
%C London
%I London Mathematical Society
%M RWTH-CONV-030604
%D 2003
%F PUB:(DE-HGF)16
%9 Journal Article
%U https://publications.rwth-aachen.de/record/152080