docno|NN =|SYM "|'' lists-|NN 046|CD -|: 12133410|CD "|'' name|NN =|SYM "|'' T.|NN V.|NN Raman|NNP "|'' email|NN =|SYM "|" raman@adobe.com|NN "|" sent|VBD =|SYM "|'' Tue|NNP ,|, 4|CD Jun|NNP 1996|CD 10:00:57|NN -|: 0700|CD "|'' inreplyto|NN =|SYM "|" 199606041558.AA160953903@w3.org|NN "|" id|NN =|SYM "|" 199606041700.KAA16946@labrador.mv.us.adobe.com|NN "|" *|NN X-Fax|NNP :|: 1|CD (|( 415|CD )|) 962|CD -|: 6063|CD *|NN X-Phone|NNP :|: 1|CD (|( 415|CD )|) 962|CD -|: 3945|CD subject|JJ =|SYM "|'' Minutes|NNPS June|NNP 3rd|CD "|'' To|TO :|: "|'' Dave|NNP Raggett|NNP "|'' <|NN dsr@w3.org|NN >|NN Cc|NNP :|: w3c-math-erb@w3.org|NN Regarding|VBG the|DT naming|NN of|IN subexpressions|NNS I|PRP 'd|MD like|VB to|TO point|VB out|IN two|CD slightly|RB differing|VBG kinds|NNS of|IN subexpression|NN /|NN expression|NN naming|VBG relevant|JJ to|TO producing|VBG speech|NN .|. 
In|IN AsTeR|NNP ,|, you|PRP could|MD name|VB a|DT cross-referencable|JJ object|NN such|JJ as|IN an|DT equation|NN with|IN meaningful|JJ names|NNS e.g.|NN Fibonacci|NNP 's|POS formula|NN instead|RB of|IN equation|NN 1.13|CD --|: this|DT made|VBN listening|VBG to|TO cross-referenced|JJ material|NN easier|RBR .|. 
See|VB http://www.cs.cornell.edu/Info/People/raman/current/phd-thesis/html/node11.|NN html|NN #|# SECTION|NN 00162000000000000000|CD 
AsTeR|NNP also|RB performed|VBD the|DT other|JJ kind|NN of|IN sub-expression|JJ naming|NN which|WDT I|PRP think|VBP got|VBN discussed|VBN yesterday|NN during|IN the|DT meeting|NN .|. 
I|PRP refered|JJ to|TO this|DT in|IN AsTeR|NNP as|IN "|'' variable|JJ substitution|NN "|'' .|. 
--|: "|'' folding|VBG "|'' to|TO use|VB Dave|NNP 's|POS terminology--|JJ 
AsTeR|NNP also|RB implemented|VBD a|DT fairly|RB straight-forward|JJ naming|NN algorithm|NN for|IN giving|VBG meaningful|JJ names|NNS to|TO sub-expressions|JJ e.g.|NN "|'' lower|JJR constraint|NN 1|CD "|'' and|CC denominator|NN 3|CD "|'' etc.|NN 
The|DT problem|NN of|IN recognizing|VBG that|IN two|CD subexpressions|NNS are|VBP identical|JJ is|VBZ actually|RB very|RB hard|RB if|IN you|PRP 're|VBP working|VBG with|IN a|DT written|JJ /|NN typeset|NN document|NN --|: AsTeR|NNP did|VBD not|RB attempt|VB to|TO do|VB this|DT .|. 
However|RB ,|, even|RB without|IN the|DT intelligence|NN to|TO recognize|VB two|CD semantically|RB equivalent|NN instances|NNS of|IN a|DT subexpression|NN ,|, "|'' variable|JJ substitution|NN "|'' or|CC "|'' folding|VBG "|'' as|IN Dave|NNP refers|VBZ to|TO it|PRP in|IN his|PRP$ minutes|NNS is|VBZ *|NN really|RB *|NN useful|JJ for|IN speech|NN and|CC I|PRP suspect|VBP it|PRP would|MD be|VB very|RB useful|JJ for|IN small|JJ visual|JJ displays|NNS .|. 
In|IN fact|NN after|IN I|PRP implemented|VBD the|DT variable|JJ substitution|NN in|IN AsTeR|NNP Rich|NNP Zippel|NNP at|IN Cornell|NNP pointed|VBD out|RP that|IN symbolic|JJ math|NN systems|NNS in|IN the|DT early|JJ 70|CD 's|POS had|VBD to|TO implement|VB something|NN analogous|JJ to|TO display|VB complex|JJ expressions|NNS since|IN the|DT displays|NNS available|JJ at|IN the|DT time|NN were|VBD not|RB as|RB graphically|RB rich|JJ as|IN what|WP we|PRP have|VBP today|NN .|. 
Here|RB are|VBP the|DT relevant|JJ sections|NNS from|IN the|DT thesis|NN :|: http://www.cs.cornell.edu/Info/People/raman/current/phd-thesis/html/node90.html|NN #|# SECTION|NN 00467000000000000000|CD and|CC http://www.cs.cornell.edu/Info/People/raman/current/phd-thesis/html/node83.html|NN #|# SECTION|NN 00460000000000000000|CD 
--|: Best|JJS Regards|NNP ,|, --|: raman|NNP 
Adobe|NNP Systems|NNPS Tel|NNP :|: 1|CD (|( 415|CD )|) 962|CD 3945|CD (|( B-|NNP 1|CD 115|CD )|) Advanced|NNP Technology|NNP Group|NNP Fax|NNP :|: 1|CD (|( 415|CD )|) 962|CD 6063|CD (|( E|NNP 1|CD -|: 160|CD )|) 1585|CD Charleston|NNP Road|NNP Email|NNP :|: raman@adobe.com|NN Mountain|NNP View|NNP ,|, CA|NNP 94039|CD -|: 7900|CD raman@cs.cornell.edu|NN http://www-atg/People/Raman.html|NN (|( Internal|NNP To|TO Adobe|NNP )|) http://www.cs.cornell.edu/Info/People/raman/raman.html|NN (|( Cornell|NNP )|) 
Disclaimer|NNP :|: The|DT opinions|NNS expressed|VBD are|VBP my|PRP$ own|JJ and|CC in|IN no|DT way|NN should|MD be|VB taken|VBN as|IN representative|NN of|IN my|PRP$ employer|NN ,|, Adobe|NNP Systems|NNPS Inc.|NN 
