Publication Date
| In 2026 | 0 |
| Since 2025 | 0 |
| Since 2022 (last 5 years) | 0 |
| Since 2017 (last 10 years) | 1 |
| Since 2007 (last 20 years) | 2 |
Descriptor
| Mathematical Formulas | 2 |
| Semantics | 2 |
| Teaching Methods | 2 |
| Abstract Reasoning | 1 |
| Algebra | 1 |
| Calculus | 1 |
| Computer Uses in Education | 1 |
| Concept Formation | 1 |
| Correlation | 1 |
| Educational Technology | 1 |
| Engineering Education | 1 |
| More ▼ | |
Author
| Aguilera-Venegas, Gabriel | 1 |
| Bayaga, Anass | 1 |
| Bossé, Michael J. | 1 |
| DeMarte, Ashley M. | 1 |
| Galán-García, José Luis | 1 |
| Galán-García, María Ángeles | 1 |
| Lynch-Davis, Kathleen | 1 |
| Rodríguez-Cielos, Pedro | 1 |
Publication Type
| Journal Articles | 2 |
| Guides - Classroom - Teacher | 1 |
| Reports - Descriptive | 1 |
| Reports - Research | 1 |
Education Level
| Grade 11 | 1 |
| High Schools | 1 |
| Higher Education | 1 |
| Postsecondary Education | 1 |
| Secondary Education | 1 |
Audience
| Teachers | 1 |
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewed
Direct linkBossé, Michael J.; Bayaga, Anass; Lynch-Davis, Kathleen; DeMarte, Ashley M. – International Journal for Mathematics Teaching and Learning, 2021
In the context of an analytical geometry, this study considers the mathematical understanding and activity of seven students analyzed simultaneously through two knowledge frameworks: (1) the Van Hiele levels (Van Hiele, 1986, 1999) and register and domain knowledge (Hibert, 1988); and (2) three action frameworks: the SOLO taxonomy (Biggs, 1999;…
Descriptors: Geometry, Mathematics Instruction, Teaching Methods, Taxonomy
Aguilera-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
