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

London / London Mathematical Society (2003) [Fachzeitschriftenartikel]

LMS journal of computation and mathematics
Band: 6

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Krivsky, S.
Lang, B.

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-030604