Publication Date
| In 2025 | 0 |
| Since 2024 | 0 |
| Since 2021 (last 5 years) | 0 |
| Since 2016 (last 10 years) | 1 |
| Since 2006 (last 20 years) | 4 |
Descriptor
Source
| Australian Mathematics Teacher | 1 |
| International Educational… | 1 |
| International Journal for… | 1 |
| Journal of Education and… | 1 |
| PRIMUS | 1 |
| Teaching Children Mathematics | 1 |
Author
Publication Type
| Journal Articles | 5 |
| Guides - Classroom - Teacher | 3 |
| Reports - Descriptive | 2 |
| Reports - Research | 2 |
| Collected Works - Proceedings | 1 |
| Speeches/Meeting Papers | 1 |
Education Level
| Higher Education | 3 |
| Postsecondary Education | 3 |
| Elementary Education | 1 |
| High Schools | 1 |
| Junior High Schools | 1 |
| Middle Schools | 1 |
| Secondary Education | 1 |
Audience
| Teachers | 2 |
| Practitioners | 1 |
Location
| Afghanistan | 1 |
| Illinois (Chicago) | 1 |
| Nigeria | 1 |
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Direct linkAguilera-Venegas, Gabriel; Galán-García, José Luis; Galán-García, María Ángeles; Rodríguez-Cielos, Pedro – International Journal for Technology in Mathematics Education, 2015
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…
Descriptors: Mathematical Formulas, Problem Solving, Teaching Methods, Mathematical Logic
Download full textBandele, Samuel Oye; Adekunle, Adeyemi Suraju – Journal of Education and Practice, 2015
The study was conducted to design, develop and test a c++ application program CAP-QUAD for solving quadratic equation in elementary school in Nigeria. The package was developed in c++ using object-oriented programming language, other computer program that were also utilized during the development process is DevC++ compiler, it was used for…
Descriptors: Foreign Countries, Elementary School Mathematics, Elementary School Students, Elementary School Teachers
Love, Betty; Hodge, Angie; Corritore, Cynthia; Ernst, Dana C. – PRIMUS, 2015
The flipped classroom model of teaching can be an ideal venue for turning a traditional classroom into an engaging, inquiry-based learning (IBL) environment. In this paper, we discuss how two instructors at different universities made their classrooms come to life by moving the acquisition of basic course concepts outside the classroom and using…
Descriptors: College Mathematics, Mathematics Instruction, Blended Learning, Educational Technology
Peer reviewedArnold, Stephen; Taylor, James – Australian Mathematics Teacher, 1996
Discusses the Texas Instruments calculator the TI-92 and how it can be an effective tool in the mathematics classroom. Provides examples of combining the algebra capabilities of the calculator and Cabri-Geometry II with graphing, tables of values, statistics, programming, and a simple text editor to enhance mathematics instruction. (DDR)
Descriptors: Algebra, Calculators, Computer Software, Computer Uses in Education
Barnes, Tiffany, Ed.; Chi, Min, Ed.; Feng, Mingyu, Ed. – International Educational Data Mining Society, 2016
The 9th International Conference on Educational Data Mining (EDM 2016) is held under the auspices of the International Educational Data Mining Society at the Sheraton Raleigh Hotel, in downtown Raleigh, North Carolina, in the USA. The conference, held June 29-July 2, 2016, follows the eight previous editions (Madrid 2015, London 2014, Memphis…
Descriptors: Data Analysis, Evidence Based Practice, Inquiry, Science Instruction
Connell, Michael L. – 1995
This paper presents two examples in which technology, in this case a fairly sophisticated authoring system--ToolBook, was used as a tool to construct student understandings in mathematics. In doing so, students were able: (1) to successfully identify the variables (unknowns) and the information given (data) in the problem; and (2) to create…
Descriptors: Algebra, Authoring Aids (Programming), Concept Formation, Educational Technology
Peer reviewedClements, Douglas H.; Sarama, Julie – Teaching Children Mathematics, 1998
Uses three computer software programs to help students develop algebraic reasoning. Programs include spreadsheets, Logo programming language, and Teasers by Tobbs. (ASK)
Descriptors: Algebra, Computer Software, Computer Uses in Education, Educational Technology
