h1

h2

h3

h4

h5
h6
TY  - JOUR
AU  - Krivsky, S.
AU  - Lang, B.
TI  - Verified computation of higher-dimensional convex hulls and the solution of linear systems
JO  - LMS journal of computation and mathematics
VL  - 6
SN  - 1461-1570
CY  - London
PB  - London Mathematical Society
M1  - RWTH-CONV-030604
PY  - 2003
LB  - PUB:(DE-HGF)16
UR  - https://publications.rwth-aachen.de/record/152080
ER  -