%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@gamma.math.utah.edu on Mon Dec 11 12:10:17 MST 2023 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{{1}}{% Griesmer:1971:SIF% }. \NAMECITE{{1972}}{% Online:1972:OCP% }. \NAMECITE{{1984}}{% Fitch:1984:E,% Golden:1984:PMU% }. \NAMECITE{{1987}}{% Wexelblat:1987:IIT% }. \NAMECITE{5th}{% Huguet:1989:AAA% }. \NAMECITE{6th}{% Mora:1989:AAA% }. \NAMECITE{7th}{% Shi:2007:CSIb% }. \NAMECITE{'84}{% Fitch:1984:E% }. \NAMECITE{'85}{% Buchberger:1985:EEC% }. \NAMECITE{'87}{% Davenport:1989:EEC,% Wexelblat:1987:IIT% }. \NAMECITE{'88}{% Gianni:1989:SAC% }. \NAMECITE{{'89}}{% ACM:1989:PAI% }. \NAMECITE{'90}{% Cohen:1991:EIS,% Miola:1990:DIS,% Watanabe:1990:IPI% }. \NAMECITE{'92}{% Fitch:1993:DIS,% Wang:1992:ISS% }. \NAMECITE{'93}{% Miola:1993:DIS% }. \NAMECITE{'95}{% Levelt:1995:IPI% }. \NAMECITE{AAECC}{% Huguet:1989:AAA,% Mora:1989:AAA% }. \NAMECITE{AAECC-5}{% Huguet:1989:AAA% }. \NAMECITE{AAECC-6}{% Mora:1989:AAA% }. \NAMECITE{Abstract}{% Jenks:1988:SIA,% Goodloe:1993:ADT,% Jenks:1986:SIA,% Schwarz:1988:PAD,% Sutor:1988:SIA% }. \NAMECITE{abstraction}{% Boehm:1989:TIP% }. \NAMECITE{ACM}{% ACM:1989:PAI% }. \NAMECITE{ACM-SIGSAM}{% ACM:1989:PAI% }. \NAMECITE{Advances}{% Fateman:1990:ATD% }. \NAMECITE{advantages}{% Melachrinoudis:1990:TAT% }. \NAMECITE{Algebra}{% Buchberger:1985:EEC,% Calmet:1994:RWC,% Caviness:2004:MRD,% Daly:2005:AVAh,% Davenport:1988:CA,% Davenport:1989:EEC,% Davenport:1990:SVA,% Davenport:1992:SVAa,% Davenport:1992:SVAb,% Huguet:1989:AAA,% Janssen:1988:TCA,% Jenks:1984:NSL,% Mora:1989:AAA,% Sutor:1985:SIC,% Benker:1998:ICS,% Davenport:1991:SVA,% Duval:1992:EPS,% Fortenbacher:1990:ETI,% Grabmeier:2003:CAH,% Joyner:2008:OSC,% Lambe:1994:NGC,% Mathews:1989:SCA,% Page:2007:AOS,% Roesner:1995:VSP,% Shannon:1988:UGB,% Smedley:1992:UPO,% Weber:1993:CCA% }. \NAMECITE{Algebraic}{% ACM:1989:PAI,% ACM:1994:IPI,% Bronstein:1993:IPI,% Brown:2007:PIS,% Davenport:1988:CA,% Dicrescenzo:1989:AEA,% Dooley:1999:IJS,% Fitch:1984:E,% Gianni:1989:ASS,% Gianni:1989:SAC,% Huguet:1989:AAA,% Levelt:1995:IPI,% Mora:1989:AAA,% Petrick:1971:PSS,% Wang:1992:ISS,% Watanabe:1990:IPI,% Watt:1991:PIS,% Bronstein:1991:RDE,% Duval:1995:DEA,% Fateman:1990:ATD,% Rioboo:1992:RAC,% vanHoeij:1994:ACI% }. \NAMECITE{algebras}{% Koseleff:1991:WGF% }. \NAMECITE{alg{\'e}brique}{% Duval:1995:DEA% }. \NAMECITE{algorithm}{% Gebauer:1986:BAS,% Gebauer:1988:IBA,% Schwarz:1989:FAL,% Sit:1989:GAS,% Sit:1992:ASP,% vanHoeij:1994:ACI% }. \NAMECITE{algorithme}{% Fouche:1990:ILK% }. \NAMECITE{Algorithmic}{% Smith:2007:ADA% }. \NAMECITE{Algorithms}{% Davenport:1988:CA,% Huguet:1989:AAA,% Mora:1989:AAA% }. \NAMECITE{American}{% Anonymous:1991:PAC% }. \NAMECITE{Angeles}{% Petrick:1971:PSS% }. \NAMECITE{Annual}{% Anonymous:1991:PAC,% Anonymous:1995:GAM% }. \NAMECITE{{Anwendung}}{% Benker:1998:ICS% }. \NAMECITE{Application}{% Andrews:1988:ASP% }. \NAMECITE{Applications}{% Cohen:1991:EIS,% Lambe:1994:NGC,% Purtilo:1986:ASI,% Benker:1998:ICS,% Grabmeier:2003:CAH% }. \NAMECITE{applied}{% Dalmas:1992:PFL,% Mathews:1989:SCA,% Huguet:1989:AAA,% Mora:1989:AAA% }. \NAMECITE{April}{% Buchberger:1985:EEC,% Miola:1990:DIS% }. \NAMECITE{{Argument}}{% Keady:1994:PAS% }. \NAMECITE{Arithmetic}{% Li:2006:EIP% }. \NAMECITE{asymptotic}{% Salvy:1989:EAA,% Salvy:1991:EAA% }. \NAMECITE{August}{% Brown:2007:PIS% }. \NAMECITE{Austria}{% Buchberger:1985:EEC,% Miola:1993:DIS% }. \NAMECITE{Automated}{% Doye:1999:ACA% }. \NAMECITE{automatic}{% Salvy:1989:EAA,% Salvy:1991:EAA% }. \NAMECITE{automatics}{% Ollivier:1989:IRM% }. \NAMECITE{autonomous}{% Sit:1989:GAS% }. \NAMECITE{AXIOM}{% Benker:1998:ICS,% Grabmeier:1991:CSA,% Brown:1994:CSC,% Davenport:1992:AS,% Davenport:1992:HDO,% Grabmeier:1992:FFA,% Jenks:1992:ASC,% Jenks:1994:HMA,% Keady:1994:PAS,% Kendall:2001:SIC,% Lambe:1994:NGC,% Seiler:1994:CIA,% Seiler:1994:PDO,% Zenger:1992:GFD,% Boulanger:1995:OOM,% Caviness:2004:MRD,% Daly:2002:AOS,% Daly:2003:AVA,% Daly:2005:AVAb,% Daly:2005:AVAc,% Daly:2005:AVAd,% Daly:2005:AVAe,% Daly:2005:AVAf,% Daly:2005:AVAg,% Daly:2005:AVAh,% Daly:2005:AVAi,% Daly:2005:AVAj,% Daly:2006:AVA,% Doye:1999:ACA,% Duval:1995:DEA,% Gil:1992:CJC,% Jenks:2003:AVS,% Joyner:2008:OSC,% Page:2007:AOS,% Petitot:1993:EA,% Portes:2007:AVA,% Rioboo:1992:RAC,% Smith:2007:ADA% }. \NAMECITE{Bad}{% Janssen:1988:TCA% }. \NAMECITE{balance}{% Goodwin:1991:UMT% }. \NAMECITE{Bases}{% Arnault:1995:CCN,% Gebauer:1986:BAS,% Gianni:1989:ASS,% Koseleff:1991:WGF,% Schwarz:1991:MOG,% Shannon:1988:UGB% }. \NAMECITE{Basic}{% Davenport:1990:SVA,% Davenport:1992:SVAa% }. \NAMECITE{basis}{% vanHoeij:1994:ACI% }. \NAMECITE{BC}{% Dooley:1999:IJS% }. \NAMECITE{Beijing}{% Shi:2007:CSIb% }. \NAMECITE{binary}{% Augot:1991:MDS% }. \NAMECITE{birational}{% Shannon:1988:UGB% }. \NAMECITE{Bonn}{% Watt:1991:PIS% }. \NAMECITE{Browser}{% Portes:2007:AVA% }. \NAMECITE{Brunel}{% Online:1972:OCP% }. \NAMECITE{{Buchberger}}{% Gebauer:1986:BAS,% Gebauer:1988:IBA% }. \NAMECITE{Bundespost}{% Grabmeier:1991:CSA% }. \NAMECITE{calcul}{% Senechaud:1987:SIP% }. \NAMECITE{Calculations}{% Brown:1994:CSC% }. \NAMECITE{calculus}{% Kendall:2001:SIC% }. \NAMECITE{{California}}{% Petrick:1971:PSS% }. \NAMECITE{Cambridge}{% Fitch:1984:E% }. \NAMECITE{Canada}{% Dooley:1999:IJS,% Brown:2007:PIS,% Levelt:1995:IPI% }. \NAMECITE{canonical}{% Gil:1992:CJC% }. \NAMECITE{Capri}{% Miola:1990:DIS% }. \NAMECITE{capsule}{% Griesmer:1972:SCV% }. \NAMECITE{{Carmichael}}{% Arnault:1995:CCN% }. \NAMECITE{Categorical}{% Davenport:1992:SVAb,% Davenport:1991:SVA% }. \NAMECITE{Challenges}{% Anonymous:1991:PAC% }. \NAMECITE{Changing}{% Anonymous:1991:PAC% }. \NAMECITE{{ChE}}{% LeBlanc:1991:UMT% }. \NAMECITE{China}{% Shi:2007:CSIb% }. \NAMECITE{cl{\^o}ture}{% Duval:1995:DEA% }. \NAMECITE{class}{% Wang:1991:MMC% }. \NAMECITE{classroom}{% LeBlanc:1991:UMT% }. \NAMECITE{closure}{% Dicrescenzo:1989:AEA,% Duval:1995:DEA,% Rioboo:1992:RAC% }. \NAMECITE{Codes}{% Huguet:1989:AAA,% Mora:1989:AAA,% Augot:1991:MDS% }. \NAMECITE{Coding}{% Cohen:1991:EIS% }. \NAMECITE{Coercion}{% Sutor:1987:TICb,% Doye:1999:ACA,% Fortenbacher:1990:ETI,% Sutor:1987:TICa% }. \NAMECITE{coherence}{% Weber:1993:CCA% }. \NAMECITE{combinatoire}{% Camion:1992:PCG% }. \NAMECITE{combinatorial}{% Camion:1992:PCG% }. \NAMECITE{combinatorics}{% Andrews:1988:ASP% }. \NAMECITE{Command}{% Daly:2005:AVAe% }. \NAMECITE{Commutative}{% Davenport:1990:SVA,% Davenport:1992:SVAa% }. \NAMECITE{Compiler}{% Daly:2005:AVAg,% Jenks:1976:PC% }. \NAMECITE{Completion}{% Seiler:1994:CIA% }. \NAMECITE{Computation}{% ACM:1989:PAI,% Beebe:2017:MFC,% Bronstein:1993:IPI,% Brown:2007:PIS,% Davenport:1988:CA,% Fitch:1984:E,% Fitch:1993:DIS,% Gianni:1989:SAC,% Gil:1992:CJC,% Jacob:1993:PSI,% Jenks:1988:SIA,% Jenks:1992:ASC,% Jenks:2003:AVS,% Levelt:1995:IPI,% Li:2007:VGP,% Miola:1990:DIS,% Miola:1993:DIS,% Wang:1992:ISS,% Watt:1991:PIS,% Dalmas:1992:PFL,% Jenks:1986:SIA,% Monagan:1993:GPD,% Sutor:1988:SIA,% Watt:1989:FPM,% ACM:1994:IPI,% Dooley:1999:IJS,% Watanabe:1990:IPI% }. \NAMECITE{computational}{% Mathews:1989:SCA,% Shi:2007:CSIb% }. \NAMECITE{Computer}{% Buchberger:1985:EEC,% Calmet:1994:RWC,% Caviness:2004:MRD,% Davenport:1988:CA,% Davenport:1989:EEC,% Grabmeier:2003:CAH,% Janssen:1988:TCA,% Jenks:1984:NSL,% Sutor:1985:SIC,% Benker:1998:ICS,% Duval:1992:EPS,% Fortenbacher:1990:ETI,% Joyner:2008:OSC,% Lambe:1994:NGC,% Lynch:1991:NQM,% Melachrinoudis:1990:TAT,% Page:2007:AOS,% Roesner:1995:VSP,% Smedley:1992:UPO,% Weber:1993:CCA% }. \NAMECITE{Computeralgebra}{% Benker:1998:ICS,% Grabmeier:1991:CSA% }. \NAMECITE{Computeralgebra-System}{% Grabmeier:1991:CSA% }. \NAMECITE{Computeralgebra-Systemen}{% Benker:1998:ICS% }. \NAMECITE{Computing}{% Norman:1975:CFP,% Online:1972:OCP,% Wang:1989:PCL,% vanHoeij:1994:ACI% }. \NAMECITE{concept}{% Lambe:1994:NGC% }. \NAMECITE{concepts}{% Goodwin:1991:UMT% }. \NAMECITE{Conference}{% Anonymous:1991:PAC,% Anonymous:1992:PEH,% Buchberger:1985:EEC,% Davenport:1989:EEC,% Golden:1984:PMU,% Huguet:1989:AAA,% Mora:1989:AAA,% Shi:2007:CSIb,% Online:1972:OCP% }. \NAMECITE{constants}{% Wang:1989:PCL% }. \NAMECITE{Constructing}{% Arnault:1995:CCN% }. \NAMECITE{construction}{% Fateman:1990:ATD% }. \NAMECITE{Correcting}{% Huguet:1989:AAA,% Mora:1989:AAA% }. \NAMECITE{Crystal}{% Daly:2005:AVAi% }. \NAMECITE{cubical}{% Brown:1994:CSC% }. \NAMECITE{curve}{% Bronstein:1991:RDE% }. \NAMECITE{dans}{% Camion:1992:PCG% }. \NAMECITE{data}{% Goodloe:1993:ADT,% Schwarz:1988:PAD% }. \NAMECITE{Datatype}{% Jenks:1988:SIA,% Sutor:1988:SIA,% Jenks:1986:SIA% }. \NAMECITE{Decomposition}{% Bronstein:1993:FPF% }. \NAMECITE{DERIVE}{% Benker:1998:ICS% }. \NAMECITE{design}{% Fateman:1990:ATD,% Fitch:1993:DIS,% Miola:1990:DIS,% Miola:1993:DIS% }. \NAMECITE{determine}{% Shannon:1988:UGB% }. \NAMECITE{Deutschen}{% Grabmeier:1991:CSA% }. \NAMECITE{Developer}{% Caviness:2004:MRD% }. \NAMECITE{Developers}{% Daly:2005:AVAd% }. \NAMECITE{development}{% Goodloe:1993:ADT% }. \NAMECITE{{Developments}}{% Jacob:1993:PSI% }. \NAMECITE{differential}{% Bronstein:1991:RDE,% Schwarz:1989:FAL,% Seiler:1994:PDO,% Wang:1991:MMC% }. \NAMECITE{Differentialformen}{% Zenger:1992:GFD% }. \NAMECITE{differentiation}{% Smith:2007:ADA% }. \NAMECITE{Dimick}{% Caviness:2004:MRD% }. \NAMECITE{DISCO}{% Fitch:1993:DIS,% Miola:1990:DIS,% Miola:1993:DIS% }. \NAMECITE{distance}{% Augot:1991:MDS% }. \NAMECITE{Does}{% Davenport:1992:HDO% }. \NAMECITE{domain}{% Monagan:1993:GPD% }. \NAMECITE{Double}{% Beneke:1994:DFM% }. \NAMECITE{Double-track}{% Beneke:1994:DFM% }. \NAMECITE{d'un}{% Senechaud:1987:SIP% }. \NAMECITE{Dynamic}{% Broadbery:1995:IDE,% Duval:1995:DEA% }. \NAMECITE{dynamique}{% Duval:1995:DEA% }. \NAMECITE{Education}{% Anonymous:1991:PAC% }. \NAMECITE{Efficient}{% Fortenbacher:1990:ETI,% Li:2006:EIP% }. \NAMECITE{electronic}{% Lynch:1991:NQM% }. \NAMECITE{elementary}{% Bronstein:1989:SRE% }. \NAMECITE{energy}{% Goodwin:1991:UMT% }. \NAMECITE{Engineering}{% Anonymous:1991:PAC,% Benker:1998:ICS% }. \NAMECITE{England}{% Fitch:1984:E,% Online:1972:OCP% }. \NAMECITE{{English}}{% Camion:1992:PCG% }. \NAMECITE{Environment}{% Li:2006:EIP% }. \NAMECITE{Environments}{% Anonymous:1992:PEH,% Purtilo:1986:ASI% }. \NAMECITE{equation}{% Bronstein:1991:RDE% }. \NAMECITE{equations}{% Gianni:1989:ASS,% Schwarz:1989:FAL% }. \NAMECITE{equivalence}{% Shannon:1988:UGB% }. \NAMECITE{Error}{% Huguet:1989:AAA,% Mora:1989:AAA% }. \NAMECITE{Error-Correcting}{% Huguet:1989:AAA,% Mora:1989:AAA% }. \NAMECITE{{EUROCAL}}{% Buchberger:1985:EEC,% Davenport:1989:EEC% }. \NAMECITE{{EUROCODE}}{% Cohen:1991:EIS% }. \NAMECITE{European}{% Buchberger:1985:EEC,% Davenport:1989:EEC% }. \NAMECITE{{EUROSAM}}{% Fitch:1984:E% }. \NAMECITE{Evaluation}{% Broadbery:1995:IDE,% Duval:1995:DEA,% Duval:1995:DEA% }. \NAMECITE{exact}{% Roesner:1995:VSP% }. \NAMECITE{Examples}{% Duval:1992:EPS,% Salvy:1989:EAA,% Salvy:1991:EAA,% Keady:1994:PAS% }. \NAMECITE{expansions}{% Salvy:1989:EAA,% Salvy:1991:EAA% }. \NAMECITE{Experience}{% Griesmer:1972:EOSb,% Petitot:1993:EA% }. \NAMECITE{Extension}{% Jenks:1971:MPS% }. \NAMECITE{extensions}{% Dicrescenzo:1989:AEA% }. \NAMECITE{Facilities}{% Sutor:1987:TICb,% Sutor:1987:TICa% }. \NAMECITE{Facility}{% Jenks:1971:MPS,% Griesmer:1971:SIF% }. \NAMECITE{Factorization}{% Davenport:1992:SVAb,% Davenport:1991:SVA,% Lucks:1986:FIP,% Schwarz:1989:FAL% }. \NAMECITE{fast}{% Lucks:1986:FIP% }. \NAMECITE{field}{% Rioboo:1992:RAC,% vanHoeij:1994:ACI% }. \NAMECITE{Fields}{% Grabmeier:1992:FFA% }. \NAMECITE{Finite}{% Grabmeier:1992:FFA% }. \NAMECITE{first}{% Sit:1989:GAS% }. \NAMECITE{first-order}{% Sit:1989:GAS% }. \NAMECITE{fixed}{% Watt:1989:FPM% }. \NAMECITE{form}{% Gil:1992:CJC% }. \NAMECITE{Formal}{% Norman:1975:CFP% }. \NAMECITE{formel}{% Senechaud:1987:SIP% }. \NAMECITE{{Formelmanipulationssystemes}}{% Lueken:1977:UIF% }. \NAMECITE{formulas}{% Koseleff:1991:WGF% }. \NAMECITE{Forschungsinstituts}{% Grabmeier:1991:CSA% }. \NAMECITE{foundations}{% Grabmeier:2003:CAH% }. \NAMECITE{Fraction}{% Bronstein:1993:FPF% }. \NAMECITE{Fraser}{% Dooley:1999:IJS% }. \NAMECITE{free}{% Koseleff:1991:WGF% }. \NAMECITE{French}{% Duval:1995:DEA% }. \NAMECITE{Full}{% Bronstein:1993:FPF% }. \NAMECITE{Function}{% Beebe:2017:MFC,% vanHoeij:1994:ACI% }. \NAMECITE{functional}{% Dalmas:1992:PFL% }. \NAMECITE{Functions}{% Bronstein:1993:FPF,% Andrews:1988:ASP,% Bronstein:1989:SRE,% Monagan:1993:GPD,% Wang:1989:PCL% }. \NAMECITE{future}{% Beneke:1994:DFM% }. \NAMECITE{gain}{% Beneke:1994:DFM% }. \NAMECITE{games}{% Koseleff:1991:WGF% }. \NAMECITE{{GAMM}}{% Anonymous:1995:GAM% }. \NAMECITE{{Gauss}}{% Gruntz:1994:IG,% Monagan:1993:GPD% }. \NAMECITE{generation}{% Lambe:1994:NGC% }. \NAMECITE{Generic}{% Li:2007:VGP% }. \NAMECITE{geometry}{% Kusche:1989:IGT% }. \NAMECITE{German}{% Benker:1998:ICS% }. \NAMECITE{{Germany}}{% Watt:1991:PIS% }. \NAMECITE{Gmunden}{% Miola:1993:DIS% }. \NAMECITE{{Goldman}}{% Sit:1989:GAS% }. \NAMECITE{graded}{% Goodloe:1993:ADT% }. \NAMECITE{graphes}{% Camion:1992:PCG% }. \NAMECITE{Graphics}{% Daly:2005:AVAf% }. \NAMECITE{graphs}{% Camion:1992:PCG% }. \NAMECITE{{Gr{\"o}bner}}{% Gianni:1989:ASS,% Schwarz:1991:MOG,% Shannon:1988:UGB% }. \NAMECITE{{Gr{\"o}bnerbasen}}{% Zenger:1992:GFD% }. \NAMECITE{groups}{% Brown:1994:CSC% }. \NAMECITE{Guide}{% Daly:2005:AVAb,% Daly:2005:AVAc,% Daly:2005:AVAd% }. \NAMECITE{{Hamming}}{% Camion:1992:PCG% }. \NAMECITE{Handbook}{% Beebe:2017:MFC,% Grabmeier:2003:CAH% }. \NAMECITE{High}{% Anonymous:1992:PEH% }. \NAMECITE{High-Level}{% Anonymous:1992:PEH% }. \NAMECITE{homological}{% Lambe:1991:RHP% }. \NAMECITE{homomorphisms}{% Shannon:1988:UGB% }. \NAMECITE{Hyperdoc}{% Daly:2005:AVAj% }. \NAMECITE{ICCS}{% Shi:2007:CSIb% }. \NAMECITE{identifiability}{% Ollivier:1989:IRM% }. \NAMECITE{identities}{% Augot:1991:MDS,% Burge:1991:SRI% }. \NAMECITE{{IFIP}}{% Anonymous:1992:PEH% }. \NAMECITE{ihre}{% Zenger:1992:GFD% }. \NAMECITE{{II}}{% Burge:1987:ISS,% Burge:1989:ISS,% Davenport:1991:SVA,% Davenport:1992:SVAb,% Dicrescenzo:1989:AEA,% Jenks:1986:SIA,% Jenks:1988:SIA,% Kusche:1989:IGT,% Senechaud:1987:SIP,% Shi:2007:CSIb,% Sutor:1985:SIC,% Sutor:1987:TICa,% Sutor:1987:TICb,% Sutor:1988:SIA,% Wang:1989:PCL% }. \NAMECITE{IMACS}{% Jacob:1993:PSI% }. \NAMECITE{Implantation}{% Fouche:1990:ILK% }. \NAMECITE{Implementation}{% Broadbery:1995:IDE,% Daly:2005:AVAh,% Fitch:1993:DIS,% Kusche:1989:IGT,% Li:2006:EIP,% Miola:1990:DIS,% Miola:1993:DIS,% Lucks:1986:FIP,% Rioboo:1992:RAC% }. \NAMECITE{Implementierung}{% Lueken:1977:UIF,% Zenger:1992:GFD% }. \NAMECITE{inexpensive}{% Lynch:1991:NQM% }. \NAMECITE{Inference}{% Sutor:1987:TICb,% Boehm:1989:TIP,% Fortenbacher:1990:ETI,% Sutor:1987:TICa% }. \NAMECITE{Infinite}{% Burge:1987:ISS,% Burge:1989:ISS% }. \NAMECITE{{Ingenieurmathematik}}{% Benker:1998:ICS% }. \NAMECITE{installation}{% Gebauer:1988:IBA% }. \NAMECITE{integrable}{% Seiler:1994:PDO% }. \NAMECITE{integral}{% vanHoeij:1994:ACI% }. \NAMECITE{interactive}{% Griesmer:1971:SIF,% Online:1972:OCP% }. \NAMECITE{interconnection}{% Purtilo:1986:ASI% }. \NAMECITE{International}{% ACM:1989:PAI,% ACM:1994:IPI,% Bronstein:1993:IPI,% Brown:2007:PIS,% Cohen:1991:EIS,% Dooley:1999:IJS,% Fitch:1984:E,% Fitch:1993:DIS,% Gianni:1989:SAC,% Huguet:1989:AAA,% Jacob:1993:PSI,% Janssen:1988:TCA,% Levelt:1995:IPI,% Miola:1990:DIS,% Miola:1993:DIS,% Mora:1989:AAA,% Shi:2007:CSIb,% Watanabe:1990:IPI,% Watt:1991:PIS,% Online:1972:OCP,% Wang:1992:ISS% }. \NAMECITE{Interpreter}{% Daly:2003:AVA,% Sutor:1987:TICb,% Sutor:1987:TICa% }. \NAMECITE{Interpreters}{% Wexelblat:1987:IIT% }. \NAMECITE{Interpretive}{% Wexelblat:1987:IIT% }. \NAMECITE{Introduction}{% Gruntz:1994:IG% }. \NAMECITE{Inversibility}{% Ollivier:1989:IRM% }. \NAMECITE{involution}{% Seiler:1994:CIA% }. \NAMECITE{involving}{% Keady:1994:PAS% }. \NAMECITE{ISSAC}{% ACM:1989:PAI,% Gianni:1989:SAC,% Dooley:1999:IJS,% Levelt:1995:IPI,% Watanabe:1990:IPI% }. \NAMECITE{ISSAC'91}{% Watt:1991:PIS% }. \NAMECITE{{ISSAC'93}}{% Bronstein:1993:IPI% }. \NAMECITE{{ISSAC'94.}}{% ACM:1994:IPI% }. \NAMECITE{{It{\^o}}}{% Kendall:2001:SIC% }. \NAMECITE{Italy}{% Gianni:1989:SAC,% Miola:1990:DIS,% Mora:1989:AAA% }. \NAMECITE{iteration}{% Mathews:1989:SCA% }. \NAMECITE{{Jenks}}{% Caviness:2004:MRD% }. \NAMECITE{{Jordan}}{% Gil:1992:CJC% }. \NAMECITE{July}{% Bronstein:1993:IPI,% Brown:2007:PIS,% Dooley:1999:IJS,% Fitch:1984:E,% Gianni:1989:SAC,% Golden:1984:PMU,% Levelt:1995:IPI,% Mora:1989:AAA,% Watt:1991:PIS% }. \NAMECITE{June}{% Wexelblat:1987:IIT% }. \NAMECITE{keys}{% Jenks:1984:PKN% }. \NAMECITE{Kiev}{% Bronstein:1993:IPI% }. \NAMECITE{{Kovacic}}{% Fouche:1990:ILK% }. \NAMECITE{kryptologischen}{% Grabmeier:1991:CSA% }. \NAMECITE{langage}{% Senechaud:1987:SIP% }. \NAMECITE{Language}{% Jenks:1984:NSL,% Sutor:1985:SIC,% Dalmas:1992:PFL,% Gil:1992:CJC,% Jenks:1974:SL% }. \NAMECITE{Level}{% Anonymous:1992:PEH,% Li:2006:EIP% }. \NAMECITE{{Liapunov}}{% Wang:1989:PCL% }. \NAMECITE{Library}{% Beebe:2017:MFC% }. \NAMECITE{{Lie}}{% Koseleff:1991:WGF% }. \NAMECITE{linear}{% Gebauer:1986:BAS,% Schwarz:1989:FAL,% Sit:1992:ASP% }. \NAMECITE{link}{% Keady:1994:PAS% }. \NAMECITE{Linz}{% Buchberger:1985:EEC% }. \NAMECITE{liquids}{% Roesner:1995:VSP% }. \NAMECITE{MACSYMA}{% Benker:1998:ICS,% Golden:1984:PMU% }. \NAMECITE{make}{% Jenks:1994:HMA% }. \NAMECITE{Manipulation}{% Petrick:1971:PSS,% Fateman:1990:ATD,% Wang:1991:MMC% }. \NAMECITE{MAPLE}{% Benker:1998:ICS% }. \NAMECITE{mappings}{% Ollivier:1989:IRM% }. \NAMECITE{March}{% Petrick:1971:PSS% }. \NAMECITE{material}{% Goodwin:1991:UMT% }. \NAMECITE{math}{% Griesmer:1972:EOSb% }. \NAMECITE{MATHCAD}{% Benker:1998:ICS,% Beneke:1994:DFM,% Goodwin:1991:UMT,% LeBlanc:1991:UMT,% Melachrinoudis:1990:TAT% }. \NAMECITE{{MathCW}}{% Beebe:2017:MFC% }. \NAMECITE{MATHEMATICA}{% Benker:1998:ICS% }. \NAMECITE{Mathematical}{% Beebe:2017:MFC,% Jenks:1988:SIA,% Jenks:1986:SIA,% Purtilo:1986:ASI,% Sutor:1988:SIA% }. \NAMECITE{Mathematical-Function}{% Beebe:2017:MFC% }. \NAMECITE{mathematics}{% Benker:1998:ICS,% Griesmer:1971:SIF% }. \NAMECITE{MATLAB}{% Benker:1998:ICS% }. \NAMECITE{matrix}{% Gil:1992:CJC% }. \NAMECITE{May}{% Janssen:1988:TCA,% Shi:2007:CSIb% }. \NAMECITE{Mechanical}{% Wang:1991:MMC,% Lynch:1991:NQM% }. \NAMECITE{Meeting}{% Anonymous:1995:GAM% }. \NAMECITE{membership}{% Shannon:1988:UGB% }. \NAMECITE{Memoriam}{% Caviness:2004:MRD% }. \NAMECITE{{META}}{% Jenks:1971:MPS% }. \NAMECITE{{META/PLUS}}{% Jenks:1971:MPS% }. \NAMECITE{method}{% Boulanger:1995:OOM,% Watt:1989:FPM% }. \NAMECITE{minimum}{% Augot:1991:MDS% }. \NAMECITE{Minnesota}{% Wexelblat:1987:IIT% }. \NAMECITE{Monomial}{% Schwarz:1991:MOG% }. \NAMECITE{Montr{\'e}al}{% Levelt:1995:IPI% }. \NAMECITE{multinomial}{% Sit:1989:GAS% }. \NAMECITE{Multiple}{% Li:2006:EIP% }. \NAMECITE{Multiple-Level}{% Li:2006:EIP% }. \NAMECITE{MuPAD}{% Benker:1998:ICS% }. \NAMECITE{{MuPAD.}}{% Benker:1998:ICS% }. \NAMECITE{{NAG}}{% Keady:1994:PAS% }. \NAMECITE{Neuenahr}{% Janssen:1988:TCA% }. \NAMECITE{{Newton}}{% Augot:1991:MDS% }. \NAMECITE{{Newtonian}}{% Roesner:1995:VSP% }. \NAMECITE{Next}{% Lambe:1994:NGC% }. \NAMECITE{{non}}{% Roesner:1995:VSP% }. \NAMECITE{{non-Newtonian}}{% Roesner:1995:VSP% }. \NAMECITE{nonlinear}{% Keady:1994:PAS% }. \NAMECITE{nouveau}{% Senechaud:1987:SIP% }. \NAMECITE{Numbers}{% Arnault:1995:CCN% }. \NAMECITE{Object}{% Boulanger:1995:OOM,% Smedley:1992:UPO% }. \NAMECITE{One}{% Davenport:1992:HDO% }. \NAMECITE{ongoing}{% Kendall:2001:SIC% }. \NAMECITE{online}{% Griesmer:1972:EOSb,% Online:1972:OCP,% Online:1972:OCP% }. \NAMECITE{Ontario}{% Brown:2007:PIS% }. \NAMECITE{Open}{% Daly:2002:AOS,% Joyner:2008:OSC,% Page:2007:AOS% }. \NAMECITE{operators}{% Seiler:1994:PDO% }. \NAMECITE{order}{% Sit:1989:GAS% }. \NAMECITE{ordered}{% Rioboo:1992:RAC% }. \NAMECITE{orderings}{% Schwarz:1991:MOG% }. \NAMECITE{ordinary}{% Schwarz:1989:FAL% }. \NAMECITE{oriented}{% Boulanger:1995:OOM,% Smedley:1992:UPO% }. \NAMECITE{package}{% Kusche:1989:IGT,% Schwarz:1988:PAD% }. \NAMECITE{parameterized}{% Monagan:1993:GPD% }. \NAMECITE{parameters}{% Roesner:1995:VSP% }. \NAMECITE{parametric}{% Sit:1992:ASP% }. \NAMECITE{Part}{% Shi:2007:CSIb% }. \NAMECITE{Partial}{% Bronstein:1993:FPF% }. \NAMECITE{pattern}{% Jenks:1976:PC% }. \NAMECITE{Paul}{% Wexelblat:1987:IIT% }. \NAMECITE{perturbation}{% Lambe:1991:RHP,% Lynch:1991:NQM% }. \NAMECITE{{Picard}}{% Mathews:1989:SCA% }. \NAMECITE{pictorial}{% Smedley:1992:UPO% }. \NAMECITE{Pioneer}{% Caviness:2004:MRD% }. \NAMECITE{{PLUS}}{% Jenks:1971:MPS,% Beneke:1994:DFM% }. \NAMECITE{point}{% Watt:1989:FPM% }. \NAMECITE{polymorphic}{% Dalmas:1992:PFL% }. \NAMECITE{Polynomial}{% Li:2006:EIP,% Gianni:1989:ASS,% Lucks:1986:FIP% }. \NAMECITE{Portable}{% Beebe:2017:MFC% }. \NAMECITE{Power}{% Norman:1975:CFP,% Watt:1989:FPM% }. \NAMECITE{presence}{% Boehm:1989:TIP% }. \NAMECITE{Pr{\'e}sentation}{% Senechaud:1987:SIP% }. \NAMECITE{Primality}{% Davenport:1993:PTR% }. \NAMECITE{primer}{% Jenks:1984:PKN% }. \NAMECITE{Problem}{% Anonymous:1992:PEH,% Camion:1992:PCG,% Duval:1992:EPS,% Purtilo:1986:ASI% }. \NAMECITE{probl{\`e}me}{% Camion:1992:PCG% }. \NAMECITE{problems}{% Andrews:1988:ASP% }. \NAMECITE{Proceedings}{% ACM:1994:IPI,% Levelt:1995:IPI,% Shi:2007:CSIb,% Watanabe:1990:IPI,% Bronstein:1993:IPI,% Dooley:1999:IJS,% Online:1972:OCP,% ACM:1989:PAI,% Anonymous:1991:PAC,% Brown:2007:PIS,% Calmet:1994:RWC,% Cohen:1991:EIS,% Davenport:1989:EEC,% Fitch:1993:DIS,% Gianni:1989:SAC,% Golden:1984:PMU,% Huguet:1989:AAA,% Jacob:1993:PSI,% Janssen:1988:TCA,% Miola:1990:DIS,% Miola:1993:DIS,% Mora:1989:AAA,% Petrick:1971:PSS,% Watt:1991:PIS,% Wexelblat:1987:IIT,% Buchberger:1985:EEC% }. \NAMECITE{Production}{% Keady:1994:PAS% }. \NAMECITE{Program}{% Davenport:1992:HDO,% Wang:1989:PCL% }. \NAMECITE{Programmers}{% Daly:2005:AVAc% }. \NAMECITE{Programming}{% Anonymous:1992:PEH,% Beebe:2017:MFC,% Li:2006:EIP,% Li:2007:VGP,% Schwarz:1988:PAD,% Gil:1992:CJC,% Smedley:1992:UPO% }. \NAMECITE{proving}{% Kusche:1989:IGT% }. \NAMECITE{Pseudo}{% Seiler:1994:PDO% }. \NAMECITE{Pseudoprimes}{% Arnault:1995:CCN% }. \NAMECITE{quantum}{% Lynch:1991:NQM% }. \NAMECITE{{Ramanujan}}{% Andrews:1984:RS,% Burge:1991:SRI% }. \NAMECITE{Rational}{% Bronstein:1993:FPF,% Ollivier:1989:IRM% }. \NAMECITE{Real}{% Rioboo:1992:RAC,% Bronstein:1989:SRE% }. \NAMECITE{research}{% Lambe:1994:NGC% }. \NAMECITE{Resolutions}{% Lambe:1991:RHP% }. \NAMECITE{Revisited}{% Davenport:1993:PTR% }. \NAMECITE{{Rhine}}{% Calmet:1994:RWC% }. \NAMECITE{{Richard}}{% Caviness:2004:MRD% }. \NAMECITE{rings}{% Goodloe:1993:ADT% }. \NAMECITE{{Risch}}{% Bronstein:1991:RDE% }. \NAMECITE{{Rogers}}{% Burge:1991:SRI% }. \NAMECITE{Rome}{% Gianni:1989:SAC,% Mora:1989:AAA% }. \NAMECITE{sa}{% Camion:1992:PCG% }. \NAMECITE{Schenectady}{% Golden:1984:PMU% }. \NAMECITE{Science}{% Shi:2007:CSIb% }. \NAMECITE{Scientific}{% Anonymous:1992:PEH,% Jenks:1992:ASC,% Jenks:2003:AVS% }. \NAMECITE{Scratchpad}{% Jenks:1986:SIA,% Senechaud:1987:SIP,% Lynch:1991:NQM,% Andrews:1984:RS,% Burge:1987:ISS,% Griesmer:1971:SIF,% Griesmer:1972:EOSb,% Griesmer:1972:SCV,% Jenks:1971:MPS,% Jenks:1974:SL,% Jenks:1984:NSL,% Kusche:1989:IGT,% Andrews:1988:ASP,% Burge:1989:ISS,% Burge:1991:SRI,% Camion:1992:PCG,% Davenport:1984:S,% Davenport:1990:SVA,% Davenport:1991:SVA,% Davenport:1992:SVAa,% Davenport:1992:SVAb,% Dicrescenzo:1989:AEA,% Fouche:1990:ILK,% Jenks:1984:PKN,% Jenks:1988:SIA,% Jenks:1994:HMA,% Lambe:1994:NGC,% Schwarz:1988:PAD,% Sutor:1985:SIC,% Sutor:1987:TICa,% Sutor:1987:TICb,% Sutor:1988:SIA,% Wang:1989:PCL% }. \NAMECITE{{SCRATCHPAD/1}}{% Griesmer:1971:SIF% }. \NAMECITE{second}{% Petrick:1971:PSS% }. \NAMECITE{September}{% Miola:1993:DIS,% Online:1972:OCP% }. \NAMECITE{Series}{% Norman:1975:CFP,% Watt:1989:FPM% }. \NAMECITE{Several}{% Arnault:1995:CCN,% Koseleff:1991:WGF% }. \NAMECITE{signature}{% Monagan:1993:GPD% }. \NAMECITE{SIGPLAN}{% Wexelblat:1987:IIT% }. \NAMECITE{SIGSAM}{% ACM:1989:PAI% }. \NAMECITE{Simon}{% Dooley:1999:IJS% }. \NAMECITE{simplicial}{% Brown:1994:CSC% }. \NAMECITE{Simplification}{% Bronstein:1989:SRE% }. \NAMECITE{Society}{% Anonymous:1991:PAC% }. \NAMECITE{Software}{% Beebe:2017:MFC,% Melachrinoudis:1990:TAT,% Purtilo:1986:ASI% }. \NAMECITE{solution}{% Camion:1992:PCG,% Gianni:1989:ASS,% Roesner:1995:VSP% }. \NAMECITE{solutions}{% Roesner:1995:VSP% }. \NAMECITE{Solving}{% Anonymous:1992:PEH,% Duval:1992:EPS,% Purtilo:1986:ASI,% Sit:1989:GAS,% Sit:1992:ASP% }. \NAMECITE{some}{% Augot:1991:MDS% }. \NAMECITE{Source}{% Daly:2002:AOS,% Joyner:2008:OSC,% Page:2007:AOS% }. \NAMECITE{{SPDE}}{% Schwarz:1988:PAD% }. \NAMECITE{special}{% Andrews:1988:ASP% }. \NAMECITE{split}{% Shannon:1988:UGB% }. \NAMECITE{square}{% Gil:1992:CJC% }. \NAMECITE{St}{% Wexelblat:1987:IIT% }. \NAMECITE{staggered}{% Gebauer:1986:BAS% }. \NAMECITE{{Standard}}{% Beneke:1994:DFM% }. \NAMECITE{story}{% Kendall:2001:SIC% }. \NAMECITE{Strong}{% Arnault:1995:CCN% }. \NAMECITE{structural}{% Ollivier:1989:IRM% }. \NAMECITE{Structures}{% Burge:1987:ISS,% Burge:1989:ISS% }. \NAMECITE{{SubPrograms}}{% Keady:1994:PAS% }. \NAMECITE{support}{% Monagan:1993:GPD% }. \NAMECITE{surjective}{% Shannon:1988:UGB% }. \NAMECITE{Symbolic}{% ACM:1989:PAI,% ACM:1994:IPI,% Bronstein:1993:IPI,% Brown:2007:PIS,% Dooley:1999:IJS,% Fitch:1984:E,% Fitch:1993:DIS,% Jacob:1993:PSI,% Kendall:2001:SIC,% Levelt:1995:IPI,% Li:2007:VGP,% Mathews:1989:SCA,% Miola:1990:DIS,% Miola:1993:DIS,% Petrick:1971:PSS,% Wang:1992:ISS,% Watanabe:1990:IPI,% Watt:1991:PIS,% Dalmas:1992:PFL,% Griesmer:1971:SIF,% Griesmer:1972:EOSb,% Gianni:1989:SAC% }. \NAMECITE{symmetry}{% Schwarz:1988:PAD% }. \NAMECITE{Symposium}{% ACM:1989:PAI,% ACM:1994:IPI,% Bronstein:1993:IPI,% Brown:2007:PIS,% Cohen:1991:EIS,% Dooley:1999:IJS,% Fitch:1984:E,% Fitch:1993:DIS,% Gianni:1989:SAC,% Jacob:1993:PSI,% Janssen:1988:TCA,% Levelt:1995:IPI,% Miola:1990:DIS,% Miola:1993:DIS,% Wang:1992:ISS,% Watanabe:1990:IPI,% Watt:1991:PIS,% Wexelblat:1987:IIT,% Petrick:1971:PSS% }. \NAMECITE{Syntax}{% Jenks:1971:MPS% }. \NAMECITE{System}{% Davenport:1992:AS,% Davenport:1992:HDO,% Grabmeier:1991:CSA,% Jenks:1984:NSL,% Jenks:1988:SIA,% Jenks:1992:ASC,% Jenks:2003:AVS,% Sutor:1985:SIC,% Wang:1992:ISS,% Griesmer:1972:EOSb,% Jenks:1986:SIA,% Monagan:1993:GPD,% Page:2007:AOS,% Purtilo:1986:ASI,% Sutor:1988:SIA% }. \NAMECITE{Systemen}{% Benker:1998:ICS% }. \NAMECITE{Systems}{% Davenport:1988:CA,% Fitch:1993:DIS,% Miola:1990:DIS,% Miola:1993:DIS,% Benker:1998:ICS,% Fateman:1990:ATD,% Gianni:1989:ASS,% Grabmeier:2003:CAH,% Joyner:2008:OSC,% Keady:1994:PAS,% Lambe:1994:NGC,% Seiler:1994:PDO,% Sit:1989:GAS,% Sit:1992:ASP,% Wang:1991:MMC% }. \NAMECITE{{TC2}}{% Anonymous:1992:PEH% }. \NAMECITE{{TC2}/{WG}}{% Anonymous:1992:PEH% }. \NAMECITE{Teaching}{% Melachrinoudis:1990:TAT,% Goodwin:1991:UMT% }. \NAMECITE{technique}{% Lynch:1991:NQM% }. \NAMECITE{Techniques}{% Wexelblat:1987:IIT% }. \NAMECITE{{TELEKOM}}{% Grabmeier:1991:CSA% }. \NAMECITE{Testing}{% Davenport:1993:PTR% }. \NAMECITE{theorem}{% Kusche:1989:IGT% }. \NAMECITE{{Theorist}}{% LeBlanc:1991:UMT% }. \NAMECITE{Theory}{% Cohen:1991:EIS% }. \NAMECITE{track}{% Beneke:1994:DFM% }. \NAMECITE{transparent}{% Melachrinoudis:1990:TAT% }. \NAMECITE{Trends}{% Jacob:1993:PSI,% Fateman:1990:ATD,% Janssen:1988:TCA% }. \NAMECITE{Tutorial}{% Daly:2006:AVA% }. \NAMECITE{Type}{% Boehm:1989:TIP,% Sutor:1987:TICb,% Fortenbacher:1990:ETI,% Goodloe:1993:ADT,% Sutor:1987:TICa% }. \NAMECITE{types}{% Schwarz:1988:PAD% }. \NAMECITE{{Ueberlegungen}}{% Lueken:1977:UIF% }. \NAMECITE{{Ukraine}}{% Bronstein:1993:IPI% }. \NAMECITE{University}{% Brown:2007:PIS,% Dooley:1999:IJS,% Online:1972:OCP% }. \NAMECITE{Untersuchungen}{% Grabmeier:1991:CSA% }. \NAMECITE{use}{% LeBlanc:1991:UMT% }. \NAMECITE{User}{% Golden:1984:PMU% }. \NAMECITE{Users}{% Daly:2005:AVAb,% Beneke:1994:DFM% }. \NAMECITE{Using}{% Beebe:2017:MFC,% Goodwin:1991:UMT,% Shannon:1988:UGB,% Smedley:1992:UPO,% Duval:1992:EPS,% Gianni:1989:ASS,% Gil:1992:CJC,% Lynch:1991:NQM,% Roesner:1995:VSP% }. \NAMECITE{Uxbridge}{% Online:1972:OCP% }. \NAMECITE{Vancouver}{% Dooley:1999:IJS% }. \NAMECITE{Verified}{% Roesner:1995:VSP% }. \NAMECITE{verkehrstheoretischen}{% Grabmeier:1991:CSA% }. \NAMECITE{versions}{% Beneke:1994:DFM% }. \NAMECITE{via}{% Augot:1991:MDS,% Lambe:1991:RHP% }. \NAMECITE{View}{% Davenport:1990:SVA,% Davenport:1992:SVAa,% Davenport:1992:SVAb,% Davenport:1991:SVA,% Griesmer:1972:SCV% }. \NAMECITE{Virtues}{% Li:2007:VGP% }. \NAMECITE{Volume}{% Daly:2003:AVA,% Daly:2005:AVAb,% Daly:2005:AVAc,% Daly:2005:AVAd,% Daly:2005:AVAe,% Daly:2005:AVAf,% Daly:2005:AVAg,% Daly:2005:AVAh,% Daly:2005:AVAi,% Daly:2005:AVAj,% Daly:2006:AVA,% Jenks:2003:AVS,% Portes:2007:AVA% }. \NAMECITE{Waterloo}{% Brown:2007:PIS% }. \NAMECITE{{WG}}{% Anonymous:1992:PEH% }. \NAMECITE{Which}{% Arnault:1995:CCN% }. \NAMECITE{will}{% Beneke:1994:DFM% }. \NAMECITE{Word}{% Koseleff:1991:WGF% }. \NAMECITE{Working}{% Anonymous:1992:PEH% }. \NAMECITE{Workshop}{% Calmet:1994:RWC% }. \NAMECITE{{World}}{% Anonymous:1991:PAC% }. \NAMECITE{York}{% Golden:1984:PMU% }. \NAMECITE{zur}{% Lueken:1977:UIF% }.