%%======================================================================
%% 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:18:09 MST 2023
%%======================================================================

\ifx \NAMECITE \undefined % User can override this definition 
    \def \NAMECITE #1#2{{\bf #1} \cite{#2}}
\fi



\NAMECITE{$ 2 W $}{%
		Murao:2000:AAE%
		}.
\NAMECITE{$D$}{%
		Tsai:2000:WCI%
		}.


\NAMECITE{{}-ary}{%
		Murao:2000:AAE%
		}.
\NAMECITE{{}-ideal}{%
		Tsai:2000:WCI%
		}.


\NAMECITE{'01}{%
		ACM:2001:PSA%
		}.


\NAMECITE{{1.0}}{%
		Greuel:1997:SCA%
		}.
\NAMECITE{{1.2.2}}{%
		Anonymous:1995:Ma,%
		Zimmermann:1995:WTS%
		}.
\NAMECITE{{1.3}}{%
		Postel:1997:NIM%
		}.
\NAMECITE{{1.4}}{%
		Anonymous:2001:MMb,%
		Sorgatz:1999:DMU%
		}.
\NAMECITE{{1994}}{%
		Heck:1994:HIS%
		}.
\NAMECITE{{1999}}{%
		Wester:1999:IAC%
		}.
\NAMECITE{{1st}}{%
		Grossman:1995:IIC%
		}.


\NAMECITE{{2.0}}{%
		Anonymous:2001:MMb,%
		Anonymous:2001:MQR%
		}.
\NAMECITE{{2003}}{%
		ACM:2003:PNA%
		}.


\NAMECITE{5th}{%
		Carriere:1996:PRW%
		}.


\NAMECITE{'96}{%
		Lakshman:1996:IPI%
		}.
\NAMECITE{'97}{%
		Kaltofen:1997:PPS,%
		Macsyma:1998:MSI%
		}.


\NAMECITE{abstract}{%
		Anonymous:2001:ALA,%
		Thiery:2008:IAC%
		}.
\NAMECITE{administration}{%
		Sorgatz:1996:DMV%
		}.
\NAMECITE{{adt}}{%
		Anonymous:2001:ALA%
		}.
\NAMECITE{Advanced}{%
		Harris:2000:ANM%
		}.
\NAMECITE{aided}{%
		Thiery:2000:AIGa%
		}.
\NAMECITE{Algebra}{%
		Anonymous:1993:PCA,%
		Anonymous:1993:SBD,%
		Anonymous:1996:MUM,%
		Fleischer:1995:CAS,%
		Gottheil:1994:DGB,%
		Greuel:1997:SCA,%
		Hillebrand:1995:MLM,%
		Hillebrand:1996:MLM,%
		Morisse:1994:CAS,%
		Oevel:1996:CAE,%
		Wester:1999:IAC,%
		Wiwianka:1992:MMA,%
		Wiwianka:1993:CAM,%
		Anonymous:2001:LLLc,%
		Benker:1998:ICS,%
		Cesari:1997:CCA,%
		Fuchssteiner:1993:MMA,%
		Fuchssteiner:1994:MMP,%
		Grabmeier:2003:CAH,%
		Kluge:1996:EPF,%
		Lewis:1999:CPO,%
		Lewis:2000:CPO,%
		Sorgatz:1996:DMV,%
		Grossman:1995:IIC,%
		Kluge:1996:EPF,%
		Carriere:1996:PRW%
		}.
\NAMECITE{Algebraic}{%
		ACM:1999:IJS,%
		ACM:2003:IPI,%
		Gloor:1998:IAU,%
		Greuel:1997:SCA,%
		Gutierrez:2004:IJU,%
		Lakshman:1996:IPI,%
		Roanes-Lozano:2004:GAS,%
		Thiery:2000:AIGa,%
		Thiery:2000:AIGb,%
		Thiery:2008:IAC,%
		Traverso:2000:IPI,%
		Ballarin:2004:SPL,%
		Ke:2000:SAC,%
		Krishnan:2001:PEM%
		}.
\NAMECITE{Algebrasystem}{%
		Wiwianka:1993:CAM%
		}.
\NAMECITE{algorithm}{%
		Murao:2000:AAE,%
		Popov:2000:OSA,%
		Tsarev:1996:ACE%
		}.
\NAMECITE{algorithms}{%
		Anonymous:2001:NLNb%
		}.
\NAMECITE{Amsterdam}{%
		Heck:1994:HIS%
		}.
\NAMECITE{analysis}{%
		Ke:2000:SAC%
		}.
\NAMECITE{Andrews}{%
		Traverso:2000:IPI%
		}.
\NAMECITE{Annual}{%
		ACM:2001:PSA,%
		ACM:2003:PNA%
		}.
\NAMECITE{{Anwendung}}{%
		Benker:1998:ICS%
		}.
\NAMECITE{Anwendungen}{%
		Anonymous:1993:SBD%
		}.
\NAMECITE{Apfel}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{application}{%
		Prieto:2000:MOA%
		}.
\NAMECITE{Applications}{%
		Grossman:1995:IIC,%
		Wester:1999:IAC,%
		Grabmeier:2003:CAH%
		}.
\NAMECITE{appraisement}{%
		Bernardin:1999:SCJ%
		}.
\NAMECITE{Approach}{%
		Zapotinschi:2006:TLP%
		}.
\NAMECITE{approximation}{%
		Popov:2000:OSA%
		}.
\NAMECITE{Architectures}{%
		Anonymous:1993:SBD%
		}.
\NAMECITE{Architekturen}{%
		Anonymous:1993:SBD%
		}.
\NAMECITE{ary}{%
		Murao:2000:AAE%
		}.
\NAMECITE{August}{%
		ACM:2003:IPI,%
		Fleischer:1995:CAS,%
		Gloor:1998:IAU,%
		Traverso:2000:IPI%
		}.
\NAMECITE{Austria}{%
		Maurer:1995:EMH%
		}.
\NAMECITE{{{Ax}}}{%
		Anonymous:2001:APA%
		}.
\NAMECITE{AXIOM}{%
		Benker:1998:ICS,%
		Benker:1998:ICS%
		}.
\NAMECITE{Axioms}{%
		Anonymous:2001:ACD,%
		Anonymous:2001:APA%
		}.


\NAMECITE{based}{%
		Naundorf:1996:DMF,%
		Thiery:2000:AIGb%
		}.
\NAMECITE{{Basen}}{%
		Gottheil:1994:DGB%
		}.
\NAMECITE{Bases}{%
		Gerdt:1997:MIB,%
		Roanes-Lozano:2004:GAS,%
		Anonymous:2001:GLG,%
		Drescher:1995:GBM,%
		Gottheil:1994:DGB,%
		Sato:2000:PCB%
		}.
\NAMECITE{Basic}{%
		Anonymous:2001:DBM%
		}.
\NAMECITE{BC}{%
		ACM:1999:IJS%
		}.
\NAMECITE{Behandlung}{%
		Anonymous:1993:SBD%
		}.
\NAMECITE{{Benutzerhandbuch}}{%
		Fuchssteiner:1993:MMA%
		}.
\NAMECITE{{Bernoulli}}{%
		Hare:2000:RCB%
		}.
\NAMECITE{Bielefeld}{%
		Fleischer:1995:CAS%
		}.
\NAMECITE{Bildung}{%
		Oevel:1995:MBW%
		}.
\NAMECITE{bis}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{bivariate}{%
		Kai:2000:HCB%
		}.
