Mathematical formulae are information objects that can be entered in a computer, visualized, and evaluated. Thus, by the majority of (mostly occasional) users it is also expected that they are transferable through the simple copy-paste procedure. This transfer is particularly interesting when users are involved in tasks that span different…

We present a geometrical investigation of the process of creating an infinite sequence of triangles inscribed in a circle, whose areas, perimeters and lengths of radii of the inscribed circles tend to a limit in a monotonous manner. First, using geometrical software, we investigate four theorems that represent interesting geometrical properties,…

Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check the validity of a formula. It is a very well-known problem which is decidable but co-NP-complete. There are many algorithms for this problem. In this paper, an educationally oriented implementation of Semantic Tableaux method is described. The program has…

In two experiments, participants judged the average numerosity between two sequentially presented dot patterns to perform an approximate arithmetic task. In Experiment 1, the response was given on a 0-20 numerical scale (categorical scaling), and in Experiment 2, the response was given by the production of a dot pattern of the desired numerosity…

The availability of sophisticated computer programs such as "Wolfram Alpha" has made many problems found in the secondary mathematics curriculum somewhat obsolete for they can be easily solved by the software. Against this background, an interplay between the power of a modern tool of technology and educational constraints it presents is…

University of Chicago School Mathematics Project (UCSMP) Algebra is a one-year course covering three primary topics: (1) linear and quadratic expressions, sentences, and functions; (2) exponential expressions and functions; and (3) linear systems. Topics from geometry, probability, and statistics are integrated with the appropriate algebra.…

We explore how curvature and torsion determine the shape of a curve via the Frenet-Serret formulas. The connection is made explicit using the existence of solutions to ordinary differential equations. We use a paperclip as a concrete, visual example and generate its graph in 3-space using a CAS. We also show how certain physical deformations to…

Discusses the use of the recursive method to permutations of n objects and a problem making c cents in change using pennies and nickels when order is important. Presents a LOGO program for the examples. (YP)

Listed are three activities that illustrate using a spreadsheet as a problem-solving tool and for developing an understanding of relationships between variables. Each activity includes objective, procedure, example spreadsheet, and extra challenges. (KR)

Describes two chemistry computer programs: (1) "Eureka: A Chemistry Problem Solver" (problem files may be written by the instructor, MS-DOS 2.0, IBM with 384K); and (2) "PC-File+" (database management, IBM with 416K and two floppy drives). (MVL)

This practicum describes a computer assisted instructional (CAI) program written in the computer language BASIC. This computer program was designed to help 11th and 12th grade algebra students (n=15) better understand the concept of linear equations. The program has three sections: the first is a tutorial, the second section gives the student the…

Describes two software programs for the Apple II series and TRS-80 Models III and IV: (1) "Personal Energy Inventory" (grades 9-12, records and manages data, not considered user friendly); (2) "Energy Conservation" (grades 7-12, aids in converting and problem solving, uses drill and practice). (MVL)

Problems ask students to calculate the pressure against a billboard in high winds and the velocity of water flowing from a reservoir through a cylindrical pipe. Problem solutions incorporate computer tools such as spreadsheets. (MDH)

This document contains the second volume of the proceedings of the 29th Conference of the International Group for the Psychology of Mathematics Education. Conference papers are centered around the theme of "Learners and Learning Environments." This volume features 43 research reports by presenters with last names beginning between Adl…