Symbolic computation using an inverted match

Details Symbolic computation using an inverted match Symbolic computation using an inverted match

2005-09-12

2010-02-16

Vincent, David R (Department: 2129)

Data processing: artificial intelligence

Miscellaneous

C706S056000

Reexamination Certificate

active

07664723

ABSTRACT:
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.

REFERENCES:
patent: 2004/0236554 (2004-11-01), Raghavan et al.
‘hp 33s scientific calculator, user's guide’: Hewlett Packard, 2003, 1-10, 1-24, 2-1, 2-2, 2-13, 12-23 through 12-25.
‘Algorithmic aspects of symbolic switch network analysis’: Bryant, 1987, IEEE, 0278-0070/87, pp. 618-633.
Brane Calculi, Interactions of Biological Membrances, Lucca Cardelli Jun. 1, 2004.

Affiliated with

Also associated with

Rating

Symbolic computation using an inverted match does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Symbolic computation using an inverted match, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Symbolic computation using an inverted match will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4190361