\NAMECITE{black}{%
		Diaz:1998:FSM%
		}.
\NAMECITE{{Book}}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{{Boolean}}{%
		Sato:2000:PCB%
		}.
\NAMECITE{box}{%
		Diaz:1998:FSM%
		}.
\NAMECITE{B{\"u}hrke}{%
		Sittig:1997:LIP%
		}.


\NAMECITE{California}{%
		ACM:2003:PNA%
		}.
\NAMECITE{{CALYPSO}}{%
		Cesari:1997:CCA%
		}.
\NAMECITE{Canada}{%
		ACM:1999:IJS%
		}.
\NAMECITE{Cantabria}{%
		Gutierrez:2004:IJU%
		}.
\NAMECITE{{{Cat}}}{%
		Anonymous:2001:CPC%
		}.
\NAMECITE{Categories}{%
		Anonymous:2001:ACD,%
		Anonymous:2001:CPC%
		}.
\NAMECITE{Challenge}{%
		Macsyma:1998:MSI%
		}.
\NAMECITE{challenges}{%
		Fee:1997:PPCb%
		}.
\NAMECITE{checking}{%
		Anonymous:2001:TLT%
		}.
\NAMECITE{closure}{%
		Tsai:2000:WCI%
		}.
\NAMECITE{code}{%
		Sorgatz:1996:DMV%
		}.
\NAMECITE{column}{%
		Volcheck:1997:TRCc%
		}.
\NAMECITE{{Combinat}}{%
		Thiery:2008:IAC,%
		Anonymous:2001:CLC%
		}.
\NAMECITE{Combinatorics}{%
		Thiery:2008:IAC,%
		Anonymous:2001:CLC%
		}.
\NAMECITE{Commutative}{%
		Greuel:1997:SCA%
		}.
\NAMECITE{Comparing}{%
		Fateman:2003:CSP%
		}.
\NAMECITE{Comparison}{%
		Lewis:1999:CPO,%
		Lewis:2000:CPO%
		}.
\NAMECITE{complete}{%
		Tsarev:1996:ACE%
		}.
\NAMECITE{Complexes}{%
		Anonymous:1993:SBD%
		}.
\NAMECITE{Computation}{%
		ACM:2003:IPI,%
		Beebe:2017:MFC,%
		Kaltofen:1997:PPS,%
		Lakshman:1996:IPI,%
		Traverso:2000:IPI,%
		Bernardin:1999:SCJ,%
		Cesari:1997:CCA,%
		Hare:2000:RCB,%
		Heck:1994:HIS,%
		Kai:2000:HCB,%
		Ke:2000:SAC,%
		Krishnan:2001:PEM,%
		Sato:2000:PCB,%
		ACM:1999:IJS,%
		Gloor:1998:IAU,%
		Gutierrez:2004:IJU%
		}.
\NAMECITE{Computational}{%
		ACM:2001:PSA,%
		ACM:2003:PNA%
		}.
\NAMECITE{computations}{%
		Augusta:2009:PLN%
		}.
\NAMECITE{Computer}{%
		Anonymous:1993:PCA,%
		Anonymous:1993:SBD,%
		Gottheil:1994:DGB,%
		Grabmeier:2003:CAH,%
		Greuel:1997:SCA,%
		Grossman:1995:IIC,%
		Hillebrand:1995:MLM,%
		Hillebrand:1996:MLM,%
		Morisse:1994:CAS,%
		Oevel:1996:CAE,%
		Wester:1999:IAC,%
		Wiwianka:1993:CAM,%
		Benker:1998:ICS,%
		Carriere:1996:PRW,%
		Cesari:1997:CCA,%
		Kluge:1996:EPF,%
		Lewis:1999:CPO,%
		Lewis:2000:CPO,%
		Sorgatz:1996:DMV,%
		Thiery:2000:AIGa,%
		Thiery:2000:AIGb,%
		Fleischer:1995:CAS,%
		Kluge:1996:EPF%
		}.
\NAMECITE{Computer-Algebra}{%
		Gottheil:1994:DGB,%
		Wiwianka:1993:CAM,%
		Kluge:1996:EPF%
		}.
\NAMECITE{Computer-Algebrasystem}{%
		Wiwianka:1993:CAM%
		}.
\NAMECITE{Computeralgebra}{%
		Anonymous:1993:SBD,%
		Benker:1998:ICS,%
		Hillebrand:1995:MLM,%
		Hillebrand:1996:MLM,%
		Sorgatz:1996:DMV%
		}.
\NAMECITE{Computeralgebra-Anwendungen}{%
		Anonymous:1993:SBD%
		}.
\NAMECITE{Computeralgebra-Systemen}{%
		Benker:1998:ICS,%
		Sorgatz:1996:DMV%
		}.
\NAMECITE{Computing}{%
		Huber:2000:CGF,%
		Majewski:2002:MPC,%
		Majewski:2004:MPC,%
		Sorgatz:1999:THP%
		}.
\NAMECITE{Concept}{%
		Sorgatz:1997:DMC%
		}.
\NAMECITE{Conference}{%
		Grossman:1995:IIC,%
		Maurer:1995:EMH,%
		Wester:1999:IAC%
		}.
\NAMECITE{constraint}{%
		Ballarin:2004:SPL%
		}.
\NAMECITE{Copernicus}{%
		Anonymous:2005:MFM%
		}.


\NAMECITE{Data}{%
		Wiwianka:1992:MMA,%
		Anonymous:2001:ALA,%
		Anonymous:2001:DBM,%
		Anonymous:2001:IID,%
		Anonymous:2001:SDT,%
		Fuchssteiner:1993:MMA,%
		Fuchssteiner:1994:MMP,%
		Anonymous:1996:MUM%
		}.
\NAMECITE{{datatypes}}{%
		Anonymous:2001:DBM%
		}.
\NAMECITE{Demonstration}{%
		Bachmann:1997:DEM%
		}.
\NAMECITE{denotational}{%
		Naundorf:1996:DMF%
		}.
\NAMECITE{denotationales}{%
		Naundorf:1996:DMF%
		}.
\NAMECITE{DERIVE}{%
		Benker:1998:ICS,%
		Benker:1998:ICS%
		}.
\NAMECITE{{detools}}{%
		Anonymous:2001:DLD%
		}.
\NAMECITE{development}{%
		Thiery:2008:IAC,%
		Kluge:1996:EPF%
		}.
\NAMECITE{Developments}{%
		Morisse:1995:NDM%
		}.
\NAMECITE{Diego}{%
		ACM:2003:PNA%
		}.
\NAMECITE{Differential}{%
		Anonymous:1993:SBD,%
		Anonymous:2001:DLD,%
		Tsarev:1996:ACE,%
		Gottheil:1994:DGB%
		}.
\NAMECITE{{Differential-Gr{\"o}bner-Basen}}{%
		Gottheil:1994:DGB%
		}.
\NAMECITE{Differentialgleichungen}{%
		Anonymous:1993:SBD%
		}.
\NAMECITE{Dimensional}{%
		Zapotinschi:2006:TLP%
		}.
\NAMECITE{distributed}{%
		Bernardin:1997:MMP,%
		Naundorf:1997:MVS%
		}.
\NAMECITE{dla}{%
		Majewski:2005:MDN%
		}.
\NAMECITE{{{Dom}}}{%
		Anonymous:2001:DPD%
		}.
\NAMECITE{Domains}{%
		Anonymous:2001:ACD,%
		Anonymous:2001:DPD%
		}.
\NAMECITE{Dynamic}{%
		Sorgatz:1997:DMC,%
		Sorgatz:1997:DMSa,%
		Sorgatz:1997:DMSb,%
		Sorgatz:1997:MDM,%
		Sorgatz:1999:DMU,%
		Anonymous:2001:MLD,%
		Sorgatz:1996:DMV%
		}.
\NAMECITE{Dynamische}{%
		Sorgatz:1997:MDM,%
		Sorgatz:1996:DMV%
		}.


\NAMECITE{{ED}}{%
		Maurer:1995:EMH%
		}.
\NAMECITE{{ED}-{MEDIA}}{%
		Maurer:1995:EMH%
		}.
\NAMECITE{Edition}{%
		Fuchssteiner:1991:MOE%
		}.
\NAMECITE{Education}{%
		Oevel:1995:MBW,%
		Oevel:1996:CAE,%
		Wang:2003:WTW%
		}.
\NAMECITE{Educational}{%
		Maurer:1995:EMH,%
		Anonymous:2001:SET%
		}.
\NAMECITE{efficiency}{%
		Sorgatz:1996:DMV%
		}.
\NAMECITE{efficient}{%
		Krishnan:2001:PEM,%
		Lazard:2004:IQE%
		}.
\NAMECITE{Effizienz}{%
		Sorgatz:1996:DMV%
		}.
\NAMECITE{Engineering}{%
		Fleischer:1995:CAS,%
		Benker:1998:ICS%
		}.
\NAMECITE{{Entwicklung}}{%
		Kluge:1996:EPF%
		}.
\NAMECITE{enumeration}{%
		Tsarev:1996:ACE%
		}.
\NAMECITE{environment}{%
		Kluge:1996:EPF,%
		Sorgatz:1999:THP%
		}.
\NAMECITE{Equations}{%
		Anonymous:1993:SBD,%
		Anonymous:2001:DLD%
		}.
\NAMECITE{error}{%
		Popov:2000:OSA%
		}.
\NAMECITE{essentials}{%
		Majewski:2002:MPC,%
		Majewski:2004:MPC%
		}.
\NAMECITE{evaluation}{%
		Krishnan:2001:PEM%
		}.
\NAMECITE{Exact}{%
		Roanes-Lozano:2004:GAS,%
		Lazard:2004:IQE%
		}.
\NAMECITE{Exchanging}{%
		Bachmann:1997:DEM%
		}.
\NAMECITE{experiment}{%
		Ballarin:2004:SPL%
		}.
\NAMECITE{Experimental}{%
		Anonymous:1993:SBD%
		}.
\NAMECITE{Experimentelle}{%
		Anonymous:1993:SBD%
		}.
\NAMECITE{exploration}{%
		Thiery:2000:AIGb%
		}.
\NAMECITE{Expressions}{%
		Bachmann:1997:DEM%
		}.
\NAMECITE{extended}{%
		Murao:2000:AAE%
		}.


\NAMECITE{factorizations}{%
		Tsarev:1996:ACE%
		}.
\NAMECITE{fans}{%
		Huber:2000:CGF%
		}.
\NAMECITE{fast}{%
		Sorgatz:1997:MDM%
		}.
\NAMECITE{feedback}{%
		Thiery:2008:IAC%
		}.
\NAMECITE{Flexibilit{\"a}t}{%
		Sorgatz:1996:DMV%
		}.
\NAMECITE{flexibility}{%
		Sorgatz:1996:DMV%
		}.
\NAMECITE{formatted}{%
		Anonymous:2001:OLF%
		}.
\NAMECITE{foundations}{%
		Grabmeier:2003:CAH%
		}.
\NAMECITE{Fourth}{%
		Anonymous:2005:MFM%
		}.
\NAMECITE{{FOXBOX}}{%
		Diaz:1998:FSM%
		}.
\NAMECITE{{fp}}{%
		Anonymous:2001:FLF%
		}.
\NAMECITE{Fraser}{%
		ACM:1999:IJS%
		}.
\NAMECITE{Function}{%
		Beebe:2017:MFC,%
		Popov:2000:OSA%
		}.
\NAMECITE{functional}{%
		Anonymous:2001:FLF%
		}.
\NAMECITE{future}{%
		Drescher:1995:GBM%
		}.


\NAMECITE{Galilei}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{Gambini}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{Gauge}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{{GCD}}{%
		Murao:2000:AAE%
		}.
\NAMECITE{generate}{%
		Anonymous:2001:GGI,%
		Anonymous:2001:GGI%
		}.
\NAMECITE{geometric}{%
		Krishnan:2001:PEM%
		}.
\NAMECITE{Geometry}{%
		ACM:2001:PSA,%
		ACM:2003:PNA,%
		Greuel:1997:SCA,%
		Roanes-Lozano:2004:GAS%
		}.
\NAMECITE{German}{%
		Anonymous:1995:UPF,%
		Fuchssteiner:1993:MMA,%
		Gottheil:1994:DGB,%
		Hillebrand:1995:MLM,%
		Hillebrand:1996:MLM,%
		Kluge:1996:EPF,%
		Kraume:1996:SI,%
		Naundorf:1996:DMF,%
		Naundorf:1997:MVS,%
		Oevel:1995:MBW,%
		Sorgatz:1996:DMV,%
		Sorgatz:1997:MDM,%
		Wiwianka:1993:CAM,%
		Anonymous:1993:SBD,%
		Benker:1998:ICS,%
		Sittig:1997:LIP%
		}.
\NAMECITE{Germany}{%
		Gloor:1998:IAU,%
		Fleischer:1995:CAS%
		}.
\NAMECITE{{Geschlechterverh{\"a}ltnisse}}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{Getting}{%
		Majewski:2005:GSM%
		}.
\NAMECITE{graph}{%
		Anonymous:2001:NLG%
		}.
\NAMECITE{graphics}{%
		Anonymous:2001:PGL%
		}.
\NAMECITE{graphs}{%
		Thiery:2000:AIGa,%
		Thiery:2000:AIGb%
		}.
\NAMECITE{{{Gravity}}}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{{{Gravity}/MuPAD}}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{Graz}{%
		Maurer:1995:EMH%
		}.
\NAMECITE{{Grenzen}}{%
		Sorgatz:1997:MDM%
		}.
\NAMECITE{Gr{\"o}bner}{%
		Gottheil:1994:DGB,%
		Anonymous:2001:GLG,%
		Drescher:1995:GBM,%
		Gottheil:1994:DGB,%
		Huber:2000:CGF,%
		Roanes-Lozano:2004:GAS,%
		Sato:2000:PCB%
		}.
\NAMECITE{{groebner}}{%
		Anonymous:2001:GLG%
		}.
\NAMECITE{{Group}}{%
		Fuchssteiner:1991:MOE%
		}.
\NAMECITE{guide}{%
		Sorgatz:1999:DMU%
		}.


\NAMECITE{Handbook}{%
		Beebe:2017:MFC,%
		Fuchssteiner:1993:MMA,%
		Grabmeier:2003:CAH%
		}.
\NAMECITE{Haug}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{{HI}}{%
		Kaltofen:1997:PPS%
		}.
\NAMECITE{High}{%
		Sittig:1997:LIP,%
		Sorgatz:1999:THP%
		}.
\NAMECITE{high-performance}{%
		Sorgatz:1999:THP%
		}.
\NAMECITE{Higher}{%
		Zapotinschi:2006:TLP%
		}.
\NAMECITE{Higher-Dimensional}{%
		Zapotinschi:2006:TLP%
		}.
\NAMECITE{Human}{%
		Heck:1994:HIS%
		}.
\NAMECITE{Hybrid}{%
		Kai:2000:HCB%
		}.
\NAMECITE{Hypermedia}{%
		Maurer:1995:EMH%
		}.


\NAMECITE{ideal}{%
		Tsai:2000:WCI%
		}.
\NAMECITE{ideals}{%
		Huber:2000:CGF%
		}.
\NAMECITE{{II}}{%
		Hillebrand:1996:MLM%
		}.
\NAMECITE{im}{%
		Gottheil:1994:DGB%
		}.
\NAMECITE{IMACS}{%
		Grossman:1995:IIC,%
		Wester:1999:IAC%
		}.
\NAMECITE{impatient}{%
		Majewski:2005:MDN%
		}.
\NAMECITE{implementation}{%
		Lazard:2004:IQE%
		}.
\NAMECITE{Implementing}{%
		Thiery:2008:IAC%
		}.
\NAMECITE{import}{%
		Anonymous:2001:IID,%
		Anonymous:2001:IID%
		}.
\NAMECITE{increase}{%
		Sorgatz:1996:DMV%
		}.
\NAMECITE{independent}{%
		Oevel:2000:MTM%
		}.
\NAMECITE{{Ingenieurmathematik}}{%
		Benker:1998:ICS%
		}.
\NAMECITE{input}{%
		Anonymous:2001:GGI%
		}.
\NAMECITE{integer}{%
		Murao:2000:AAE%
		}.
\NAMECITE{integral}{%
		Anonymous:2001:TLI%
		}.
\NAMECITE{Integration}{%
		Sorgatz:1997:DMC,%
		Sorgatz:1997:DMSa,%
		Sorgatz:1997:DMSb,%
		Anonymous:2001:ITI,%
		Kraume:1996:SI,%
		Kraume:1996:SI%
		}.
\NAMECITE{interaction}{%
		Heck:1994:HIS%
		}.
\NAMECITE{International}{%
		ACM:1999:IJS,%
		ACM:2003:IPI,%
		Gloor:1998:IAU,%
		Grossman:1995:IIC,%
		Gutierrez:2004:IJU,%
		Kaltofen:1997:PPS,%
		Lakshman:1996:IPI,%
		Traverso:2000:IPI%
		}.
\NAMECITE{interpolation}{%
		Kai:2000:HCB%
		}.
\NAMECITE{Intersecting}{%
		Lazard:2004:IQE%
		}.
\NAMECITE{intersection}{%
		Dupont:2003:NOP%
		}.
\NAMECITE{{intlib}}{%
		Anonymous:2001:ITI%
		}.
\NAMECITE{introduction}{%
		Oevel:2000:MTM%
		}.
\NAMECITE{invariants}{%
		Thiery:2000:AIGa,%
		Thiery:2000:AIGb%
		}.
\NAMECITE{Inverse}{%
		Sittig:1997:LIP,%
		Popov:2000:OSA%
		}.
\NAMECITE{Involutive}{%
		Gerdt:1997:MIB%
		}.
\NAMECITE{{ISAAC}}{%
		Gutierrez:2004:IJU%
		}.
\NAMECITE{{ISSAC}}{%
		ACM:1999:IJS,%
		ACM:2003:IPI,%
		Gloor:1998:IAU,%
		Lakshman:1996:IPI,%
		Macsyma:1998:MSI,%
		Traverso:2000:IPI%
		}.
\NAMECITE{issues}{%
		Postel:1997:NIM%
		}.
\NAMECITE{iterative}{%
		Popov:2000:OSA%
		}.


\NAMECITE{Jauho}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{{Java}}{%
		Bernardin:1999:SCJ%
		}.
\NAMECITE{July}{%
		ACM:1999:IJS,%
		Anonymous:2005:MFM,%
		Gutierrez:2004:IJU,%
		Kaltofen:1997:PPS,%
		Lakshman:1996:IPI%
		}.
\NAMECITE{June}{%
		ACM:2001:PSA,%
		ACM:2003:PNA,%
		Maurer:1995:EMH%
		}.


\NAMECITE{Kinetics}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{Knots}{%
		Sittig:1997:LIP%
		}.


\NAMECITE{Level}{%
		Zapotinschi:2006:TLP%
		}.
\NAMECITE{Library}{%
		Beebe:2017:MFC,%
		Anonymous:2001:ALA,%
		Anonymous:2001:CLC,%
		Anonymous:2001:DLD,%
		Anonymous:2001:FLF,%
		Anonymous:2001:GLG,%
		Anonymous:2001:LLLa,%
		Anonymous:2001:LLLb,%
		Anonymous:2001:LLLc,%
		Anonymous:2001:MLD,%
		Anonymous:2001:MLP,%
		Anonymous:2001:NLG,%
		Anonymous:2001:NLNa,%
		Anonymous:2001:NLNb,%
		Anonymous:2001:OLF,%
		Anonymous:2001:OLO,%
		Anonymous:2001:PGL,%
		Anonymous:2001:PLPa,%
		Anonymous:2001:PLPb,%
		Anonymous:2001:SL,%
		Anonymous:2001:SLSa,%
		Anonymous:2001:SLSb,%
		Anonymous:2001:TLI,%
		Anonymous:2001:TLT,%
		Augusta:2009:PLN,%
		Cesari:1997:CCA%
		}.
\NAMECITE{limits}{%
		Sorgatz:1997:MDM%
		}.
\NAMECITE{{linalg}}{%
		Anonymous:2001:LLLc%
		}.
\NAMECITE{linear}{%
		Anonymous:2001:LLLb,%
		Anonymous:2001:LLLc,%
		Ballarin:2004:SPL,%
		Chan:2004:NLS,%
		Tsarev:1996:ACE%
		}.
\NAMECITE{{linopt}}{%
		Anonymous:2001:LLLb%
		}.
\NAMECITE{Linux}{%
		Hillebrand:1995:MLM,%
		Hillebrand:1996:MLM,%
		Hillebrand:1995:MLM,%
		Hillebrand:1996:MLM%
		}.
\NAMECITE{{Liouvillian}}{%
		Chan:2004:NLS%
		}.
\NAMECITE{Lise}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{list}{%
		Anonymous:2001:LLLa%
		}.
\NAMECITE{{listlib}}{%
		Anonymous:2001:LLLa%
		}.
\NAMECITE{{Loops}}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{{L{\"u}bbig}}{%
		Sittig:1997:LIP%
		}.


\NAMECITE{machine}{%
		Bernardin:1997:MMP,%
		Sorgatz:1996:DMV%
		}.
\NAMECITE{machine-code}{%
		Sorgatz:1996:DMV%
		}.
\NAMECITE{MACSYMA}{%
		Benker:1998:ICS,%
		Benker:1998:ICS,%
		Macsyma:1998:MSI,%
		PosZim:96,%
		Postel:1996:ROS%
		}.
\NAMECITE{Magazine}{%
		Fuchssteiner:1991:MOE%
		}.
\NAMECITE{{MAMMUT}}{%
		Naundorf:1997:MVS%
		}.
\NAMECITE{management}{%
		Naundorf:1997:MVS%
		}.
\NAMECITE{manipulating}{%
		Diaz:1998:FSM%
		}.
\NAMECITE{manipulation}{%
		Anonymous:2001:LLLa,%
		Anonymous:2001:PLPb,%
		Anonymous:2001:SLSa,%
		Naundorf:1997:MVS,%
		Naundorf:1997:MVS%
		}.
\NAMECITE{Manual}{%
		MuPAD:1996:MUM,%
		Anonymous:1996:MUM,%
		Sorgatz:1999:DMU%
		}.
\NAMECITE{MAPLE}{%
		Benker:1998:ICS,%
		Benker:1998:ICS,%
		Bernardin:1997:MMP,%
		PosZim:96,%
		Postel:1996:ROS%
		}.
\NAMECITE{March}{%
		Heck:1994:HIS%
		}.
\NAMECITE{Maschinencode}{%
		Sorgatz:1996:DMV%
		}.
\NAMECITE{Maschinencode-Objekte}{%
		Sorgatz:1996:DMV%
		}.
\NAMECITE{Massachusetts}{%
		ACM:2001:PSA%
		}.
\NAMECITE{massively}{%
		Bernardin:1997:MMP%
		}.
\NAMECITE{matching}{%
		Anonymous:2001:MLP%
		}.
\NAMECITE{{matchlib}}{%
		Anonymous:2001:MLP%
		}.
\NAMECITE{Math}{%
		Augusta:2009:PLN,%
		Anonymous:1995:UPF%
		}.
\NAMECITE{MATHCAD}{%
		Benker:1998:ICS,%
		Benker:1998:ICS%
		}.
\NAMECITE{{MathCW}}{%
		Beebe:2017:MFC%
		}.
\NAMECITE{MATHEMATICA}{%
		Benker:1998:ICS,%
		Benker:1998:ICS,%
		Harris:2000:ANM,%
		PosZim:96,%
		Postel:1996:ROS,%
		Prieto:2000:MOA%
		}.
\NAMECITE{Mathematical}{%
		Bachmann:1997:DEM,%
		Beebe:2017:MFC,%
		Anonymous:2001:TLT%
		}.
\NAMECITE{Mathematical-Function}{%
		Beebe:2017:MFC%
		}.
\NAMECITE{mathematics}{%
		Benker:1998:ICS,%
		Wang:2003:WTW,%
		Hillebrand:1995:MLM,%
		Hillebrand:1996:MLM%
		}.
\NAMECITE{{Mathematik}}{%
		Hillebrand:1995:MLM,%
		Hillebrand:1996:MLM%
		}.
\NAMECITE{{Matheprobleme}}{%
		Anonymous:1995:UPF%
		}.
\NAMECITE{MATHLAP}{%
		Benker:1998:ICS,%
		Benker:1998:ICS%
		}.
\NAMECITE{{MathPAD}}{%
		Anonymous:2005:MFM,%
		Fuchssteiner:1991:MOE%
		}.
\NAMECITE{{Matlab}}{%
		Augusta:2009:PLN%
		}.
\NAMECITE{Maui}{%
		Kaltofen:1997:PPS%
		}.
\NAMECITE{Medford}{%
		ACM:2001:PSA%
		}.
\NAMECITE{{MEDIA}}{%
		Maurer:1995:EMH%
		}.
\NAMECITE{Medizin}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{Meeting}{%
		Anonymous:2005:MFM%
		}.
\NAMECITE{{Meitner}}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{{Meitner}/Memel}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{Memel}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{memory}{%
		Bernardin:1997:MMP%
		}.
\NAMECITE{Minimal}{%
		Gerdt:1997:MIB%
		}.
\NAMECITE{{misc}}{%
		Anonymous:2001:MMa%
		}.
\NAMECITE{miscellanea}{%
		Anonymous:2001:MMa%
		}.
\NAMECITE{model}{%
		Naundorf:1996:DMF%
		}.
\NAMECITE{Modell}{%
		Naundorf:1996:DMF%
		}.
\NAMECITE{Module}{%
		Sorgatz:1996:DMV,%
		Sorgatz:1997:MDM,%
		Anonymous:2001:MLD%
		}.
\NAMECITE{Modules}{%
		Sorgatz:1997:DMC,%
		Sorgatz:1997:DMSa,%
		Sorgatz:1997:DMSb,%
		Anonymous:2001:MLD,%
		Sorgatz:1996:DMV,%
		Sorgatz:1997:MDM,%
		Sorgatz:1999:DMU%
		}.
\NAMECITE{{MP}}{%
		Bachmann:1997:DEM%
		}.
\NAMECITE{multi}{%
		Fuchssteiner:1994:MMP,%
		Anonymous:1996:MUM%
		}.
\NAMECITE{{Multi-Processing}}{%
		Anonymous:1996:MUM%
		}.
\NAMECITE{multidimensional}{%
		Augusta:2009:PLN%
		}.
\NAMECITE{Multimedia}{%
		Maurer:1995:EMH%
		}.
\NAMECITE{multiplication}{%
		Fateman:2003:CSP%
		}.
\NAMECITE{multiprecision}{%
		Krishnan:2001:PEM%
		}.
\NAMECITE{Multiprocessing}{%
		Wiwianka:1992:MMA,%
		Fuchssteiner:1993:MMA%
		}.
\NAMECITE{MuPAD}{%
		Anonymous:1993:SBD,%
		Anonymous:2005:MFM,%
		Benker:1998:ICS,%
		Fuchssteiner:1991:MOE,%
		Hillebrand:1995:MLM,%
		Hillebrand:1996:MLM,%
		Majewski:2005:GSM,%
		Anonymous:1993:SBD,%
		Anonymous:1995:Ma,%
		Anonymous:1995:Mb,%
		Anonymous:2001:DBM,%
		Anonymous:2001:MMb,%
		Anonymous:2001:MQR,%
		Benker:1998:ICS,%
		Creutzig:2004:MT,%
		Drescher:1995:GBM,%
		Fuchssteiner:1993:MMA,%
		Gottheil:1994:DGB,%
		Heckler:1997:PM,%
		Hillebrand:1995:MLM,%
		Hillebrand:1996:MLM,%
		Majewski:2002:MPC,%
		Majewski:2004:MPC,%
		Majewski:2005:MDN,%
		Morisse:1994:CAS,%
		Morisse:1995:NDM,%
		MuPAD:1996:MUM,%
		Naundorf:1995:PM,%
		Oevel:1995:MBW,%
		Oevel:2000:MTM,%
		PosZim:96,%
		Postel:1996:ROS,%
		Postel:1997:NIM,%
		Sittig:1997:LIP,%
		Sorgatz:1997:DMC,%
		Sorgatz:1997:DMSa,%
		Sorgatz:1997:DMSb,%
		Sorgatz:1997:MDM,%
		Sorgatz:1999:DMU,%
		Sorgatz:1999:THP,%
		Thiery:2008:IAC,%
		Wiwianka:1992:MMA,%
		Wiwianka:1993:CAM,%
		Zimmermann:1995:WTS,%
		Anonymous:1996:MUM,%
		Fuchssteiner:1994:MMP,%
		McAndrew:1999:M%
		}.
\NAMECITE{{MuPAD-Tutorium}}{%
		Oevel:2000:MTM%
		}.


\NAMECITE{Naturwissenschaft}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{Near}{%
		Dupont:2003:NOP%
		}.
\NAMECITE{Near-optimal}{%
		Dupont:2003:NOP%
		}.
\NAMECITE{nearly}{%
		Sorgatz:1997:MDM%
		}.
\NAMECITE{{{Network}}}{%
		Anonymous:2001:NLG%
		}.
\NAMECITE{{Newtons}}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{Nicholas}{%
		Anonymous:2005:MFM%
		}.
\NAMECITE{nichtlinearen}{%
		Anonymous:1993:SBD%
		}.
\NAMECITE{niecierpliwych}{%
		Majewski:2005:MDN%
		}.
\NAMECITE{nineteenth}{%
		ACM:2003:PNA%
		}.
\NAMECITE{Non}{%
		Chan:2004:NLS%
		}.
\NAMECITE{Non-{Liouvillian}}{%
		Chan:2004:NLS%
		}.
\NAMECITE{Nonlinear}{%
		Anonymous:1993:SBD%
		}.
\NAMECITE{notations}{%
		Harris:2000:ANM%
		}.
\NAMECITE{number}{%
		Anonymous:2001:NLNa%
		}.
\NAMECITE{numbers}{%
		Hare:2000:RCB%
		}.
\NAMECITE{{numeric}}{%
		Anonymous:2001:NLNb%
		}.
\NAMECITE{numerical}{%
		Anonymous:2001:NLNb%
		}.
\NAMECITE{{numlib}}{%
		Anonymous:2001:NLNa%
		}.


\NAMECITE{object}{%
		Naundorf:1996:DMF%
		}.
\NAMECITE{object-based}{%
		Naundorf:1996:DMF%
		}.
\NAMECITE{objects}{%
		Diaz:1998:FSM,%
		Sorgatz:1996:DMV%
		}.
\NAMECITE{objektbasierte}{%
		Naundorf:1996:DMF%
		}.
\NAMECITE{Objekte}{%
		Sorgatz:1996:DMV%
		}.
\NAMECITE{{ODE}}{%
		PosZim:96,%
		Postel:1996:ROS,%
		Anonymous:2001:O%
		}.
\NAMECITE{{ODEs}}{%
		Chan:2004:NLS%
		}.
\NAMECITE{ohne}{%
		Sorgatz:1997:MDM%
		}.
\NAMECITE{Online}{%
		Fuchssteiner:1991:MOE%
		}.
\NAMECITE{only}{%
		Thiery:2008:IAC%
		}.
\NAMECITE{{OpenMath}}{%
		Prieto:2000:MOA%
		}.
\NAMECITE{operator}{%
		Tsarev:1996:ACE%
		}.
\NAMECITE{Optics}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{Optimal}{%
		Popov:2000:OSA,%
		Dupont:2003:NOP%
		}.
\NAMECITE{optimization}{%
		Anonymous:2001:LLLb%
		}.
\NAMECITE{order}{%
		Chan:2004:NLS%
		}.
\NAMECITE{ordinary}{%
		Tsarev:1996:ACE%
		}.
\NAMECITE{oriented}{%
		Lewis:1999:CPO,%
		Lewis:2000:CPO%
		}.
\NAMECITE{orthogonal}{%
		Anonymous:2001:OLO%
		}.
\NAMECITE{{orthpoly}}{%
		Anonymous:2001:OLO%
		}.
\NAMECITE{other}{%
		Anonymous:2001:GGI%
		}.
\NAMECITE{output}{%
		Anonymous:2001:OLF,%
		Anonymous:2001:OLF%
		}.


\NAMECITE{p}{%
		Anonymous:1993:SBD%
		}.
\NAMECITE{{PA}}{%
		ACM:2003:IPI%
		}.
\NAMECITE{Parallel}{%
		Anonymous:1993:SBD,%
		Kaltofen:1997:PPS,%
		Sato:2000:PCB,%
		Bernardin:1997:MMP,%
		Cesari:1997:CCA,%
		Kluge:1996:EPF,%
		Naundorf:1996:DMF%
		}.
\NAMECITE{parallele}{%
		Anonymous:1993:SBD,%
		Naundorf:1996:DMF%
		}.
\NAMECITE{Parallelism}{%
		Heckler:1997:PM,%
		Naundorf:1995:PM%
		}.
\NAMECITE{Parallelverarbeitung}{%
		Kluge:1996:EPF%
		}.
\NAMECITE{parameterization}{%
		Dupont:2003:NOP%
		}.
\NAMECITE{parametric}{%
		Ballarin:2004:SPL%
		}.
\NAMECITE{{PASCO}}{%
		Kaltofen:1997:PPS%
		}.
\NAMECITE{pattern}{%
		Anonymous:2001:MLP%
		}.
\NAMECITE{performance}{%
		Sorgatz:1999:THP%
		}.
\NAMECITE{Perspectives}{%
		Anonymous:1993:PCA%
		}.
\NAMECITE{Philadelphia}{%
		ACM:2003:IPI%
		}.
\NAMECITE{{Physik}}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{platform}{%
		Oevel:2000:MTM%
		}.
\NAMECITE{play}{%
		Sorgatz:1997:MDM%
		}.
\NAMECITE{{plot}}{%
		Anonymous:2001:PGL%
		}.
\NAMECITE{{plotlib}}{%
		Anonymous:2001:P%
		}.
\NAMECITE{{Poland}}{%
		Anonymous:2005:MFM%
		}.
\NAMECITE{{Polish}}{%
		Majewski:2005:MDN%
		}.
\NAMECITE{{Polmat}}{%
		Augusta:2009:PLN%
		}.
\NAMECITE{{polylib}}{%
		Anonymous:2001:PLPb%
		}.
\NAMECITE{polynomial}{%
		Anonymous:2001:PLPb,%
		Fateman:2003:CSP,%
		Lewis:1999:CPO,%
		Lewis:2000:CPO%
		}.
\NAMECITE{polynomial-oriented}{%
		Lewis:1999:CPO,%
		Lewis:2000:CPO%
		}.
\NAMECITE{polynomials}{%
		Anonymous:2001:OLO%
		}.
\NAMECITE{Portable}{%
		Beebe:2017:MFC%
		}.
\NAMECITE{{PRECISE}}{%
		Krishnan:2001:PEM%
		}.
\NAMECITE{predefined}{%
		Anonymous:2001:APA,%
		Anonymous:2001:CPC,%
		Anonymous:2001:DPD%
		}.
\NAMECITE{predicates}{%
		Krishnan:2001:PEM%
		}.
\NAMECITE{{{Pref}}}{%
		Anonymous:2001:PUP%
		}.
\NAMECITE{preferences}{%
		Anonymous:2001:PUP%
		}.
\NAMECITE{{Pro}}{%
		Majewski:2002:MPC,%
		Majewski:2004:MPC%
		}.
\NAMECITE{problem}{%
		Murao:2000:AAE,%
		Sorgatz:1999:THP,%
		Sittig:1997:LIP%
		}.
\NAMECITE{{Problem}/B{\"u}hrke}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{Problems}{%
		Fee:1997:PPCb,%
		Anonymous:1995:UPF,%
		Macsyma:1998:MSI%
		}.
\NAMECITE{Proceedings}{%
		ACM:1999:IJS,%
		ACM:2003:IPI,%
		Gloor:1998:IAU,%
		Gutierrez:2004:IJU,%
		Kaltofen:1997:PPS,%
		Traverso:2000:IPI,%
		Lakshman:1996:IPI,%
		Maurer:1995:EMH,%
		ACM:2001:PSA,%
		ACM:2003:PNA,%
		Carriere:1996:PRW%
		}.
\NAMECITE{{Process}}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{{Process}/Haug}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{processing}{%
		Fuchssteiner:1994:MMP,%
		Kluge:1996:EPF,%
		Anonymous:1996:MUM%
		}.
\NAMECITE{Products}{%
		LJS:1997:NP%
		}.
\NAMECITE{{prog}}{%
		Anonymous:2001:PPT%
		}.
\NAMECITE{Program}{%
		Anonymous:1993:SBD,%
		Anonymous:1995:UPF%
		}.
\NAMECITE{{Programm}}{%
		Anonymous:1995:UPF%
		}.
\NAMECITE{programmer}{%
		Anonymous:2001:PPT%
		}.
\NAMECITE{Programmierumgebung}{%
		Kluge:1996:EPF%
		}.
\NAMECITE{Programming}{%
		Beebe:2017:MFC,%
		Zapotinschi:2006:TLP,%
		Anonymous:2001:FLF,%
		Ballarin:2004:SPL,%
		Kluge:1996:EPF,%
		Sorgatz:1999:DMU%
		}.
\NAMECITE{Programmpakete}{%
		Anonymous:1993:SBD%
		}.
\NAMECITE{programs}{%
		Anonymous:2001:GGI,%
		Fateman:2003:CSP%
		}.
\NAMECITE{Propagation}{%
		Zapotinschi:2006:TLP%
		}.
\NAMECITE{properties}{%
		Anonymous:2001:PLPa,%
		Anonymous:2001:TLT%
		}.
\NAMECITE{{property}}{%
		Anonymous:2001:PLPa%
		}.
\NAMECITE{Pullin}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{puzzles}{%
		Fee:1997:PPCb%
		}.


\NAMECITE{quadrics}{%
		Dupont:2003:NOP,%
		Lazard:2004:IQE%
		}.
\NAMECITE{Quantum}{%
		Sittig:1997:LIP,%
		Sittig:1997:LIP%
		}.
\NAMECITE{Questioning}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{Quick}{%
		Anonymous:2001:MQR%
		}.


\NAMECITE{Rapid}{%
		Hare:2000:RCB%
		}.
\NAMECITE{rational}{%
		Kai:2000:HCB%
		}.
\NAMECITE{Reference}{%
		Anonymous:2001:MQR%
		}.
\NAMECITE{related}{%
		Hare:2000:RCB%
		}.
\NAMECITE{reliable}{%
		Krishnan:2001:PEM%
		}.
\NAMECITE{Renneberg}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{report}{%
		Volcheck:1997:TRCc%
		}.
\NAMECITE{representation}{%
		Diaz:1998:FSM%
		}.
\NAMECITE{Research}{%
		Fuchssteiner:1991:MOE%
		}.
\NAMECITE{Review}{%
		Bernardin:1996:RSS,%
		PosZim:96,%
		Postel:1996:ROS%
		}.
\NAMECITE{reviews}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{RHINE}{%
		Carriere:1996:PRW%
		}.
\NAMECITE{{RIACA}}{%
		Heck:1994:HIS%
		}.
\NAMECITE{robust}{%
		Ke:2000:SAC%
		}.
\NAMECITE{roots}{%
		Krishnan:2001:PEM%
		}.
\NAMECITE{Rostock}{%
		Gloor:1998:IAU%
		}.


\NAMECITE{San}{%
		ACM:2003:PNA%
		}.
\NAMECITE{Sanitt}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{Santander}{%
		Gutierrez:2004:IJU%
		}.
\NAMECITE{SCG}{%
		ACM:2001:PSA%
		}.
\NAMECITE{SCG'03}{%
		ACM:2003:PNA%
		}.
\NAMECITE{Science}{%
		Fleischer:1995:CAS,%
		Oevel:1995:MBW,%
		Sittig:1997:LIP%
		}.
\NAMECITE{{Scotland}}{%
		Traverso:2000:IPI%
		}.
\NAMECITE{Second}{%
		Kaltofen:1997:PPS,%
		Chan:2004:NLS%
		}.
\NAMECITE{{Semiconductors}}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{{Semiconductors}/High}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{Seventeenth}{%
		ACM:2001:PSA%
		}.
\NAMECITE{Simon}{%
		ACM:1999:IJS%
		}.
\NAMECITE{{Singular}}{%
		Greuel:1997:SCA%
		}.
\NAMECITE{Singularity}{%
		Greuel:1997:SCA%
		}.
\NAMECITE{Software}{%
		Beebe:2017:MFC,%
		Sorgatz:1997:DMC,%
		Sorgatz:1997:DMSa,%
		Sorgatz:1997:DMSb%
		}.
\NAMECITE{Solitonen}{%
		Anonymous:1993:SBD%
		}.
\NAMECITE{Solitons}{%
		Anonymous:1993:SBD%
		}.
\NAMECITE{Solutions}{%
		Macsyma:1998:MSI,%
		Chan:2004:NLS%
		}.
\NAMECITE{{solvelib}}{%
		Anonymous:2001:SDT%
		}.
\NAMECITE{solver}{%
		Anonymous:2001:SDT%
		}.
\NAMECITE{Solvers}{%
		Bernardin:1996:RSS,%
		PosZim:96,%
		Postel:1996:ROS%
		}.
\NAMECITE{Solving}{%
		Ballarin:2004:SPL,%
		Roanes-Lozano:2004:GAS,%
		Sorgatz:1999:THP%
		}.
\NAMECITE{Some}{%
		Thiery:2008:IAC%
		}.
\NAMECITE{Spaces}{%
		Zapotinschi:2006:TLP%
		}.
\NAMECITE{Spain}{%
		Gutierrez:2004:IJU%
		}.
\NAMECITE{sparse}{%
		Fateman:2003:CSP%
		}.
\NAMECITE{speed}{%
		Fateman:2003:CSP%
		}.
\NAMECITE{Speicherverwaltung}{%
		Naundorf:1997:MVS%
		}.
\NAMECITE{Spiel}{%
		Sorgatz:1997:MDM%
		}.
\NAMECITE{St}{%
		Traverso:2000:IPI%
		}.
\NAMECITE{stability}{%
		Ke:2000:SAC%
		}.
\NAMECITE{standard}{%
		Anonymous:2001:SL%
		}.
\NAMECITE{Start}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{started}{%
		Majewski:2005:GSM%
		}.
\NAMECITE{starting}{%
		Popov:2000:OSA%
		}.
\NAMECITE{state}{%
		Drescher:1995:GBM%
		}.
\NAMECITE{statistics}{%
		Anonymous:2001:SLSb%
		}.
\NAMECITE{{stats}}{%
		Anonymous:2001:SLSb%
		}.
\NAMECITE{Steigerung}{%
		Sorgatz:1996:DMV%
		}.
\NAMECITE{Sternstunden}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{storage}{%
		Naundorf:1997:MVS%
		}.
\NAMECITE{string}{%
		Anonymous:2001:SLSa%
		}.
\NAMECITE{{stringlib}}{%
		Anonymous:2001:SLSa%
		}.
\NAMECITE{{student}}{%
		Anonymous:2001:SET%
		}.
\NAMECITE{study}{%
		Thiery:2000:AIGa,%
		Thiery:2000:AIGb%
		}.
\NAMECITE{suite}{%
		Zimmermann:1995:WTS%
		}.
\NAMECITE{Summary}{%
		Wester:1999:IAC%
		}.
\NAMECITE{{Switzerland}}{%
		Lakshman:1996:IPI%
		}.
\NAMECITE{Symbolic}{%
		ACM:1999:IJS,%
		ACM:2003:IPI,%
		Bernardin:1996:RSS,%
		Bernardin:1999:SCJ,%
		Gloor:1998:IAU,%
		Gutierrez:2004:IJU,%
		Kaltofen:1997:PPS,%
		Ke:2000:SAC,%
		Lakshman:1996:IPI,%
		Traverso:2000:IPI,%
		Cesari:1997:CCA,%
		Diaz:1998:FSM,%
		Heck:1994:HIS,%
		Naundorf:1997:MVS,%
		Sorgatz:1999:THP,%
		Anonymous:1993:SBD,%
		Augusta:2009:PLN,%
		Kraume:1996:SI%
		}.
\NAMECITE{symbolische}{%
		Naundorf:1997:MVS,%
		Anonymous:1993:SBD,%
		Kraume:1996:SI%
		}.
\NAMECITE{SymmPAD}{%
		Anonymous:1993:SBD,%
		Anonymous:1993:SBD%
		}.
\NAMECITE{Symposium}{%
		ACM:1999:IJS,%
		ACM:2001:PSA,%
		ACM:2003:IPI,%
		ACM:2003:PNA,%
		Gloor:1998:IAU,%
		Gutierrez:2004:IJU,%
		Kaltofen:1997:PPS,%
		Lakshman:1996:IPI,%
		Traverso:2000:IPI%
		}.
\NAMECITE{System}{%
		Anonymous:1993:SBD,%
		Gottheil:1994:DGB,%
		Greuel:1997:SCA,%
		Hillebrand:1995:MLM,%
		Hillebrand:1996:MLM,%
		Morisse:1994:CAS,%
		Wiwianka:1993:CAM,%
		Diaz:1998:FSM%
		}.
\NAMECITE{Systeme}{%
		Anonymous:1993:SBD,%
		Naundorf:1996:DMF%
		}.
\NAMECITE{Systemen}{%
		Anonymous:1993:SBD,%
		Benker:1998:ICS,%
		Sorgatz:1996:DMV%
		}.
\NAMECITE{Systems}{%
		Anonymous:1993:SBD,%
		Roanes-Lozano:2004:GAS,%
		Augusta:2009:PLN,%
		Ballarin:2004:SPL,%
		Benker:1998:ICS,%
		Grabmeier:2003:CAH,%
		Lewis:1999:CPO,%
		Lewis:2000:CPO,%
		Naundorf:1996:DMF,%
		Sorgatz:1996:DMV%
		}.


\NAMECITE{Tech}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{Technical}{%
		Volcheck:1997:TRCc%
		}.
\NAMECITE{{Technik}}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{{Technik}/Sanitt}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{test}{%
		Zimmermann:1995:WTS%
		}.
\NAMECITE{Their}{%
		Roanes-Lozano:2004:GAS,%
		Benker:1998:ICS%
		}.
\NAMECITE{Theories}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{Theory}{%
		Greuel:1997:SCA,%
		Anonymous:2001:NLG,%
		Anonymous:2001:NLNa%
		}.
\NAMECITE{Tool}{%
		Anonymous:1996:MUM,%
		Wiwianka:1992:MMA,%
		Fuchssteiner:1993:MMA,%
		Fuchssteiner:1994:MMP%
		}.
\NAMECITE{toolbox}{%
		Anonymous:2001:PPT,%
		Augusta:2009:PLN%
		}.
\NAMECITE{tools}{%
		Anonymous:2001:ITI,%
		Anonymous:2001:SET%
		}.
\NAMECITE{toric}{%
		Huber:2000:CGF%
		}.
\NAMECITE{Torun}{%
		Anonymous:2005:MFM%
		}.
\NAMECITE{{transform}}{%
		Anonymous:2001:TLI%
		}.
\NAMECITE{transforms}{%
		Anonymous:2001:TLI%
		}.
\NAMECITE{Transport}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{Treatment}{%
		Anonymous:1993:SBD%
		}.
\NAMECITE{tutorial}{%
		Creutzig:2004:MT,%
		Fuchssteiner:1994:MMP,%
		Oevel:2000:MTM%
		}.
\NAMECITE{{Tutorium}}{%
		Oevel:2000:MTM%
		}.
\NAMECITE{Two}{%
		Zapotinschi:2006:TLP%
		}.
\NAMECITE{Two-Level}{%
		Zapotinschi:2006:TLP%
		}.
\NAMECITE{type}{%
		Anonymous:2001:TLT,%
		Anonymous:2001:TLT%
		}.
\NAMECITE{types}{%
		Anonymous:2001:ALA,%
		Anonymous:2001:DBM,%
		Anonymous:2001:SDT%
		}.


\NAMECITE{{Uni}}{%
		Anonymous:1995:UPF%
		}.
\NAMECITE{{Uni-Programm}}{%
		Anonymous:1995:UPF%
		}.
\NAMECITE{University}{%
		ACM:1999:IJS,%
		Anonymous:2005:MFM,%
		Gloor:1998:IAU,%
		Gutierrez:2004:IJU,%
		Traverso:2000:IPI,%
		Anonymous:1995:UPF%
		}.
\NAMECITE{Up/Gambini}{%
		Sittig:1997:LIP%
		}.
\NAMECITE{USA}{%
		ACM:2003:PNA,%
		ACM:2001:PSA%
		}.
\NAMECITE{Use}{%
		Anonymous:1993:SBD,%
		Benker:1998:ICS%
		}.
\NAMECITE{User}{%
		Fuchssteiner:1993:MMA,%
		MuPAD:1996:MUM,%
		Anonymous:1996:MUM,%
		Anonymous:2001:PUP,%
		Sorgatz:1999:DMU%
		}.
\NAMECITE{Users}{%
		Anonymous:2005:MFM%
		}.
\NAMECITE{Using}{%
		Beebe:2017:MFC,%
		Roanes-Lozano:2004:GAS,%
		Bachmann:1997:DEM,%
		Sorgatz:1999:THP%
		}.
\NAMECITE{utilities}{%
		Anonymous:2001:SDT%
		}.


\NAMECITE{Vancouver}{%
		ACM:1999:IJS%
		}.
\NAMECITE{Version}{%
		MuPAD:1996:MUM,%
		Anonymous:1996:MUM,%
		Fuchssteiner:1994:MMP,%
		Oevel:2000:MTM%
		}.
\NAMECITE{verteilte}{%
		Naundorf:1997:MVS%
		}.
\NAMECITE{Verwaltung}{%
		Sorgatz:1996:DMV%
		}.
\NAMECITE{Volume}{%
		Zapotinschi:2006:TLP%
		}.


\NAMECITE{{Web}}{%
		Wang:2003:WTW%
		}.
\NAMECITE{{Wester}}{%
		Zimmermann:1995:WTS%
		}.
\NAMECITE{{Weyl}}{%
		Tsai:2000:WCI%
		}.
\NAMECITE{{Wissenschaft}}{%
		Oevel:1995:MBW%
		}.
\NAMECITE{within}{%
		Augusta:2009:PLN%
		}.
\NAMECITE{without}{%
		Sorgatz:1997:MDM%
		}.
\NAMECITE{{WME}}{%
		Wang:2003:WTW%
		}.
\NAMECITE{workshop}{%
		Carriere:1996:PRW,%
		Heck:1994:HIS%
		}.
\NAMECITE{World}{%
		Maurer:1995:EMH%
		}.


\NAMECITE{zur}{%
		Sorgatz:1996:DMV%
		}.
\NAMECITE{Z{\"u}rich}{%
		Lakshman:1996:IPI%
		}.