# Ugly Mathematics: Why Do Mathematicians Dislike Computer-Assisted Proofs?

## Related Articles

- Assessment, Blending and Creativity: The ABC of Technology in Mathematics Teaching. McCabe, Michael // International Journal for Technology in Mathematics Education;2007, Vol. 14 Issue 1, p54
Recent papers at ICTMT conferences have highlighted different aspects of technology in mathematics teaching: computer based learning with computer algebra (1997), on-line assessment (1999), computer assisted assessment for higher level learning (2001) and interactive classrooms (2003). Blended...

- RAPID PROTOTYPED TEACHING MODELS FOR VOLUMES OF REVOLUTION AND VOLUMES BY CROSS-SECTION IN COLLEGE CALCULUS. Kolpas, Sid; Ferguson, Tom // Mathematics & Computer Education;Fall2007, Vol. 41 Issue 3, p244
The article provides rapid prototyped teaching models for volumes of revolution and volumes by cross-section in college calculus. Using the Computer Assisted Drafting/Computer Assisted Manufacturing (CAD/CAM) process, the models were created to give students with a hands-on understanding of the...

- Computer Tutorials to Visualise Symmetry in Introductory Group Theory. Wick, Darren D. // International Journal for Technology in Mathematics Education;2007, Vol. 14 Issue 1, p50
The author has developed five interactive computer tutorials that introduce the basic ideas of group theory within the context of symmetry groups. The tutorials are interactive and employ moving images that describe the motions of various geometric figures. The user is asked questions designed...

- Visualising solutions of systems of equations through Mathematica. Ghosh, Jonaki B. // Australian Senior Mathematics Journal;2003, Vol. 17 Issue 2, p13
Presents an article about the experiences of a mathematics teacher in teaching with the help of computer algebra systems to achieved balance between the development of procedural and conceptual knowledge. Aim laboratory sessions; Integration of the use of computer algebra systems with by-hand...

- Dawn of Science. Padmanabhan, T. // Resonance: Journal of Science Education;Feb2012, Vol. 17 Issue 2, p106
Foundations of calculus were developed by a school of mathematicians in Kerala during 1400-1600, years before similar developments took place in the west.

- Connecting theory and practice: Results from the teaching of Logo. Sutherland, Rosamund // Educational Studies in Mathematics;Jan1993, Vol. 24 Issue 1, p95
Deals with pupils' learning of the concept of variable in the Logo programming environment and how this relates to teaching. The Logo maths project; Peer group discussion in a computer environment; Project AnA.

- Angle and rotation: Effects of different types of feedback on the quality of response. Simmons, Malcom; Cope, Peter // Educational Studies in Mathematics;Mar1993, Vol. 24 Issue 2, p163
Compares the levels of response to angle/rotation problems presented on screen using a Logo microworld with the levels of response to similar problems presented on paper. Research background; Nature of the study; Paper tests; Computer tests; Data collection and analysis; Results and discussion.

- Editorial. Edwards, Julie-Ann; Wright, David // Micromath;Summer2003, Vol. 19 Issue 2, p2
Editorial. Introduces a series of articles the use of information and communications technologies in the study and teaching of mathematics. Use of the Internet in the classroom; Software packages; Role of animation as a tool to improve understanding of trigonometric functions.

- MATH ONLINE. Butler, Douglas // Micromath;Summer2003, Vol. 19 Issue 2, p7
Presents activities designed to enrich and stimulate pupils' knowledge of mathematics using the Internet. Definition of mathematics; Fibonacci sequence and nature; Fractals.