Real_Impl Dependents

Complex Bounded Operators

by José Manuel Rodríguez Caballero and Dominique Unruh

QR Decomposition

by Jose Divasón and Jesús Aransay