SCE 2006 - International Seminar on

Symbolic Computation in Education

Tentative Schedule

Wednesday 12th April

09:00-09:10 Welcome
09:10-10:00 Main Talk: Visual Mathematics via Computer-based Guided Active Discovery
Jerry Uhl and Debra Woods (University of Illinois at Urbana-Champaign, USA)
10:00-10:40 How to Use Technology to Support Mathematics Learning?
Jian-Xiang Lin (Peking University, China)
10:40-11:10 Tea Break
11:10-11:50 The Impact of Technology in Topics Foundational to Calculus at the Secondary Level
Antonio R. Quesada (University of Akron, USA)
11:50-12:30 Dynamic Geometry from 2D to 3D: Specific Issues
Jean-Marie Laborde (Cabrilog - Université Joseph Fourier Grenoble, France)
12:30-14:00 Lunch
14:00-14:40 A Free Version of SSP
Jingzhong Zhang (Guangzhou University, China)
14:40-15:20 Applying Z+Z Super Sketchpad in the National Math Curriculum Reform
Pengyuan Wang (Affiliated High School of Peking University, China)
15:20-15:45 Symbolic Computation Platform on the Web
Hongguang Fu and An Qin (Chinese Academy of Sciences, China)
15:45-16:15 Tea Break
16:15-16:40 The Initial Design of Mathematics Assessment Grid
Wei Su, Guanyu Li, Yanjuan Zhao, and Lian Li (Lanzhou University, China)
16:40-17:05 Modeling and Analysis for the Educational Software Quality Hierarchy Triangle
Haiguang Fang (Chinese Academy of Sciences, China)
17:05-17:30 Integrating Rule-Based and Input-Based Approaches for Better Error Diagnosis in Expression Manipulation Tasks
Rein Prank (University of Tartu, Estonia)
18:00- Reception Dinner

Thursday 13th April

09:00-09:50 Main Talk: Proving Inequalities with Little Mathematics
Lu Yang (Guangzhou University, China)
09:50-10:30 Bringing More Intelligence to Dynamic Geometry by Using Symbolic Computation
Francisco Botana (University of Vigo at Pontevedra, Spain)
10:30-11:00 Tea Break
11:00-11:40 Combining CAS and DGS - Towards Algorithmic Thinking
Ulrich Kortenkamp (University of Education Schwäbisch Gmünd, Germany)
11:40-12:20 GEOTHER, GOOL, and Beyond
Dongming Wang (Beihang University, China and UMPC-CNRS, France)
12:30-14:00 Lunch
14:00-14:50 Main Talk: Computer Algebra Systems for Teaching Students and Learning Mathematics
Bernhard Kutzler (Austrian Center for Didactics of Computer Algebra, Austria)
14:50-15:30 Hand-held Technology in Secondary Mathematics Education
Barry Kissane (Murdoch University, Australia)
15:30-16:00 Tea Break
16:00-16:40 MathXpert, Software for Learning Algebra and Calculus
Michael Beeson (San Jose State University, USA)
16:40-17:05 Exploiting E-learning to Develop IT (Technical) Skills and Its Challenges
Uthaya Prakash Santhanam (Beijing Inti Management College, China)
17:05-17:30 Analysis of CAI for Geography
Peng Chen, Haiguang Fang, and Shizhong Zhao (Chinese Academy of Sciences, China)
18:30- Seminar Dinner

Friday 14th April

09:00-09:40 Conjecturing Trigonometric Formulas via a Computer Algebra System
Tilak de Alwis (Southeastern Louisiana University, USA)
09:40-10:05 A New Toolkit for Simplifying Trigonometric Expressions
Xiuqin Zhong (Chinese Academy of Sciences, China)
10:05-10:30 A New Approach of On-line Learning: Research and Reflection to On-line Game Based Learning of Space Geometry in Primary School
Lu Wang and Hui Yang (Capital Normal University, China)
10:30-11:00 Tea Break
11:00-11:25 The Electronic Geometry Textbook Project
Xiaoyu Chen (Beihang University, China)
11:25-11:50 Solving the Heat and Wave Equations with the (Fast) Discrete Fourier Transform
Alkiviadis G. Akritas, Jerry Uhl, and Panagiotis S. Vigklas (University of Thessaly, Greece and University of Illinois at Urbana-Champaign, USA)
11:50-12:15 Automated Generation of Readable Proofs for a Class of Limits of Sequences and Functions
Jing Ruan and Zhengyi Lu (Wenzhou University, China)
12:30-14:00 Lunch
14:00-14:50 Main Talk: Doing Mathematics with Mathematica
Falai Chen (University of Science and Technology of China, China)
14:50-15:30 Mathematics Experiments - Learning and Discovering Mathematics with the Help of Computers
Shangzhi Li (Beihang University, China)
15:30-16:00 Tea Break
16:00-16:40 Computer Algebra Meets an Ancient Egyptian Problem
Yiu-Kwong Man (Hong Kong Institute of Education, China)
16:40-17:20 CAS in an Applied College Algebra Course
Robert Mayes (West Virginia University, USA)
17:20-17:30 Closing