math0602140/ncib.bbl
1: \providecommand{\BIBYu}{Yu}
2: \begin{thebibliography}{10}
3: \expandafter\ifx\csname url\endcsname\relax
4:   \def\url#1{{\tt #1}}\fi
5: \expandafter\ifx\csname urlprefix\endcsname\relax\def\urlprefix{URL }\fi
6: 
7: \bibitem{AGK97}
8: B.~Amrhein, O.~Gloor and W.~K\"{u}chlin.
9: \newblock On the {W}alk.
10: \newblock {\em Theoret. Comput. Sci.\/} {\bf 187~(1-2)} (1997) 179--202.
11: \newline\urlprefix\url{http://dx.doi.org/10.1016/S0304-3975(97)00064-9}
12: 
13: \bibitem{Apel95}
14: J.~Apel.
15: \newblock A {G}r\"obner {A}pproach to {I}nvolutive {B}ases.
16: \newblock {\em J. Symbolic Comput.\/} {\bf 19~(5)} (1995) 441--457.
17: \newline\urlprefix\url{http://dx.doi.org/10.1006/jsco.1995.1026}
18: 
19: \bibitem{Apel98a}
20: J.~Apel.
21: \newblock The Computation of Gr\"obner Bases Using an Alternative Algorithm.
22: \newblock {\em Progr. Comput. Sci. Appl. Logic\/} {\bf 15} (1998) 35--45.
23: 
24: \bibitem{Apel98b}
25: J.~Apel.
26: \newblock The {T}heory of {I}nvolutive {D}ivisions and an {A}pplication to
27:   {H}ilbert {F}unction {C}omputations.
28: \newblock {\em J. Symbolic Comput.\/} {\bf 25~(6)} (1998) 683--704.
29: \newline\urlprefix\url{http://dx.doi.org/10.1006/jsco.1997.0194}
30: 
31: \bibitem{Baader98}
32: T.~Baader and N.~Tobias.
33: \newblock {\em Term Rewriting and All That\/}.
34: \newblock Cambridge University Press (1998).
35: 
36: \bibitem{Bergman98}
37: J.~Backelin, S.~Cojocaru and V.~Ufnarovski.
38: \newblock {\sc Bergman} 1.0 User Manual (1998).
39: \newline\urlprefix\url{http://servus.math.su.se/bergman/}
40: 
41: \bibitem{becker93}
42: T.~Becker and V.~Weispfenning.
43: \newblock {\em Gr\"{o}bner {B}ases: {A} {C}ommutative {A}pproach to
44:   {C}ommutative {A}lgebra\/}.
45: \newblock Springer-Verlag (1993).
46: 
47: \bibitem{Bergman78}
48: G.~M. Bergman.
49: \newblock The {D}iamond {L}emma for {R}ing {T}heory.
50: \newblock {\em Adv. in Math.\/} {\bf 29~(2)} (1978) 178--218.
51: \newline\urlprefix\url{http://dx.doi.org/10.1016/0001-8708(78)90010-5}
52: 
53: \bibitem{BGK}
54: W.~B\"oge, R.~Gebauer and H.~Kredel.
55: \newblock Some Examples for Solving Systems of Algebraic Equations by
56:   Calculating Groebner Bases.
57: \newblock {\em J. Symbolic Comput.\/} {\bf 2~(1)} (1986) 83--98.
58: 
59: \bibitem{buch79}
60: B.~Buchberger.
61: \newblock A {C}riterion for {D}etecting {U}nnecessary {R}eductions in the
62:   {C}onstruction of {G}r\"obner {B}ases.
63: \newblock In {\em Symbolic and {A}lgebraic {C}omputation (EUROSAM '79, Int.
64:   Symp., Marseille, 1979)\/}, volume~72 of {\em Lecture Notes in Comput.
65:   Sci.\/}, 3--21. Springer, Berlin (1979).
66: 
67: \bibitem{buch65}
68: B.~Buchberger.
69: \newblock An {A}lgorithmic {C}riterion for the {S}olvability of a {S}ystem of
70:   {A}lgebraic {E}quations. {\it Translation of PhD thesis by M. Abramson and R.
71:   Lumbert}. In B. Buchberger and F. Winkler, editors, {\it Gr\"obner Bases and
72:   Applications}, volume 251 of {\it Proc. London Math. Soc.}, 535--545.
73:   Cambridge University Press (1998).
74: 
75: \bibitem{Buch98}
76: B.~Buchberger and F.~Winkler, editors.
77: \newblock {\em Gr\"obner {B}ases and {A}pplications\/}, volume 251 of {\em
78:   Proc. London Math. Soc.\/}.
79: \newblock Cambridge {U}niversity {P}ress (1998).
80: 
81: \bibitem{CHS00}
82: J.~Calmet, M.~Hausdorf and W.~M. Seiler.
83: \newblock A {C}onstructive {I}ntroduction to {I}nvolution.
84: \newblock In R.~Akerkar, editor, {\em Proc. Int. Symp. Applications of Computer
85:   Algebra -- ISACA 2000\/}, 33--50. Allied Publishers, New Delhi (2001).
86: 
87: \bibitem{M2}
88: J.~A. Camberos, L.~A. Lambe and R.~Luczak.
89: \newblock Hybrid Symbolic-Numeric Methodology for Fluid Dynamic Simulations.
90: \newblock In {\em 34th AIAA Fluid Dynamics Conference and Exhibit\/}, volume
91:   2004-2330. Portland, OR (2004).
92: 
93: \bibitem{M4}
94: J.~A. Camberos, L.~A. Lambe and R.~Luczak.
95: \newblock Computational Physics with Hybrid Symbolic-Numeric Methodology with
96:   Multidisciplinary Applications.
97: \newblock {\it Department of Defense HPC User's Group Meeting} (2005).
98: 
99: \bibitem{M3}
100: J.~A. Camberos, L.~A. Lambe and R.~Luczak.
101: \newblock Hybrid Symbolic-Numeric Methodology: Views and Visions.
102: \newblock In {\em 43rd AIAA Aerospace Sciences Meeting\/}, volume 2005-0092.
103:   Reno, NV (2005).
104: 
105: \bibitem{Carlson05}
106: J.~F. Carlson.
107: \newblock Cohomology, Computations, and Commutative Algebra.
108: \newblock {\em Notices Amer. Math. Soc.\/} {\bf 52~(4)} (2005) 426--434.
109: 
110: \bibitem{CKMWalk}
111: M.~Collart, M.~Kalkbrener and D.~Mall.
112: \newblock Converting {B}ases with the {G}r\"obner {W}alk.
113: \newblock {\em J. Symbolic Comput.\/} {\bf 24~(3-4)} (1997) 465--469.
114: \newline\urlprefix\url{http://dx.doi.org/10.1006/jsco.1996.0145}
115: 
116: \bibitem{Der93}
117: N.~Dershowitz.
118: \newblock A Taste of Rewrite Systems.
119: \newblock In P.~E. Lauer, editor, {\em Functional Programming, Concurrency,
120:   Simulation and Automated Reasoning\/}, volume 693 of {\em Lecture Notes in
121:   Comput. Sci.\/}, 199--228. Springer (1993).
122: 
123: \bibitem{Evans04}
124: G.~A. Evans.
125: \newblock Noncommutative {I}nvolutive {B}ases.
126: \newblock In Q.-N. Tran, editor, {\em Proc. 10th Int. Conf. Applications of
127:   Computer Algebra\/}, 49--64. Beaumont, Texas, USA (2004).
128: 
129: \bibitem{FGLM}
130: J.~C. Faug\`ere, P.~Gianni, D.~Lazard and T.~Mora.
131: \newblock Efficient {C}omputation of {Z}ero-dimensional {G}r\"obner {B}ases by
132:   {C}hange of {O}rdering.
133: \newblock {\em J. Symbolic Comput.\/} {\bf 16~(4)} (1993) 329--344.
134: \newline\urlprefix\url{http://dx.doi.org/10.1006/jsco.1993.1051}
135: 
136: \bibitem{Froberg98}
137: R.~Fr\"{o}berg.
138: \newblock {\em An Introduction to Gr\"{o}bner Bases\/}.
139: \newblock John Wiley \& Sons (1998).
140: 
141: \bibitem{Gerdt02}
142: V.~P. Gerdt.
143: \newblock Involutive Division Technique: Some Generalizations and
144:   Optimizations.
145: \newblock {\em J. Math. Sci. (N.~Y.)\/} {\bf 108~(6)} (2002) 1034--1051.
146: \newline\urlprefix\url{http://dx.doi.org/10.1023/A:1013596522989}
147: 
148: \bibitem{Gerdt05}
149: V.~P. Gerdt.
150: \newblock Involutive Algorithms for Computing Gr\"obner Bases.
151: \newblock In S.~Cojocaru, G.~Pfister and V.~Ufnarovski, editors, {\em
152:   Computational Commutative and Non-Commutative Algebraic Geometry\/}, volume
153:   196 of {\em NATO Science Series: Computer and Systems Sciences\/}, 199--225.
154:   IOS Press (2005).
155: 
156: \bibitem{Gerdt98a}
157: V.~P. Gerdt and {\BIBYu}.~A. Blinkov.
158: \newblock Involutive Bases of Polynomial Ideals.
159: \newblock {\em Math. Comput. Simulation\/} {\bf 45~(5-6)} (1998) 519--541.
160: \newline\urlprefix\url{http://dx.doi.org/10.1016/S0378-4754(97)00127-4}
161: 
162: \bibitem{Gerdt97}
163: V.~P. Gerdt and {\BIBYu}.~A. Blinkov.
164: \newblock Minimal Involutive Bases.
165: \newblock {\em Math. Comput. Simulation\/} {\bf 45~(5-6)} (1998) 543--560.
166: \newline\urlprefix\url{http://dx.doi.org/10.1016/S0378-4754(97)00128-6}
167: 
168: \bibitem{Gerdt01a}
169: V.~P. Gerdt, {\BIBYu}.~A. Blinkov and D.~A. Yanovich.
170: \newblock Construction of Janet Bases I. Monomial Bases.
171: \newblock In V.~G. Ghanzha, E.~W. Mayr and E.~V. Vorozhtsov, editors, {\em
172:   Computer Algebra in Scientific Computing (CASC) 2001\/}, 233--247.
173:   Springer-Verlag, Berlin (2001).
174: 
175: \bibitem{Gerdt01b}
176: V.~P. Gerdt, {\BIBYu}.~A. Blinkov and D.~A. Yanovich.
177: \newblock Construction of Janet Bases II. Polynomial Bases.
178: \newblock In V.~G. Ghanzha, E.~W. Mayr and E.~V. Vorozhtsov, editors, {\em
179:   Computer Algebra in Scientific Computing (CASC) 2001\/}, 249--263.
180:   Springer-Verlag, Berlin (2001).
181: 
182: \bibitem{GMNRT91}
183: A.~Giovini, T.~Mora, G.~Niedi, L.~Robbiano and C.~Traverso.
184: \newblock ``{O}ne sugar cube, please'' {O}{R} {S}election {S}trategies in
185:   {B}uchberger {A}lgorithm.
186: \newblock In {\em ISSAC '91: Proc. Int. Symp. Symbolic and Algebraic
187:   Computation\/}, 49--54. ACM Press, New York (1991).
188: \newline\urlprefix\url{http://dx.doi.org/10.1145/120694.120701}
189: 
190: \bibitem{Golub}
191: O.~D. Golubitsky.
192: \newblock Involutive Gr\"obner Walk.
193: \newblock {\em Fundam. Prikl. Mat.\/} {\bf 7~(4)} (2001) 993--1001.
194: 
195: \bibitem{Sing05}
196: G.~M. Greuel, G.~Pfister and H.~Sch\"onemann.
197: \newblock {\sc Singular} 3.0.0.
198: \newblock {A {C}omputer {A}lgebra {S}ystem for {P}olynomial {C}omputations},
199:   Centre for Computer Algebra, University of Kaiserslautern (2005).
200: \newline\urlprefix\url{http://www.singular.uni-kl.de}
201: 
202: \bibitem{NCGB02}
203: J.~W. Helton and M.~Stankus.
204: \newblock {\sc NCGB} 3.1: NonCommutative Gr\"obner Basis Package (2002).
205: \newline\urlprefix\url{http://math.ucsd.edu/~ncalg/}
206: 
207: \bibitem{Hey00a}
208: A.~Heyworth.
209: \newblock Rewriting as a special case of {G}r\"obner {B}asis {T}heory.
210: \newblock In M.~Atkinson, N.~D. Gilbert, J.~Howie, S.~A. Linton and E.~F.
211:   Robertson, editors, {\em Computational and Geometric Aspects of Modern
212:   Algebra (Edinburgh, 1998)\/}, volume 275 of {\em Proc. London Math. Soc.\/},
213:   101--105. Cambridge University Press (2000).
214: 
215: \bibitem{Freyja94}
216: F.~Hreinsd\'ottir.
217: \newblock A case where choosing a product order makes the calculation of a
218:   {G}r\"obner {B}asis much faster.
219: \newblock {\em J. Symbolic Comput.\/} {\bf 18~(4)} (1994) 373--378.
220: \newline\urlprefix\url{http://dx.doi.org/10.1006/jsco.1994.1053}
221: 
222: \bibitem{Janet29}
223: M.~Janet.
224: \newblock {\em Lecons sur les syst\'emes d'\'equations aux derive\'es
225:   partielles\/}.
226: \newblock Gauthier-Villars, Paris (1929).
227: 
228: \bibitem{Jou95}
229: J.-P. Jouannaud.
230: \newblock Rewrite Proofs and Computations.
231: \newblock In H.~Schwichtenberg, editor, {\em Proof and Computation\/}, volume
232:   139 of {\em Computer and Systems Sciences\/}. Springer-Verlag (1995).
233: 
234: \bibitem{Keller97}
235: B.~J. Keller.
236: \newblock Algorithms and Orders for Finding Noncommutative Gr\"{o}bner Bases.
237: \newblock PhD thesis, Virginia Tech (1997).
238: 
239: \bibitem{KandR}
240: B.~W. Kernighan and D.~M. Ritchie.
241: \newblock {\em The C Programming Language (2nd Edition)\/}.
242: \newblock Prentice Hall (1988).
243: 
244: \bibitem{KB}
245: D.~E. Knuth and P.~B. Bendix.
246: \newblock Simple word problems in universal algebras.
247: \newblock In J.~Leech, editor, {\em Computational Problems in Abstract
248:   Algebra\/}, 263--297. Pergamon Press (1970).
249: 
250: \bibitem{FAlg01}
251: L.~A. Lambe.
252: \newblock {\sc FAlg} (An ANSI C Library for Free Associative Algebra
253:   Calculations): User Guide (2001).
254: 
255: \bibitem{FMon01}
256: L.~A. Lambe.
257: \newblock {\sc FMon} (An ANSI C Library for Free Monoid Calculations): User
258:   Guide (2001).
259: 
260: \bibitem{LarLet}
261: L.~A. Lambe.
262: \newblock Letter of Support for Research at the University of Wales, Bangor
263:   (2005).
264: 
265: \bibitem{M1}
266: L.~A. Lambe, R.~Luczak and J.~Nehrbass.
267: \newblock A new finite difference method for the Helmholtz equation using
268:   symbolic computation.
269: \newblock {\em Int. J. Comput. Eng. Sci.\/} {\bf 4~(1)} (2003) 121--144.
270: \newline\urlprefix\url{http://dx.doi.org/10.1142/S1465876303000739}
271: 
272: \bibitem{Mansfield91}
273: E.~Mansfield.
274: \newblock Differential Gr\"obner Bases.
275: \newblock PhD thesis, University of Sydney (1991).
276: 
277: \bibitem{mora86}
278: T.~Mora.
279: \newblock {G}r\"obner {B}ases for non-commutative polynomial rings.
280: \newblock In J.~Calmet, editor, {\em AAECC-3: Proc. 3rd Int. Conf. on Algebraic
281:   Algorithms and Error-Correcting Codes (Grenoble, France, July 15--19,
282:   1985)\/}, volume 223 of {\em Lecture Notes in Comput. Sci.\/}, 353--362.
283:   Springer (1986).
284: 
285: \bibitem{MSSRC}
286: MSSRC (Multidisciplinary Software Systems Research Corporation).
287: \newline\urlprefix\url{http://www.mssrc.com}
288: 
289: \bibitem{Pommaret78}
290: J.~F. Pommaret.
291: \newblock {\em Systems of Partial Differential Equations and Lie
292:   Pseudogroups\/}.
293: \newblock Gordon and Breach Science Publishers (1978).
294: 
295: \bibitem{Robbiano85}
296: L.~Robbiano.
297: \newblock Term Orderings on the Polynomial Ring.
298: \newblock In {\em EUROCAL '85: Research Contributions from the European
299:   Conference on Computer Algebra -- Volume 2\/}, volume 204 of {\em Lecture
300:   Notes in Comput. Sci.\/}, 513--517. Springer (1985).
301: 
302: \bibitem{MuPAD}
303: {SciFace Software}.
304: \newblock {\sc MuPAD} Version 3.1.
305: \newblock Paderborn, Germany (2005).
306: \newline\urlprefix\url{http://www.mupad.com/}
307: 
308: \bibitem{Seiler02b}
309: W.~M. Seiler.
310: \newblock A Combinatorial Approach to Involution and $\delta$-Regularity I:
311:   Involutive Bases in Polynomial Algebras of Solvable Type (2002).
312: \newblock Preprint Universit\"a Mannheim.
313: 
314: \bibitem{Seiler02c}
315: W.~M. Seiler.
316: \newblock A Combinatorial Approach to Involution and $\delta$-Regularity II:
317:   Structure Analysis of Polynomial Modules with Pommaret Bases (2002).
318: \newblock Preprint Universit\"a Mannheim.
319: 
320: \bibitem{Thomas37}
321: J.~M. Thomas.
322: \newblock {\em Differential Systems\/}.
323: \newblock AMS, New York (1937).
324: 
325: \bibitem{Tran00}
326: Q.-N. Tran.
327: \newblock A {F}ast {A}lgorithm for {G}r\"{o}bner {B}asis Conversion and its
328:   {A}pplications.
329: \newblock {\em J. Symbolic Comput.\/} {\bf 30~(4)} (2000) 451--467.
330: \newline\urlprefix\url{http://dx.doi.org/10.1006/jsco.1999.0416}
331: 
332: \bibitem{Matrix}
333: A.~Wachowski and L.~Wachowski.
334: \newblock The Matrix.
335: \newblock Film (Warner Bros.) (1999).
336: 
337: \bibitem{Maple05}
338: {Waterloo Maple Inc.}
339: \newblock {\sc Maple} Version 10.
340: \newblock Waterloo, Ontario, Canada. (2005).
341: \newline\urlprefix\url{http://www.maplesoft.com}
342: 
343: \bibitem{Weisp}
344: V.~Weispfenning.
345: \newblock Admissible orders and linear forms.
346: \newblock {\em ACM Sigsam Bull.\/} {\bf 21~(2)} (1987) 16--18.
347: \newline\urlprefix\url{http://doi.acm.org/10.1145/24554.24557}
348: 
349: \bibitem{Mathematica04}
350: {Wolfram Research, Inc.}
351: \newblock {\sc Mathematica} Version 5.1.
352: \newblock Champaign, Illinois (2004).
353: \newline\urlprefix\url{http://www.wolfram.com/}
354: 
355: \bibitem{ZharBlink93}
356: A.~{\BIBYu}. Zharkov and {\BIBYu}.~A. Blinkov.
357: \newblock Involution {A}pproach to {I}nvestigating {P}olynomial {S}ystems.
358: \newblock {\em Math. Comput. Simulation\/} {\bf 42~(4-6)} (1996) 323--332.
359: \newline\urlprefix\url{http://dx.doi.org/10.1016/S0378-4754(96)00006-7}
360: 
361: \end{thebibliography}
362: