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

Krivsky, S.; Lang, B.

London : London Mathematical Society (2003)
Journal Article

In: LMS journal of computation and mathematics
Volume: 6