Computerwiskunde

MathCAD: Student Ed Disk

Richard B. Anderson, Anderson

Calculus projects with Maple: a tool, not an oracle

William C. Bauldry, Joseph R. Fiedler.

Algorithms and Computation: 11th International Conference, ISAAC 2000, Taipei, Taiwan, December 18-20, 2000. Proceedings (Lecture Notes in Computer Science)

D. T. Lee

Introduction to matrix computations

[by] G. W. Stewart.

Algorithms and complexity: third Italian conference, CIAC '97, Rome, Italy, March 12-14, 1997 : proceedings

Giancarlo Bongiovanni, Daniel Pierre Bovet, Giuseppe Di Battista (eds.).

Algorithms and Computation: 9th International Symposium, ISAAC'98, Taejon, Korea, December 14-16, 1998, Proceedings (Lecture Notes in Computer Science)

Kyung-Yong Chwa, Oscar H. Ibarra

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings (Lecture Notes in Computer Science)

Dexter Kozen

Discrete models.

Donald Greenspan

Symbolic computation and automated reasoning: the CALCULEMUS-2000 Symposium

edited by Manfred Kerber and Michael Kohlhase.

Maple V calculus labs

Abi Fattahi.