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

这个项目涉及到Matheagist的商业化潜力的探索，这是一个可扩展的数字数学导师，为4-12年级的学生提供类似于人类导师的一对一互动，但没有成本。数学家的动机是这样一个前提，即在发展学生的数学推理技能时，教一步一步的数学推理过程比简单地强调最终结果要重要得多。数学家是一个自动化的套件，它分析用户的数学解决方案的每一个步骤，而不会减慢用户的速度。数学家可能真的会让它们加速。通过分析每个人一步一步的成功和失败，数学家无缝地评估了学生的优势和劣势。数学家是一位私人家教，让数学变得迷人和负担得起。数学家应用自动演绎，结合并行计算哲学(也称为人机共生)来配置符号计算，以适应人类的数学行为。它使用空间用户界面来提高人与计算机之间的通信速度，从而实现两者之间的并行计算。数学大师结合了现实生活中的数学应用例子，这激励学生通过看到它的真实背景来学习数学。这种个性化教育的方法确保了学生接受的课程和练习处于适合学生当前能力的水平，而不会有可能干扰学生兴趣的激进测试。数学大师支持所有具有群论或线性代数结构的数学主题；包括所有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.