AGILMAT - a Web Application for Math Education (original) (raw)
Related papers
The design and implementation of a tutorial program to perform symbolic mathematics
1983
The purpose of this thesis is to design and implement a program that could be used for a drill in symbolic mathematics. The scope of the program with respect to the range of problems that it solves is limited to selected types from elementary algebra, trigonometry, differential calculus, and integral calculus. The program is designed, not only to give solutions (answers), but also to provide several of the intermediate steps leading to the final result. FORMAC'73 and PL/1 are used to implement the program. FORMAC'73 is a system and a language for manipulating mathematical expressions, symbolically. The facilities of PL/1 are available for program structure, loop control, testing, input and output operations, and manipulating the strings so as to get the intermediate steps. The program is designed to provide supplementary assistance to give students drill, practice, and review several specific topics in the stated areas. The program may also be used by instructors to check or to provide answers to particular problems, sav for an examination or homework. The program does not attempt to diagnose the student's difficulties. The main accomplishments of this paper will be to show the potential of using FORMAC73 with the existing facilities at Virginia Commonwealth University (VCU) to develop an extensive tutorial drill; particularly in arithmetic and algebra. The paper will also show that it is possible to develop a comprehensive CAl package in symbolic mathematics by using existing symbolic mathematics systems.-vii-INPUT TO ltFA FOBIIAC PREFROC!SSOR • VfRSION 3-G�I, tfCI�Iilil 19"16
2018
The article describes systems of computer mathematics for educational purposes with intelligent properties oriented to support practical activities of users students and teachers. Systems of computer mathematics for educational purposes are oriented, first of all, in support of practical activity of users students and teachers for solving educational mathematical tasks. The article presents mathematical models and methods for solving algebra tasks in systems of computer mathematics for educational purposes. In the work: functional requirements for activity environments supporting the solving of learning tasks in algebra in systems of computer mathematics for educational purposes are developed; the mathematical model of learning mathematical task is defined within the framework of the mathematical model of the training module and the construction of the corresponding algorithms of computer algebra; mathematical models of methods for supporting the solving of learning mathematical tas...
A General Model of Algebraic Problem Solving for the Design of Interactive Learning Environments
Mathematical Problem Solving and New Information Technologies, 1992
The design of Interactive Learning Environments (ILE) in problem solving requires the modelling of the knowledge domain for the production of examples and explanations and for the control and guiding of the student's activity. Many problems are met in this work: some of them, like finding precise definitions of words, objects and concepts of the domain, are classic problems in Artificial Intelligence (AI) but need a didactic approach in this context; others, like taking into account an evolution of the reference knowledge (objects, concepts, strategies, etc.) are more specific to learning contexts. In this paper, we consider problems that are solved by successive transformations of algebraic expressions, like simplification of expressions, factorization of polynomials, equation solving, calculus of derivatives, calculus of primitives, etc. We propose a general model for this class of problems as a framework for the design of ILEs in algebra. The APLUSIX system, an ILE in the domain of factorization of polynomials, is described as an example of development within that framework.
Supporting algorithmic approach to basic school mathematics by programming tasks
2020
The paper describes some findings from a programming task book project. The book contains tasks on arithmetic (operations, calculating the value of numeric expressions, common fractions etc), number theory (factors, prime numbers, GCD, LCM, Euclid algorithm), constructions in planar geometry, algebra (linear equations and inequalities, systems of linear equations, polynomials), some types of nonroutine tasks. The paper also brings up the necessary information processing that is not explicit when mathematical tasks are solved by paper-and-pencil method: parsing of algebraic expressions, finding the coordinates of intersection points by planar constructions, programming of algorithms for the tasks that appear in textbooks only in the form of one single numerical example. Some warnings are given about the impact of "brute force" computer solutions of reasoning-oriented tasks.
Automatically generating algebra problems
2012
We propose computer-assisted techniques for helping with pedagogy in Algebra. In particular, given a proof problem p (of the form Left-hand-side-term= Righthand-side-term), we show how to automatically generate problems that are similar to p. We believe that ...
Problem solving with an Advanced Computing Environment to learn Mathematics
EMEMITALIA 2019, 2019
By solving contextualized problems, students can gain tools to investigate and explain phenomena of the world around us, favoring the development of a conscious citizenship. In our constantly evolving modern society, it is essential for students to acquire digital skills. Therefore, it is even more important to solve problems through technologies, such as an ACE (Advanced Computing Environment). This allows to perform numerical and symbolic computations, to create 2 and 3 dimensions graphs, to write procedures and to program interactive components in order to generalize the resolution. In this paper, the workshop "Problem Solving with an ACE" is presented, which consisted of 4 two-hour long meetings, and involved twenty-four 11 th grade students of the upper secondary school "Galileo Ferraris" of Turin. It took place in a computer lab, during curricular hours. Disciplinary topics treated were agreed with the Mathematics teacher of the class, allowing the insertion of the workshop hours in the normal lesson planning. The goal of this paper is to discuss an example of a possible design of problem solving activities with the use of an ACE to teach Mathematics, which could be proposed to students throughout the school year.
A taxonomy of software for mathematics instruction
Contemporary Issues in Technology …, 2005
The potential to use mathematics so ftware to enhance student thinking and development is discussed and a taxonomy of software categories is outlined in this paper. Briefly, there are five categories of tool-based mathematics software that can be used fruitfully in a mathematics ...
Implementation Strategies for equation Guru, a User Friendly Intelligent Algebra Tutor
Citeseer
We describe the implementation strategies of an intelligent algebra tutor, the "Equation Guru" (EG), which is designed to help students learn the concepts of equation solving with one unknown. EG provides a highly interactive and entertaining learning environment through the use of Microsoft Agents. It consists of two main parts. The first is the "Tutorial" part where students guided through the steps of solving equations with one unknown. The second, "Drill and Practice" part gives them a chance to practice their skills in equation solving. In this part, equations are automatically generated by EG, and presented to the student. EG monitors the student's performance and adjusts the difficulty level of the equations accordingly.
ActiveMath: An Intelligent Tutoring System for Mathematics
ActiveMath is a web-based intelligent tutoring system for mathematics. This article presents the technical and pedagogical goals of ActiveMath, its principles of design and architecture, its knowledge representation, and its adaptive behavior. In particular, we concentrate on those features that rely on AI-techniques.
A CLP-based tool for computer aided generation and solving of maths exercises
2003
We propose an interesting application of Constraint Logic Programming to automatic generation and explanation of mathematics exercises. A particular topic in mathematics is considered to investigate and illustrate the advantages of using the CLP paradigm. The goal is to develop software components that make the formulation and explanation of exercises easier. We describe exercises by grammars which enables us to get specialized forms almost for free, by imposing further conditions through constraints. To de.