专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US09710435B2 Object-field-based mathematics system 有权
公开(公告)号：US09710435B2
公开(公告)日：2017-07-18
申请号：US12925790
申请日：2010-10-29
申请人： P. Karl Halton , Ben Smith , Gregory James Fee
发明人： P. Karl Halton , Ben Smith , Gregory James Fee
IPC分类号： G09B23/02 , G06F17/21 , G06F17/10 , G06F17/24
CPC分类号： G06F17/215 , G06F17/10 , G06F17/24
摘要： An apparatus includes a processor, a computer memory, a user interface, and computer-executable instructions which enable a user to formulate mathematical expressions via the user interface. The mathematical expression is composed from objects selected from a library of object types in the memory. The object types include primitive objects and non-primitive objects. Non-primitive objects contain at least one field which in turn can contain additional objects; primitive objects have no fields. The mathematical expression is defined by a computer-readable data structure in the memory, and each object and field has a mathematical significance assigned thereto. The data structure uniquely identifies each object and each field, and includes pointers to define nesting of the objects and fields in the mathematical expression. The computer-executable instructions include steps to identify user inputs with at least some of the objects, and to display the mathematical expression represented by the data structure via the display.

2. 发明授权

US09372828B2 Method and device for inputting equation 有权
标题翻译：输入方程的方法和装置
公开(公告)号：US09372828B2
公开(公告)日：2016-06-21
申请号：US13883496
申请日：2011-11-03
申请人： Seung Lock Choe , Nam Sook Wee , Doo Seok Lee , Jung Kyo Sohn , Haeng Moon Kim , Yong Gil Park , Keun Tae Park , Dong Hahk Lee
发明人： Seung Lock Choe , Nam Sook Wee , Doo Seok Lee , Jung Kyo Sohn , Haeng Moon Kim , Yong Gil Park , Keun Tae Park , Dong Hahk Lee
IPC分类号： G06F15/18 , G06F15/02 , G06F17/10 , G06F17/21
CPC分类号： G06F15/18 , G06F15/02 , G06F17/10 , G06F17/215
摘要： The present disclosure relates to a method and apparatus for inputting equations. An equation input apparatus includes a learning context recognizer for extracting learning context information regarding a learner; a target equation group extractor for generating a target equation group including target mathematical symbols based on the extracted learning context information; and a predicted equation provider for providing a predicted mathematical symbol list relating to information, input or selected from the target equation group by user command, and for reflecting an equation selected from the predicted mathematical symbol list in the input or selected information.
摘要翻译：本公开涉及一种用于输入等式的方法和装置。方程输入装置包括用于提取关于学习者的学习情境信息的学习上下文识别器; 目标方程组提取器，用于基于所提取的学习上下文信息来生成包括目标数学符号的目标方程组; 以及预测方程式提供器，用于提供与通过用户命令从目标方程组输入或选择的信息相关的预测数学符号列表，并用于反映从输入或选择的信息中的预测数学符号列表中选出的方程。

3. 发明授权

US09323719B2 Mathematical expression input apparatus, mathematical expression modification method, and storage medium storing program 有权
标题翻译：数学表达式输入装置，数学表达式修改方法和存储介质存储程序
公开(公告)号：US09323719B2
公开(公告)日：2016-04-26
申请号：US13868051
申请日：2013-04-22
申请人： CASIO COMPUTER CO., LTD.
发明人： Saburo Kamitani
IPC分类号： G06F17/11 , G06F17/21 , G06F15/02 , G06F3/16 , G10L15/26
CPC分类号： G06F17/11 , G06F3/167 , G06F15/02 , G06F17/215 , G10L15/26
摘要： A mathematical expression input apparatus includes a mathematical expression display unit configured to display a mathematical expression, a mathematical expression portion designation unit configured to designate a mathematical expression portion displayed by the mathematical expression display unit in accordance with user operation, and an output unit configured to determine a designation method for a mathematical expression portion designated by the mathematical expression designation unit, modify the mathematical expression in accordance with the designation method, and display the modified mathematical expression.
摘要翻译：数学表达式输入装置包括：数学表达式显示单元，被配置为显示数学表达式;数学表达部分指定单元，被配置为根据用户操作指定由数学表达式显示单元显示的数学表达部分;以及输出单元，确定由数学表达式指定单元指定的数学表达部分的指定方法，根据指定方法修改数学表达式，并显示修改后的数学表达式。

4. 发明申请

