Publication

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

Institutions

  • Department of Computer Science [120000]
  • Chair of High Performance Computing (Computer Science 12) [123010]