Problems and methodologies in mathematical software production : international seminar held at Sorrento, Italy, November 3-8, 1980 /

Published 1982

Using sophisticated models in resolution theorem proving /

by Sandford, David M.
Published 1980

Accurate scientific computations : symposium, Bad Neuenahr, FRG, March 12-14, 1985 : proceedings /

Published 1986

Design and implementation of symbolic computation systems : International Symposium, DISCO '92, Bath, U.K., April 13-15 1992 : proceedings /

Published 1993

Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 1993 : proceedings /

Published 1993

Ray shooting, depth orders and hidden surface removal /

by Berg, Mark de
Published 1993

Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings /

Published 1989

Design and implementation of symbolic computation systems : International Symposium DISCO '90, Capri, Italy, April 10-12, 1990 : proceedings /

Published 1990

A computer in the mathematics classroom /

by Bairstow, R. (Roland), 1949-
Published 1991

Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings /

Published 1996

Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings /

Published 2004

Higher levels of thinking in mathematics using spreadsheets : a case study : submitted as partial fulfillment for the Diploma in Information [and Communication] Technology in Educa...

by Walker, Cathy, 1960-
Published 2002