利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

17 条记录 (耗时 0.023 秒)

    Mapping codes for characters in mathematical expressions
    1.
    发明申请
    Mapping codes for characters in mathematical expressions 审中-公开
    映射数学表达式中的字符代码

    公开(公告)号：US20070033524A1

    公开(公告)日：2007-02-08

    申请号：US11196801

    申请日：2005-08-02

    申请人： Jennifer Michelstein ,  Ethan Bernstein ,  Jason Rajtar ,  Said Abou-Hallawa

    发明人： Jennifer Michelstein ,  Ethan Bernstein ,  Jason Rajtar ,  Said Abou-Hallawa

    IPC分类号： G06F15/00

    CPC分类号： G06F17/215

    摘要： Systems and methods for mapping character codes for characters of an mathematical expression based on changes in formatting for the characters. A system can include a document module configured for input of a mathematical expression including a plurality of characters, a format module configured to change formatting of the characters of the mathematical expression, and a mapping module configured to map a character code for one or more of the characters from a first value to a second value upon changing of the formatting of the characters. A method can include allowing entry of a mathematical expression including a plurality of characters on a computer system, allowing formatting of one or more of the characters to be changed, and mapping character codes for one or more of the characters upon changing of the formatting of the characters.

    摘要翻译： 基于字符格式的变化来映射数学表达式字符的字符代码的系统和方法。 系统可以包括被配置用于输入包括多个字符的数学表达式的文档模块，被配置为改变数学表达式的字符的格式化的格式模块，以及映射模块，其被配置为映射一个或多个 在改变字符格式时从第一个值到第二个值的字符。 方法可以包括允许在计算机系统上输入包括多个字符的数学表达式，允许对要改变的一个或多个字符进行格式化，以及在改变格式化后的一个或多个字符时映射字符代码 那些角色。

    Programmable object model for mathematical expressions
    3.
    发明申请
    Programmable object model for mathematical expressions 审中-公开
    用于数学表达式的可编程对象模型

    公开(公告)号：US20060190821A1

    公开(公告)日：2006-08-24

    申请号：US11067378

    申请日：2005-02-22

    申请人： Jennifer Michelstein ,  Ethan Bernstein ,  Jason Rajtar ,  Said Abou-Hallawa

    发明人： Jennifer Michelstein ,  Ethan Bernstein ,  Jason Rajtar ,  Said Abou-Hallawa

    IPC分类号： G06F15/00

    CPC分类号： G06F17/21

    摘要： A programmable object model for one or more mathematical expressions in a section of a document. The model can include a buildup module programmed to build up the one or more mathematical expressions in the section. The model can include a linearize function module programmed to convert the one or more mathematical expressions in the section to a linear format. The model can also include an addition module programmed to convert a portion of the document to a mathematic expression, and a removal module programmed to remove mathematical formatting from the one or more mathematical expressions in the section. The model can further include a conversion module programmed to convert the one or more mathematical expressions in the section to MathML.

    摘要翻译： 文档部分中一个或多个数学表达式的可编程对象模型。 该模型可以包括一个编程模块，用于在该部分中建立一个或多个数学表达式。 该模型可以包括一个线性化功能模块，该模块被编程为将该部分中的一个或多个数学表达式转换为线性格式。 该模型还可以包括被编程为将文档的一部分转换成数学表达式的加法模块，以及被编程为从该部分中的一个或多个数学表达式中移除数学格式的移除模块。 该模型还可以包括一个转换模块，该转换模块被编程为将该部分中的一个或多个数学表达式转换为MathML。

    Mathematical expression buildup and builddown
    4.
    发明申请
    Mathematical expression buildup and builddown 失效
    数学表达式积累和建立

    公开(公告)号：US20060059217A1

    公开(公告)日：2006-03-16

    申请号：US11229023

    申请日：2005-09-16

    申请人： Murray Sargent ,  Jennifer Michelstein ,  Ethan Bernstein ,  Said Abou-Hallawa ,  Isao Yamauchi

    发明人： Murray Sargent ,  Jennifer Michelstein ,  Ethan Bernstein ,  Said Abou-Hallawa ,  Isao Yamauchi

    IPC分类号： G06F15/00

    CPC分类号： G06F17/215 ,  G06F17/24

    摘要： Systems and methods for manipulating mathematical expressions in a computer system. A system can include a builddown module programmed to builddown a mathematical expression from a two-dimensional format to a linear format, the builddown module being programmed to associate a special property of the two-dimensional format of the mathematical expression with a corresponding character of the linear format of the mathematical expression. A method can include receiving a request to builddown the mathematical expression from a two-dimensional format to a linear format, building down the mathematical expression to the linear format, and associating a special property of the two-dimensional format of the mathematical expression with a corresponding character of the linear format of the mathematical expression.

    摘要翻译： 在计算机系统中操纵数学表达式的系统和方法。 系统可以包括被编程为将数学表达式从二维格式建立到线性格式的建立模块，所述建立模块被编程为将数学表达式的二维格式的特殊属性与 线性格式的数学表达式。 一种方法可以包括接收将数学表达式从二维格式建立到线性格式的请求，将数学表达式建立到线性格式，并将数学表达式的二维格式的特殊属性与 数学表达式的线性格式的相应字符。

    Systems and methods for automated equation buildup
    5.
    发明申请
    Systems and methods for automated equation buildup 失效
    自动方程式的系统和方法

    公开(公告)号：US20060059214A1

    公开(公告)日：2006-03-16

    申请号：US10943095

    申请日：2004-09-15

    申请人： Murray Sargent ,  Jennifer Michelstein ,  Ethan Bernstein ,  Said Abou-Hallawa

    发明人： Murray Sargent ,  Jennifer Michelstein ,  Ethan Bernstein ,  Said Abou-Hallawa

    IPC分类号： G06F13/00

    CPC分类号： G06F17/215 ,  G06F17/24

    摘要： Systems and methods for automatically building up an equation entered into a computer system can include an input module that accepts input of the equation in a linear string format, and an interpret module that interprets the input and automatically determines when a buildup point is reached. Systems can further include a formatting module that, upon reaching the buildup point, automatically formats at least a portion of the equation into a two-dimensional format. A display module can display the portion of the equation in the two-dimensional format. A revision module allows the equation to be edited.

    摘要翻译： 用于自动建立输入计算机系统的等式的系统和方法可以包括接受线性串格式的等式的输入的输入模块以及解释输入并自动确定何时达到积分点的解释模块。 系统可以进一步包括格式化模块，其在到达积分点时自动将方程的至少一部分格式化成二维格式。 显示模块可以以二维格式显示等式的部分。 修订模块允许编辑方程式。

    Alignment and breaking of mathematical expressions in documents
    7.
    发明授权
    Alignment and breaking of mathematical expressions in documents 有权
    文件中数学表达式的调整和打破

    公开(公告)号：US08020091B2

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

    申请号：US11182628

    申请日：2005-07-15

    申请人： Andrei Burago ,  Sergey Genkin ,  Victor Kozyrev ,  Jennifer Michelstein ,  Alexander Vaschillo

    发明人： Andrei Burago ,  Sergey Genkin ,  Victor Kozyrev ,  Jennifer Michelstein ,  Alexander Vaschillo

    IPC分类号： G06N3/00

    CPC分类号： G06F17/215

    摘要： Embodiments relate to systems and methods for formatting a set of expressions in a document. In embodiments, the systems and methods provide the ability to format a set of expressions by aligning expressions or parts of expressions to each other or to the margins of the document, while also supporting breaking of one or more expressions into multiple parts to be placed on different lines. Breaking can include breaking in places requested by a user or breaking in places that are automatically determined to fit the expressions between the margins of a document.

    摘要翻译： 实施例涉及用于格式化文档中的一组表达式的系统和方法。 在实施例中，系统和方法提供了通过将表达式或部分表达式彼此或文档的边缘对齐来形成一组表达式的能力，同时还支持将一个或多个表达式分解成要放置在多个部分上 不同的线。 破裂可能包括破坏用户所要求的位置或在自动确定为符合文档边距之间的表达式的位置中断。