会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 10. 发明申请
    • Symbolic computation using an inverted match
    • 符号计算使用反向匹配
    • US20070061115A1
    • 2007-03-15
    • US11225307
    • 2005-09-12
    • David Langworthy
    • David Langworthy
    • G06F17/10
    • G06F17/10
    • The transformation of a symbolic representation using an inverted match that represents an inverted form of a specific kind of non-linear match. The match is inverted around a particular reaction variable and merged on that variable after determining that the match represents a specific kind of non-linear identity that has at least one associative commutative operator, and in which each variable has one instance, except for the reaction variable, which has multiple instances in the match, at least one of the instances not being a direct argument of an associative commutative operator. The inverted match may then be applied to the symbolic expression to thereby transform the symbolic expression.
    • 使用表示特定类型的非线性匹配的反向形式的反向匹配来转换符号表示。 在确定匹配表示具有至少一个关联交换算子的特定类型的非线性身份之后,该匹配在特定反应变量周围反转并合并在该变量上,并且其中每个变量具有一个实例,除了反应 变量,其在匹配中具有多个实例,至少一个实例不是关联交换运算符的直接参数。 然后可以将反转匹配应用于符号表达式,从而转换符号表达式。