US20140115447A1 Centering Mathematical Objects in Documents 审中-公开
标题翻译：在文档中居中数学对象
公开(公告)号：US20140115447A1
公开(公告)日：2014-04-24
申请号：US13657813
申请日：2012-10-22
申请人： APPLE INC.
发明人： Ian J. Elseth , Christopher E. Rudolph , Donald R. Beaver , Allison M. Styer , Martin J. Murrett
IPC分类号： G06F17/00
CPC分类号： G06F17/10 , G06F17/215 , G06F17/271
摘要： A content presentations editing application for editing a structured electronic document that includes mathematical objects is provided. The content presentation editing application selects a portion of the document, the selected portion including at least one mathematical object. The content presentation editing application centers the selected portion of the document by identifying an alignment symbol in the mathematical object and aligning the mathematical object to a particular position in the document at the identified alignment symbol. To align the mathematical object, some embodiments move the mathematical object such that the alignment symbol is at the center of the page. For mathematical objects that are located within cells of a table, the center alignment operation moves each mathematical object in the table such that the identified alignment symbol aligns with the center of the table column that contains the mathematical object.
摘要翻译：提供了一种用于编辑包括数学对象的结构化电子文档的内容呈现编辑应用程序。内容呈现编辑应用选择文档的一部分，所选择的部分包括至少一个数学对象。内容呈现编辑应用程序通过识别数学对象中的对齐符号并将数学对象与所标识的对齐符号中的文档中的特定位置对齐，使文档的所选部分居中。为了对准数学对象，一些实施例移动数学对象，使得对准符号位于页面的中心。对于位于表单元格内的数学对象，中心对齐操作移动表中的每个数学对象，使得识别的对齐符号与包含数学对象的表列的中心对齐。

5. 发明申请

US20140075410A1 METHODS AND SYSTEMS FOR DETERMINING A FORMULA 有权
标题翻译：用于确定公式的方法和系统
公开(公告)号：US20140075410A1
公开(公告)日：2014-03-13
申请号：US14082581
申请日：2013-11-18
申请人： WOLFRAM ALPHA LLC
发明人： Stephen Wolfram
IPC分类号： G06F3/01 , G06F9/44
CPC分类号： G06F17/30864 , G06F3/01 , G06F8/30 , G06F17/215 , G06F19/707 , G10L15/22
摘要： In a method to help a user determine a formula, (e.g., a fact, rule, or principle expressed in scientific, mathematical, technical, etc. symbols), a user may input an indication of the formula in an imprecise syntax. The inputted indication may be in ASCII text, for example, and may include technical shorthand, technical abbreviations, pseudocode, etc. In response, one or more formulas corresponding to the user's input are determined. Optionally, other outputs related to the determined formula (s) may be generated. In one implementation, software programming code corresponding to the formula is generated. Then, the formula (s) and the output(s) are presented to the user.
摘要翻译：在帮助用户确定公式（例如，以科学，数学，技术等等表示的事实，规则或原则）符号的方法中，用户可以以不精确的语法输入公式的指示。例如，输入的指示可以是ASCII文本，并且可以包括技术简写，技术缩写，伪代码等。作为响应，确定与用户输入相对应的一个或多个公式。可选地，可以生成与所确定的公式相关的其他输出。在一个实现中，生成与该公式相对应的软件编程代码。然后，公式和输出被呈现给用户。

6. 发明申请

US20130067305A1 COMPLEX FUNCTION GENERATOR 审中-公开
标题翻译：复合功能发生器
公开(公告)号：US20130067305A1
公开(公告)日：2013-03-14
申请号：US13553829
申请日：2012-07-20
申请人： Michael GOLAN
发明人： Michael GOLAN
IPC分类号： G06F17/21
CPC分类号： G06F17/215 , G06F17/246
摘要： A method of creating a user defined function (UDF) in a data processing application program comprising inserting a formula into the application program; assigning a UDF identifier to said formula; and storing said UDF identifier in a complex function generator configured to call said formula responsive to a reference to said UDF identifier in the application program.
摘要翻译：一种在数据处理应用程序中创建用户定义函数（UDF）的方法，包括将公式插入到所述应用程序中; 将UDF标识符分配给所述公式; 以及将所述UDF标识符存储在复合函数发生器中，所述复函数发生器被配置为响应于对所述应用程序中的所述UDF标识符的引用来调用所述

7. 发明申请

US20130031495A1 ENTERING TECHNICAL FORMULAS 有权
标题翻译：输入技术公式
公开(公告)号：US20130031495A1
公开(公告)日：2013-01-31
申请号：US13189560
申请日：2011-07-25
申请人： Kuansan Wang , Johnson Apacible , Bo-June (Paul) Hsu
发明人： Kuansan Wang , Johnson Apacible , Bo-June (Paul) Hsu
IPC分类号： G06F3/048
CPC分类号： G06F17/215
摘要： The claimed subject matter provides a method for entering technical formulas. The method includes receiving a sequence of inputs on a computing device. The sequence of inputs specifies the technical formula. The method also includes displaying the technical formula in response to receiving the sequence of inputs. Additionally, the method includes determining an alternate sequence of inputs that specify the technical formula. The alternate sequence of inputs may be input to the computing device to display the technical formula. The method further includes displaying the alternate sequence.
摘要翻译：所要求保护的主题提供了输入技术公式的方法。该方法包括在计算设备上接收输入序列。输入序列指定技术公式。该方法还包括响应于接收输入序列显示技术公式。另外，该方法包括确定指定技术公式的输入的备选序列。可以将输入的备选序列输入到计算设备以显示技术公式。该方法还包括显示替代序列。

