[angersock]

I'm not saying that Matlab, Maple, and LaTeX have the whole "How do we represent numbers to computers well?" thing down, but we sort of do. A simple subset of LaTeX for use in classrooms could be useful (something like MathML or the like).

"Pseudocode would actually be the best way to transmit this image ."

I wholeheartedly agree. A graphics routine or a LOGO program would do a great job of describing that.

The author seems to have an irrational dislike of people trying to use computers in this fashion, which I find strange. I certainly agree that something like a geometric proof (in absence of a good modeling language) is difficult to automatically check, but at the same time I question whether or not the human element would be any more useful here. Math teachers, especially at lower levels, are not infallible.

I would almost venture that a better test, one that examines both critical thinking and ability to logic about a problem, would be a battery of small programming problems to solve some kind of geometric or graphical challenge. It's a bit all-or-nothing, but it would show that the student can both interpret a problem and also describe the steps to solving it.