Context

Context of Scientific computing with automatic result verification, edited by E. Adams, U. Kulisch, (electronic resource/)
Processing Feedback ...