Verified computation of higher-dimensional convex hulls and the solution of linear systems

London / London Mathematical Society (2003) [Journal Article]

LMS journal of computation and mathematics
Volume: 6

Authors

Selected Authors

Krivsky, S.
Lang, B.

Identifier

  • REPORT NUMBER: RWTH-CONV-030604