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…

Activities for Students appears five times each year in Mathematics Teacher, promoting student-centered activities that teachers can adapt for use in their own classroom. In the course of the activities presented here, students will "look for and make use of structure" by observing algebraic patterns in the power rule and "use…

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…

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.…

The objective of this research was to better understand the transfer of learning between different variations of pre-algebra problems. While the authors could have addressed a specific variation that might address transfer, they were interested in developing a general model of transfer, so we gathered data from multiple problem types and their…

Described is a programing application of the software, Mathematica, which allows students to explore the various cases involved in minimizing the sum of squares for the best fit of a regression line. Several examples are included with appropriate software commands. (JJK)

One of the modules in the course Food Chemistry at Wageningen University (Wageningen, The Netherlands) focuses on quantitative problem-solving skills related to chemical reactions. The intended learning outcomes of this module are firstly, to be able to translate practical food chemistry related problems into mathematical equations and to solve…

For the thirty-first year, the Research and Theory Division of the Association for Educational Communications and Technology (AECT) sponsored the publication of these Proceedings. Papers were presented at the annual AECT Convention in Orlando, Florida. This year's Proceedings has two sections--Section 1 includes research and development papers and…