I-Corps: Mathemagician - a scalable digital math tutoring service.

该项目涉及探索mathe魔术师的商业化潜力，这是一个可扩展的数字数学导师，为4-12年级的学生提供类似于人类导师的一对一互动，但没有成本。在培养学生的数学推理技能时，教授循序渐进的数学推理过程比简单地强调最终结果要重要得多，这是mathemagic的动机前提。mathemagic是一个自动化套件，可以分析用户数学解决方案的每一步，而不会减慢用户的速度。数学魔术师实际上可能会加快他们的速度。通过分析个人一步一步的成功和失败，mathe魔术师无缝地评估学生的长处和弱点。mathe魔术师是一个个人导师，使数学参与和负担得起。mathemagic应用自动演绎，结合并行计算哲学（也称为人机共生），配置符号计算以适应人类的数学行为。它使用空间用户界面来提高人与计算机之间的通信速率，实现两者之间的并行计算。mathe魔术师结合了现实生活中的数学应用实例，通过看到它的真实背景来激励学生学习数学。这种个性化教育的方法确保学生接受的课程和实践符合学生当前能力的水平，而没有可能干扰学生兴趣的激进测试。mathemagic支持所有具有群论或线性代数结构的数学主题；包括所有K-12数学主题，微积分等。在I-Corps项目期间，该团队将专注于探索用户社区以及收集学生表现数据，以支持他们的教育可信度。此外，团队亦会积极接触本地学校，与富有创新精神的教师紧密合作。

This project involves the exploration of the commercialization potential of Mathemagician, a scalable digital math tutor that provides grade 4-12 students the one-on-one interaction similar to human tutors but without the cost. Mathemagician is motivated by the premise that teaching step-by-step mathematical reasoning processes is far more important than simply emphasizing the final result when developing a student's mathematical deduction skills. Mathemagician is an automated suite that analyzes every step of the user's math solution, without slowing down the users. Mathemagician may actually speed them up. By analyzing the individual step-by-step successes and failures, Mathemagician seamlessly assesses the student's strengths and weaknesses. Mathemagician is a personal tutor that makes math engaging and affordable. Mathemagician applies automated deduction ,combined with a parallel computing philosophy (also known as man-computer symbiosis), to configure symbolic computing to suit human math-behavior. It uses a spatial user interface to boost the communication rate between human and computer, enabling parallel computing between the two. Mathemagician incorporates real-life math application examples, which motivates students to learn math by seeing its true context. This approach to personalized education ensures the lessons and practices a student receives are at a level befitting the student's current capability, without aggressive testing which may interfere with the student's interest. Mathemagician supports all math topics that have a group theory or linear algebra structure; including all K-12 math topics, calculus, and beyond. During the I-Corps program, the team will focus on exploring user communities as well as collecting student performance data to support their educational credibility. In addition, the team will actively approach local schools to closely collaborate with innovative teachers.