NotesFAQContact Us
Collection
Advanced
Search Tips
Publication Date
In 20250
Since 20240
Since 2021 (last 5 years)0
Since 2016 (last 10 years)2
Since 2006 (last 20 years)6
Descriptor
Programming6
College Mathematics4
Teaching Methods4
Computer Software3
Educational Technology3
Mathematical Concepts3
Mathematics Education3
Mathematics Instruction3
Problem Solving3
Technology Uses in Education3
Computer Graphics2
Engineering Education2
Mathematical Applications2
Mathematical Models2
Undergraduate Students2
Active Learning1
Algebra1
Computer Assisted Instruction1
Computer Managed Instruction1
Computer Uses in Education1
Creative Activities1
Discovery Learning1
Epidemiology1
Equations (Mathematics)1
Experimental Programs1
More ▼
Source
International Journal for…6
Author
Aguilera-Venegas, Gabriel2
Rodríguez-Cielos, Pedro2
Buteau, Chantal1
Galán-García, José L.1
Galán-García, José Luis1
Galán-García, María Á.1
Galán-García, María Ángeles1
Jerome, Lawrence1
Kaneko, Masataka1
Kitahara, Kiyoshi1
Kortenkamp, Ulrich1
Lobillo-Mora, Gema1
Maeda, Yoshifumi1
Marshall, Neil1
Martínez-del-Castillo, Javier1
Merino-Córdoba, Salvador1
Nakamura, Yasuyuki1
Padilla-Domínguez, Yolanda1
Rodríguez-Cielos, Ricardo1
Seshaiyer, Padmanabhan1
Solin, Pavel1
Takato, Setsuo1
Yamashita, Satoshi1
More ▼
Publication Type
Journal Articles6
Reports - Descriptive3
Reports - Research2
Guides - Classroom - Teacher1
Information Analyses1
Reports - Evaluative1
Education Level
Higher Education6
Postsecondary Education6
Audience
Teachers1
Location
Canada1
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Showing all 6 results Save | Export
Parametrization of Curves and Line Integrals with a CAS
Peer reviewed Peer reviewed
Direct linkDirect link
Aguilera-Venegas, Gabriel; Galán-García, José L.; Galán-García, María Á.; Lobillo-Mora, Gema; Martínez-del-Castillo, Javier; Merino-Córdoba, Salvador; Padilla-Domínguez, Yolanda; Rodríguez-Cielos, Pedro; Rodríguez-Cielos, Ricardo – International Journal for Technology in Mathematics Education, 2017
Programming with Computer Algebra Systems (CAS) has become an important tool as a support in Computer lectures in Mathematics subjects aimed at Engineering degrees. In this paper, the authors present their teaching experience within the concept "Line Integration" with the help of two specific CAS: DERIVE and MAXIMA. When introducing the…
Descriptors: Educational Technology, Technology Uses in Education, Programming, Computer Software
Enhancing Student Learning of Differential Equations through Technology
Peer reviewed Peer reviewed
Direct linkDirect link
Seshaiyer, Padmanabhan; Solin, Pavel – International Journal for Technology in Mathematics Education, 2017
In this work, we review and share some useful technology for mathematics educators that can help to enhance their pedagogical practices to motivate students to improve their further understanding of differential equations after an initial exposure to the topic in an undergraduate class. In particular, we present some innovative ways to employ…
Descriptors: Mathematics Education, Technology Uses in Education, College Mathematics, Undergraduate Students
KETCindy--Collaboration of Cinderella and KETpic Reports on CADGME 2014 Conference Working Group
Peer reviewed Peer reviewed
Direct linkDirect link
Kaneko, Masataka; Yamashita, Satoshi; Kitahara, Kiyoshi; Maeda, Yoshifumi; Nakamura, Yasuyuki; Kortenkamp, Ulrich; Takato, Setsuo – International Journal for Technology in Mathematics Education, 2015
Dynamic Geometry Software (DGS) is a powerful tool which enables students to move geometric objects interactively. Through experimental simulations with DGS, mathematical facts and background mechanisms are accessible to students. However, especially when those facts and mechanisms are complicated, it is not so easy for some students to record and…
Descriptors: Computer Software, Geometry, Technology Uses in Education, Educational Technology
Teaching Semantic Tableaux Method for Propositional Classical Logic with a CAS
Peer reviewed Peer reviewed
Direct linkDirect link
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
Generalised Assignment Matrix Methodology in Linear Programming
Peer reviewed Peer reviewed
Direct linkDirect link
Jerome, Lawrence – International Journal for Technology in Mathematics Education, 2012
Discrete Mathematics instructors and students have long been struggling with various labelling and scanning algorithms for solving many important problems. This paper shows how to solve a wide variety of Discrete Mathematics and OR problems using assignment matrices and linear programming, specifically using Excel Solvers although the same…
Descriptors: Mathematical Applications, Computer Software, Computer Assisted Instruction, Mathematics Instruction
Learning Mathematics by Designing, Programming, and Investigating with Interactive, Dynamic Computer-Based Objects
Peer reviewed Peer reviewed
Direct linkDirect link
Marshall, Neil; Buteau, Chantal – International Journal for Technology in Mathematics Education, 2014
As part of their undergraduate mathematics curriculum, students at Brock University learn to create and use computer-based tools with dynamic, visual interfaces, called Exploratory Objects, developed for the purpose of conducting pure or applied mathematical investigations. A student's Development Process Model of creating and using an Exploratory…
Descriptors: Mathematics Education, Mathematics Curriculum, Undergraduate Students, Investigations