公开(公告)号：US20090018979A1

公开(公告)日：2009-01-15

申请号：US11776565

申请日：2007-07-12

Applicant: Jinsong Yu ,  Seth R. Atkinson ,  Luke Kelly ,  William B. Kunz ,  Larry J. Israel ,  Xin Li

Inventor： Jinsong Yu ,  Seth R. Atkinson ,  Luke Kelly ,  William B. Kunz ,  Larry J. Israel ,  Xin Li

IPC: G06F15/18 ,  G06F3/048 ,  G09B23/02

CPC classification number: G09B7/02 ,  G09B19/025

Abstract: A problem checker architecture that monitors user progress during a problem-solving process and assists the user through the process (e.g., when requested) using common human methods of solving the problem. Assistance can be in the form of detecting errors during the process, and providing context-sensitive help information when the user gets stuck or makes a mistake. The problem checker can walk the user through the process of solving a math problem one step at a time allowing the user to learn to solve math problems according to a number of different methods. Rather than simply calculating and displaying the answer, the problem checker allows the user to attempt to solve math problems, providing direction only when asked and correction only when required. The problem checker can recognize multiple solution methods for many common math problems and guide the user to the solution via any of the methods.

Abstract translation: 一种在问题解决过程中监视用户进度的问题检查器体系结构，并且通过使用常见的解决问题的人的方法来帮助用户完成该过程（例如，当被请求时）。 援助可以是在过程中检测错误的形式，并且在用户被卡住或犯错误时提供上下文相关的帮助信息。 问题检查器可以使用户逐步解决数学问题的过程，一次允许用户根据多种不同的方法学习解决数学问题。 问题检查器不是简单地计算和显示答案，而是允许用户尝试解决数学问题，仅在需要时询问和更正方面提供方向。 问题检查器可以识别许多常见数学问题的多种解决方法，并通过任何方法指导用户解决方案。

公开(公告)号：US08078953B2

公开(公告)日：2011-12-13

申请号：US11776566

申请日：2007-07-12

Applicant: William B Kunz ,  Xin Li ,  Luke Kelly ,  Jinsong Yu ,  Seth R Atkinson ,  Murray Sargent

Inventor： William B Kunz ,  Xin Li ,  Luke Kelly ,  Jinsong Yu ,  Seth R Atkinson ,  Murray Sargent

IPC: G06F17/00

CPC classification number: G06F17/215

Abstract: Architecture for a word processing application that facilitates operating on mathematical symbols, expressions, and/or equations input to a word processing document, and returning results back to the document. User input to the document in the form of math symbols, expressions or equations is transformed into a format for processing by a math engine. The engine returns one or more operations to the user that can be performed on the input, including calculating mathematical solutions, graphing equations and viewing steps to solving math problems. A user interface allows the user choose from the possible operations and to interactively manipulate input and graphs in the word application. The results can be inserted directly into the document and also be graded automatically.

Abstract translation: 用于文字处理应用程序的体系结构，便于操作输入到文字处理文档的数学符号，表达式和/或方程，并将结果返回到文档。 以数学符号，表达式或方程式的形式将文档的用户输入转换为数学引擎处理的格式。 引擎可以向可以对输入执行的用户返回一个或多个操作，包括计算数学解，绘图方程和查看步骤来解决数学问题。 用户界面允许用户从可能的操作中进行选择并交互地操纵单词应用程序中的输入和图形。 结果可以直接插入到文档中，也可以自动分级。

公开(公告)号：US07495666B2

公开(公告)日：2009-02-24

申请号：US11321550

申请日：2005-12-29

Applicant: Jinsong Yu ,  Seth R. Atkinson ,  William Ben Kunz

Inventor： Jinsong Yu ,  Seth R. Atkinson ,  William Ben Kunz

IPC: G06T11/20

CPC classification number: G06T11/206

Abstract: Mathematical expressions and functions are graphed using a computer implemented method that automatically determines an appropriate graph range. One implementation of the method begins with determining an initial variable seed range. A number of points within this seed range are randomly selected. The method determines whether the selected points correspond to the mathematical expression (i.e., whether they produce valid results when the expression is evaluated at each point). When the selected points produce valid results, the points can be used to generate and display a graph of the mathematical expression on a user display device, with a graph range based on the seed range. If not, the variable seed range can be expanded until a predetermined number of the selected points correspond to the mathematical expression, so that a graph of the mathematical expression can be generated and displayed.

