'Computer assisted research mathematics' presentation slideshows

Digitally-assisted Discovery and Proof

ICMI Study 19 Proof and Proving in Mathematics Education (National Taiwan Normal University, May 10-15, 2009). Jonathan Borwein, FRSC www.cs.dal.ca/~jborwein Canada Research Chair in Collaborative Technology Laureate Professor University of Newcastle, NSW.

639 views • 52 slides

Inverse Symbolic Calculation: symbols from numbers

Inverse Symbolic Calculation: symbols from numbers. Jonathan Borwein, FRSC www.carma.newcastle.edu.au/~jb616 Laureate Professor University of Newcastle, NSW Director , Centre for Computer Assisted Research Mathematics and Applications CARMA. Revised 26-09-09.

555 views • 37 slides

Set the Default to Reproducible

Jonathan Borwein, FRSC FAAAS FAA www.carma.newcastle.edu.au/jon Director CARMA (Computer Assisted Research Mathematics and Applications) Laureate Professor University of Newcastle , NSW. Set the Default to Reproducible.

346 views • 22 slides

JMM Special Session

282 views • 20 slides