Computer aided proofs in analysis
Meyer, Kenneth R.
Computer aided proofs in analysis by Kenneth R. Meyer and Dieter S. Schmidt - Springer 1990
Computer aided proofs in analysis by Kenneth R. Meyer and Dieter S. Schmidt - Springer 1990