8. 发明申请

US20120327102A1 EXPRESSION INPUT APPARATUS, EXPRESSION DISPLAY APPARATUS, EXPRESSION INPUT METHOD, EXPRESSION DISPLAY METHOD, RECORDING MEDIUM STORING EXPRESSION INPUT CONTROL PROGRAM, AND RECORDING MEDIUM STORING EXPRESSION DISPLAY CONTROL PROGRAM 有权
标题翻译：表示输入装置，表示显示装置，表示输入方法，表示显示方法，记录中央存储表示输入控制程序和记录中间存储表示显示控制程序
公开(公告)号：US20120327102A1
公开(公告)日：2012-12-27
申请号：US13528565
申请日：2012-06-20
申请人： Satomi Midorogi , Takashi Kojo
发明人： Satomi Midorogi , Takashi Kojo
IPC分类号： G09G5/02
CPC分类号： G06F17/215 , G06F17/241
摘要： An expression input apparatus includes: an expression input unit; an expression display unit; an expression/color specifying unit that specifies an expression portion in expressions displayed on the expression display unit and that specifies a color among a plurality of colors; an expression/color storage unit that stores the specified expression portion and the specified color in association with each other; a highlighting control unit that highlights the expression portion with the color; a color/position specifying unit that specifies the color stored in association with the expression portion, and that specifies a position at which a new expression portion is to be inputted; and a pasting unit that pastes the expression portion on the specified position and highlights the pasted expression portion with the specified color.
摘要翻译：表达式输入装置包括：表达式输入单元; 表情显示单元; 表示/颜色指定单元，其指定表达式显示单元上显示的并且指定多种颜色之中的颜色的表达式中的表达部分; 表示/颜色存储单元，其彼此相关联地存储指定的表达部分和指定的颜色; 突出显示控制单元，其以颜色突出表达部分; 指定与表达部分相关联地存储的颜色的颜色/位置指定单元，其指定要输入新表达部分的位置; 以及粘贴在指定位置上的表达部分并以指定颜色突出显示粘贴表达式部分的粘贴单元。

9. 发明授权

US08078953B2 Math calculation in word processors 有权
标题翻译：字处理器中的数学计算
公开(公告)号：US08078953B2
公开(公告)日：2011-12-13
申请号：US11776566
申请日：2007-07-12
申请人： William B Kunz , Xin Li , Luke Kelly , Jinsong Yu , Seth R Atkinson , Murray Sargent
发明人： William B Kunz , Xin Li , Luke Kelly , Jinsong Yu , Seth R Atkinson , Murray Sargent
IPC分类号： G06F17/00
CPC分类号： G06F17/215
摘要： 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.
摘要翻译：用于文字处理应用程序的体系结构，便于操作输入到文字处理文档的数学符号，表达式和/或方程，并将结果返回到文档。以数学符号，表达式或方程式的形式将文档的用户输入转换为数学引擎处理的格式。引擎可以向可以对输入执行的用户返回一个或多个操作，包括计算数学解，绘图方程和查看步骤来解决数学问题。用户界面允许用户从可能的操作中进行选择并交互地操纵单词应用程序中的输入和图形。结果可以直接插入到文档中，也可以自动分级。

10. 发明申请

US20110080409A1 FORMULA INPUT METHOD USING A COMPUTING MEDIUM 审中-公开
标题翻译：使用计算媒体的公式输入方法
公开(公告)号：US20110080409A1
公开(公告)日：2011-04-07
申请号：US12991399
申请日：2009-01-18
申请人： Hakmin Lee
发明人： Hakmin Lee
IPC分类号： G06T11/00
CPC分类号： G06F17/215 , G06F17/24
摘要： The present invention relates to a formula input method using a computing medium, which displays only a corresponding formula in automatic mode in response to a key input, which facilitates formula input as well as creation, editing, revision and deletion of a formula with the aid of an input device such as short-cut keys or a mouse and by providing elements in a formula in the form of independent characters, the elements comprising math symbols, superscripts/subscripts attached to the math symbols, individual characters that belong to the math symbols in a formula and special characters, and which offers management based on the same characteristics of letters, characters and documents within the same field or fields as normal letters to increase user convenience and allow users to express and create a formula with ease.
摘要翻译：本发明涉及一种使用计算介质的公式输入方法，该计算介质仅在响应于键输入的情况下以自动模式显示相应的公式，这有助于公式输入以及辅助的创建，编辑，修改和删除公式诸如快捷键或鼠标的输入设备，并且通过以独立字符的形式提供公式中的元素，包括附加到数学符号的数学符号，上标/下标的元素，属于数学符号的各个字符在一个公式和特殊字符中，它提供与正常字母相同字段或字段内的字母，字符和文档相同特征的管理，以增加用户的便利性，并允许用户轻松地表达和创建公式。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式