Presents ways of using theories of knowing and learning to inform use of computer algebra systems (CAS) in school and early college mathematics. Describes the role of macroprocedures and microprocedures, process-object distinctions, and the movement towards more formal ways of expressing mathematical ideas. Discusses how these theories along with perspectives on algebra can impact pedagogical approaches to algebra instruction. (Author/MM)