Publication

Derivative-based subdivision in multi-dimensional verified Gaussian quadrature

Lang, Bruno

Wien [u.a.] : Springer (2001)
Contribution to a book

In: Symbolic algebraic methods and verification methods / Götz Alefeld ... (eds.)
Page(s)/Article-Nr.: 145-152

Institutions

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

Identifier