Abstract translation: 使用计算机实现的方法绘制数学表达式和函数，该方法可自动确定适当的图形范围。 该方法的一个实施方式是从确定初始变量种子范围开始。 随机选择此种子范围内的多个点。 该方法确定所选择的点是否对应于数学表达式（即，当在每个点评估表达式时是否产生有效结果）。 当所选择的点产生有效结果时，这些点可用于生成和显示用户显示设备上的数学表达式的图形，其中基于种子范围的图形范围。 如果不是，则可以扩展可变种子范围直到所选择的点的预定数量对应于数学表达式，使得可以生成和显示数学表达式的图形。

公开(公告)号：US07752148B2

公开(公告)日：2010-07-06

申请号：US11776565

申请日：2007-07-12

Applicant: Jinsong Yu ,  Seth R. Atkinson ,  Luke Kelly ,  William B. Kunz ,  Larry J. Israel ,  Xin Li

Inventor： Jinsong Yu ,  Seth R. Atkinson ,  Luke Kelly ,  William B. Kunz ,  Larry J. Israel ,  Xin Li

IPC: G06F15/18 ,  G06F3/048 ,  G09B23/02

CPC classification number: G09B7/02 ,  G09B19/025

Abstract: A problem checker architecture that monitors user progress during a problem-solving process and assists the user through the process (e.g., when requested) using common human methods of solving the problem. Assistance can be in the form of detecting errors during the process, and providing context-sensitive help information when the user gets stuck or makes a mistake. The problem checker can walk the user through the process of solving a math problem one step at a time allowing the user to learn to solve math problems according to a number of different methods. Rather than simply calculating and displaying the answer, the problem checker allows the user to attempt to solve math problems, providing direction only when asked and correction only when required. The problem checker can recognize multiple solution methods for many common math problems and guide the user to the solution via any of the methods.

Abstract translation: 一种在问题解决过程中监视用户进度的问题检查器体系结构，并且通过使用常见的解决问题的人的方法来帮助用户完成该过程（例如，当被请求时）。 援助可以是在过程中检测错误的形式，并且在用户被卡住或犯错误时提供上下文相关的帮助信息。 问题检查器可以使用户逐步解决数学问题的过程，一次允许用户根据多种不同的方法学习解决数学问题。 问题检查器不是简单地计算和显示答案，而是允许用户尝试解决数学问题，仅在需要时询问和更正方面提供方向。 问题检查器可以识别许多常见数学问题的多种解决方法，并通过任何方法指导用户解决方案。

公开(公告)号：US20090019099A1

公开(公告)日：2009-01-15

申请号：US11776566

申请日：2007-07-12

Applicant: William B. Kunz ,  Xin Li ,  Luke Kelly ,  Jinsong Yu ,  Seth R. Atkinson ,  Murray Sargent

Inventor： William B. Kunz ,  Xin Li ,  Luke Kelly ,  Jinsong Yu ,  Seth R. Atkinson ,  Murray Sargent

IPC: G06F15/00

CPC classification number: G06F17/215

Abstract: Architecture for a word processing application that facilitates operating on mathematical symbols, expressions, and/or equations input to a word processing document, and returning results back to the document. User input to the document in the form of math symbols, expressions or equations is transformed into a format for processing by a math engine. The engine returns one or more operations to the user that can be performed on the input, including calculating mathematical solutions, graphing equations and viewing steps to solving math problems. A user interface allows the user choose from the possible operations and to interactively manipulate input and graphs in the word application. The results can be inserted directly into the document and also be graded automatically.

Abstract translation: 用于文字处理应用程序的体系结构，便于操作输入到文字处理文档的数学符号，表达式和/或方程，并将结果返回到文档。 以数学符号，表达式或方程式的形式将文档的用户输入转换为数学引擎处理的格式。 引擎可以向可以对输入执行的用户返回一个或多个操作，包括计算数学解，绘图方程和查看步骤来解决数学问题。 用户界面允许用户从可能的操作中进行选择并交互地操纵单词应用程序中的输入和图形。 结果可以直接插入到文档中，也可以自动分级。

公开(公告)号：US20070298389A1

公开(公告)日：2007-12-27

申请号：US11448525

申请日：2006-06-07

Applicant: Jinsong Yu ,  Luke G. Kelly ,  Seth R. Atkinson ,  William B. Kunz

Inventor： Jinsong Yu ,  Luke G. Kelly ,  Seth R. Atkinson ,  William B. Kunz

IPC: G09B19/02

CPC classification number: G09B5/06 ,  G09B19/02

Abstract: A system is disclosed for generating and displaying intermediate steps in an educational computer algebra system. The system combines templates with an algorithm to generate intermediate steps and explanatory text which may be displayed to the user.

Abstract translation: 公开了一种用于在教育计算机代数系统中生成和显示中间步骤的系统。 该系统将模板与算法相结合，以生成可显示给用户的中间步骤和说明文字。