1 | @STRING{JSC = "J. Symbolic Computation"} |
---|
2 | |
---|
3 | @ARTICLE {AttaF:96, |
---|
4 | AUTHOR = {Attardi, G. and Flagella, T.}, |
---|
5 | TITLE = {Memory Management in the {PoSSo} Solver}, |
---|
6 | JOURNAL = JSC, |
---|
7 | YEAR = {1996}, |
---|
8 | VOLUME = {21}, |
---|
9 | NUMBER = {3}, |
---|
10 | PAGES = {293--312}, |
---|
11 | MONTH = {March} |
---|
12 | } |
---|
13 | |
---|
14 | @Book{CoxLS:97, |
---|
15 | author = "Cox, D. and Little, J. and O'Shea, D.", |
---|
16 | title = {{Ideals, Varieties, and Algorithms}}, |
---|
17 | publisher = {{Springer}}, |
---|
18 | year = 1997, |
---|
19 | edition = "2nd" |
---|
20 | } |
---|
21 | |
---|
22 | @InCollection{BayeM:93, |
---|
23 | author = "Bayer, D. and Mumford, D.", |
---|
24 | title = "What can be computed in algebraic geometry?", |
---|
25 | booktitle = {{Computational Algebraic Geometry and Commutative Algebra}}, |
---|
26 | publisher = "Cambridge University Press, Cambridge", |
---|
27 | year = 1993, |
---|
28 | editor = "Eisenbud, D. and Robbiano, L.", |
---|
29 | pages = "1--48" |
---|
30 | } |
---|
31 | |
---|
32 | @InCollection{Buch:85, |
---|
33 | author = "Buchberger, B.", |
---|
34 | title = "Groebner bases: an algorithmic method in polynomial |
---|
35 | ideal theory", |
---|
36 | OPTbooktitle = {{Multidimensional Systems Theory}}, |
---|
37 | publisher = "D. Reidel Publishing Company", |
---|
38 | year = 1985, |
---|
39 | editor = "Bose, N. K.", |
---|
40 | pages = "184--232" |
---|
41 | } |
---|
42 | |
---|
43 | @InProceedings{GiovMNRT:91, |
---|
44 | author = "Giovini, A. and Mora, T. and Niesi, G. and Robbiano, |
---|
45 | L. and Traverso, C.", |
---|
46 | title = {{One sugar cube, please or Selection strategies in |
---|
47 | Buchberger algorithms}}, |
---|
48 | editor = "Watt, S.", |
---|
49 | pages = "49--54", |
---|
50 | booktitle = "Proceedings of the 1991 International Symposium on |
---|
51 | Symbolic and Algebraic Computations, ISSAC'91", |
---|
52 | year = 1991, |
---|
53 | publisher = "ACM press" |
---|
54 | } |
---|
55 | |
---|
56 | |
---|
57 | @InProceedings{CaboDR:96, |
---|
58 | author = "Caboara, M. and De Dominicis, G. and Robbiano, L.", |
---|
59 | title = {{Multigraded Hilbert Functions and Buchberger Algorithm}}, |
---|
60 | booktitle = "Proc. of the International Symposium on Symbolic |
---|
61 | and Algebraic Computation (ISSAC'96)", |
---|
62 | month = jul, |
---|
63 | address = {Zurich, Switzerland}, |
---|
64 | publisher = {{ACM Press}}, |
---|
65 | year = {1996}, |
---|
66 | pages = "72--78" |
---|
67 | } |
---|
68 | |
---|
69 | @Misc{BayeS:93, |
---|
70 | author = {Bayer, D. and Stillman, M.}, |
---|
71 | title = {{{\em Macaulay Classic}: A computer algebra system for algebraic geometry}}, |
---|
72 | year = 1993, |
---|
73 | note = {Available via anonymous ftp from |
---|
74 | {\tt ftp://math.harvard.edu/Macaulay}} |
---|
75 | } |
---|
76 | @ARTICLE {BjorF:91, |
---|
77 | AUTHOR = {Bj{\"o}rck, G. and Fr{\"o}berg, G.}, |
---|
78 | TITLE = {A Faster Way to Count the Solution of Inhomogeneous Systems of |
---|
79 | Algebraic Equations, with Applications to Cyclic $n$-Roots}, |
---|
80 | JOURNAL = JSC, |
---|
81 | YEAR = {1991}, |
---|
82 | VOLUME = {12}, |
---|
83 | NUMBER = {3}, |
---|
84 | PAGES = {329--336}, |
---|
85 | MONTH = {September} |
---|
86 | } |
---|
87 | |
---|
88 | @ARTICLE {BoegGK:86, |
---|
89 | AUTHOR = {Boege, W. and Gebauer, R. and Kredel, H.}, |
---|
90 | TITLE = {{Some Examples for Solving Systems of Algebraic Equations by |
---|
91 | Calculating Groebner Bases}}, |
---|
92 | JOURNAL = JSC, |
---|
93 | YEAR = {1986}, |
---|
94 | VOLUME = {2}, |
---|
95 | NUMBER = {1}, |
---|
96 | PAGES = {83--98}, |
---|
97 | MONTH = {March} |
---|
98 | } |
---|
99 | |
---|
100 | @InBook{KatsFIFG:87, |
---|
101 | author = "Katsura, W and Fukuda, S. and Inawashiro, N. and |
---|
102 | Fujiki, N. M. and Gebauer, R.", |
---|
103 | title = "Cell Biophysics", |
---|
104 | year = 1987, |
---|
105 | pages = "309--319", |
---|
106 | volume = 11 |
---|
107 | } |
---|
108 | |
---|
109 | @InCollection{GreuPS:97, |
---|
110 | author = "Greuel, G.-M. and Pfister, G. and Sch{\"o}nemann, H.", |
---|
111 | title = {{Singular Reference Manual}}, |
---|
112 | institution = "Centre for Computer Algebra", |
---|
113 | year = 1997, |
---|
114 | booktitle = "Reports On Computer Algebra", |
---|
115 | publisher = "Centre for Computer Algebra, University of Kaiserslautern", |
---|
116 | number = 12, |
---|
117 | month = "May", |
---|
118 | note = "\verb?http://www.singular.uni-kl.de?" |
---|
119 | } |
---|
120 | |
---|
121 | @InCollection{BachS:98, |
---|
122 | author = "Bachmann, O. and Sch{\"o}nemann, H.", |
---|
123 | title = {{Monomial operations for computations of Gr{\"o}bner |
---|
124 | bases}}, |
---|
125 | institution = "Centre for Computer Algebra", |
---|
126 | year = 1998, |
---|
127 | booktitle = "Reports On Computer Algebra 18", |
---|
128 | publisher = "Centre for Computer Algebra, University of Kaiserslautern", |
---|
129 | month = "January", |
---|
130 | note = "Also available from \verb?http://www.mathematik.uni-kl.de/~zca/?" |
---|
131 | } |
---|
132 | |
---|
133 | @Misc{PoSSo, |
---|
134 | title = {{{\em PoSSo}: Polynomial System Solving}}, |
---|
135 | year = 1995, |
---|
136 | note = {{\tt http://posso.dm.unipi.it/}}, |
---|
137 | key = "posso" |
---|
138 | } |
---|
139 | |
---|
140 | @InProceedings{Robb:85, |
---|
141 | author = {Robbiano, L.}, |
---|
142 | title = {{Term Orderings on the Polynomial Ring}}, |
---|
143 | booktitle = {Proceedings of EUROCAL 85, Lecture |
---|
144 | Notes in Computer Science {\bf 204}}, |
---|
145 | year = 1985, |
---|
146 | pages = {513-517} |
---|
147 | } |
---|
148 | |
---|
149 | @Article{BayeS:87, |
---|
150 | author = "Bayer, D. and Stillman, M.", |
---|
151 | title = "A theorem on refining division orders by the revers |
---|
152 | lexicographic order", |
---|
153 | journal = "Duke J. Math.", |
---|
154 | year = 1987, |
---|
155 | volume = 55, |
---|
156 | pages = "321--328" |
---|
157 | } |
---|
158 | |
---|
159 | @InProceedings{BS:98, |
---|
160 | author = {Bachmann, O. and Sch\"onemann, H.}, |
---|
161 | title = {{Monomial Representations for Gr\"obner Bases Computations}}, |
---|
162 | booktitle = {{Proc. of the International Symposium on Symbolic |
---|
163 | and Algebraic Computation (ISSAC'98)}}, |
---|
164 | publisher = {{ACM Press}}, |
---|
165 | year = {1998}, |
---|
166 | pages = "309--316" |
---|
167 | } |
---|
168 | |
---|
169 | @Misc{Kahn:93, |
---|
170 | author = "Kahn, Konstantin", |
---|
171 | title = "private communications", |
---|
172 | year = 1993 |
---|
173 | } |
---|
174 | |
---|
175 | @ARTICLE {Yan:98, |
---|
176 | AUTHOR = {Yan, T.}, |
---|
177 | TITLE = {The Geobucket Data Structure for Polynomials}, |
---|
178 | JOURNAL = JSC, |
---|
179 | YEAR = {1998}, |
---|
180 | VOLUME = {25}, |
---|
181 | NUMBER = {3}, |
---|
182 | PAGES = {285--294}, |
---|
183 | MONTH = {March} |
---|
184 | } |
---|
185 | |
---|
186 | @InCollection{S:03, |
---|
187 | author = {{Sch\"onemann, H.}}, |
---|
188 | title = {{Singular in a Framework for Polynomial Computations}}, |
---|
189 | booktitle = {{Algebar, Geometry and Software Systems}}, |
---|
190 | publisher = {{Springer}}, |
---|
191 | year = 2003, |
---|
192 | editor = {{Joswig, M. and Takayama, N.}}, |
---|
193 | pages = {{163--176}} |
---|
194 | } |
---|
195 | |
---|
196 | @InProceedings{Felix, |
---|
197 | author = {Apel, J. and Klaus, U.}, |
---|
198 | title = {{FELIX -- an assistant for algebraists |
---|
199 | (\verb+http://felix.hgb-leipzig.de+)}}, |
---|
200 | booktitle = {{Proc. of the International Symposium on Symbolic |
---|
201 | and Algebraic Computation (ISSAC'91)}}, |
---|
202 | publisher = {{ACM Press}}, |
---|
203 | year = {1991}, |
---|
204 | pages = "382--389" |
---|
205 | } |
---|
206 | |
---|
207 | @ARTICLE {AP, |
---|
208 | AUTHOR = { Apel, J.}, |
---|
209 | TITLE = {Gr\"obnerbasen in nichtkommutativen Algebren und ihre Anwendung}, |
---|
210 | JOURNAL = {Dissertation, Universit\"at Leipzig}, |
---|
211 | YEAR = {1988}, |
---|
212 | } |
---|
213 | |
---|
214 | @ARTICLE {GL, |
---|
215 | AUTHOR = {Gomez-Torrecillas, J. and Lobillo, F.J.}, |
---|
216 | TITLE = {Global homological dimension of multifiltered rings and quantized enveloping algebras}, |
---|
217 | JOURNAL = {J. Algebra}, |
---|
218 | YEAR = {2000}, |
---|
219 | VOLUME = {225}, |
---|
220 | NUMBER = {2}, |
---|
221 | PAGES = {522--533}, |
---|
222 | } |
---|
223 | |
---|
224 | @ARTICLE {MM, |
---|
225 | AUTHOR = {M\"oller, H.M. and Mora, T.}, |
---|
226 | TITLE = {New Constructive Methods in Classical Ideal Theory}, |
---|
227 | JOURNAL = {J. Algebra}, |
---|
228 | YEAR = {1986}, |
---|
229 | VOLUME = {100}, |
---|
230 | PAGES = {138-178}, |
---|
231 | } |
---|
232 | |
---|
233 | @ARTICLE {KW, |
---|
234 | AUTHOR = { Kandri-Rody, A. and Weispfenning, V.}, |
---|
235 | TITLE = {Non--commutative Gr\"obner bases in algebras of solvable type}, |
---|
236 | JOURNAL = JSC, |
---|
237 | YEAR = {1990}, |
---|
238 | VOLUME = {9}, |
---|
239 | NUMBER = {1}, |
---|
240 | PAGES = {1--26}, |
---|
241 | } |
---|
242 | |
---|
243 | @InProceedings{NDC, |
---|
244 | author = {{Levandovskyy, V.}}, |
---|
245 | title = {{PBW Bases, Non-Degeneracy Conditions and Applications}}, |
---|
246 | editor = {{Buchweitz, R.-O. and Lenzing, H.}}, |
---|
247 | booktitle = {{Proceedings of the ICRA X conference}}, |
---|
248 | year = {{to appear}}, |
---|
249 | } |
---|
250 | |
---|
251 | @InProceedings{LV2, |
---|
252 | author = {{Levandovskyy, V.}}, |
---|
253 | title = {{On Gr\"obner bases for noncommutative G-algebras}}, |
---|
254 | editor = {{Kredel, H. and Seiler, W.K.}}, |
---|
255 | booktitle = {{Proceedings of the 8th Rhine Workshop on Computer Algebra}}, |
---|
256 | year = 2002, |
---|
257 | } |
---|
258 | |
---|
259 | @Book{KS, |
---|
260 | author = {{Klimyk, A. and Schm\"udgen, K.}}, |
---|
261 | title = {{Quantum groups and their representations}}, |
---|
262 | publisher = {{Springer}}, |
---|
263 | year = 1997, |
---|
264 | } |
---|
265 | |
---|
266 | @ARTICLE {HKP, |
---|
267 | AUTHOR = {{ Havlicek, M. and Klimyk, A. and Posta, S.}}, |
---|
268 | TITLE = {{Central elements of |
---|
269 | the algebras $U'_q({\rm so}_m)$ and $U'_q({\rm iso}_m)$}}, |
---|
270 | JOURNAL = {{arXiv.~math.~QA/9911130}}, |
---|
271 | YEAR = {1999}, |
---|
272 | } |
---|
273 | |
---|
274 | @ARTICLE {BR, |
---|
275 | AUTHOR = {Benkart, G. and Roby, T.}, |
---|
276 | TITLE = {Down--up algebras}, |
---|
277 | JOURNAL = {J. Algebra}, |
---|
278 | YEAR = {1998}, |
---|
279 | VOLUME = {209}, |
---|
280 | NUMBER = {1}, |
---|
281 | PAGES = {305--344}, |
---|
282 | } |
---|
283 | |
---|
284 | @InProceedings{I1, |
---|
285 | author = {Iorgov, N.}, |
---|
286 | title = {{On the Center of $q$-Deformed Algebra $U'_q({\rm so}_3)$ Related to Quantum Gravity at $q$ a Root of $1$}}, |
---|
287 | booktitle = {Proceedings of IV Int. Conf. "Symmetry in Nonlinear Mathematical Physics", Kyiv, Ukraine}, |
---|
288 | year = 2001, |
---|
289 | } |
---|
290 | |
---|
291 | |
---|
292 | @InProceedings{MAS, |
---|
293 | author = {Kredel, H.}, |
---|
294 | title = {{MAS Modula-2 Algebra System}}, |
---|
295 | booktitle = {{Proc. DISCO 90 Capri}}, |
---|
296 | publisher = {{LNCS 429}}, |
---|
297 | year = {1990}, |
---|
298 | pages = "270--271" |
---|
299 | } |
---|
300 | |
---|
301 | @ARTICLE {Mgfun, |
---|
302 | AUTHOR = { Chyzak, F. and Salvy, B.}, |
---|
303 | TITLE = {Mgfun - package for Maple: Non-commutative Elimination in |
---|
304 | Ore Algebras Proves Multivariate Identities}, |
---|
305 | JOURNAL = JSC, |
---|
306 | YEAR = {1998}, |
---|
307 | VOLUME = {26}, |
---|
308 | NUMBER = {2}, |
---|
309 | PAGES = {187--227}, |
---|
310 | } |
---|
311 | |
---|
312 | @ARTICLE {NS, |
---|
313 | AUTHOR = { N\"u{\ss}ler, T. and Sch\"onemann, H.}, |
---|
314 | TITLE = {Gr\"obner bases in algebras with zero--divisors}, |
---|
315 | JOURNAL = {{Preprint 244, Universit\"at Kaiserslautern}}, |
---|
316 | YEAR = {1993}, |
---|
317 | } |
---|
318 | |
---|
319 | @InProceedings {DE, |
---|
320 | AUTHOR = { Decker, D. and Eisenbud, D.}, |
---|
321 | TITLE = {Sheaf algorithms using the exterior algebra}, |
---|
322 | YEAR = {2001}, |
---|
323 | EDITOR = {{Eisenbud, D.; Grayson, D.; Stillman, M.; Sturmfels, B.}}, |
---|
324 | BOOKTITLE = {{Computations in algebraic geometry with Macaulay 2}}, |
---|
325 | } |
---|
326 | |
---|
327 | @ARTICLE{LV, |
---|
328 | author = {{Levandovskyy, V.}}, |
---|
329 | title = {{Gr\"obner bases of a class of noncommutative algebras}}, |
---|
330 | JOURNAL = {{Master Thesis, Universit\"at Kaiserslautern}}, |
---|
331 | year = 2000, |
---|
332 | } |
---|
333 | |
---|
334 | @ARTICLE {IPR, |
---|
335 | AUTHOR = {{ Isaev, A. and Pyatov, P. and Rittenberg, V.}}, |
---|
336 | TITLE = {{Diffusion algebras}}, |
---|
337 | JOURNAL = {{arXiv.~math.~QA/0103603}}, |
---|
338 | YEAR = {2001}, |
---|
339 | } |
---|
340 | |
---|
341 | @Book{Kr, |
---|
342 | author = {{Kredel, H.}}, |
---|
343 | title = {{Solvable polynomial rings}}, |
---|
344 | publisher = "Shaker", |
---|
345 | year = 1993, |
---|
346 | } |
---|
347 | |
---|
348 | @Book {DK, |
---|
349 | AUTHOR = { Drozd, Y. and Kirichenko, V.}, |
---|
350 | TITLE = { Finite dimensional algebras. With an appendix by Vlastimil Dlab}, |
---|
351 | publisher = {{Springer}}, |
---|
352 | YEAR = {1994}, |
---|
353 | } |
---|
354 | |
---|
355 | @Book{GPS, |
---|
356 | author = {{Greuel, G.-M. and Pfister, G. with contributions by Bachmann, O. and Sch\"onemann, H.}}, |
---|
357 | title = {{A SINGULAR Introduction to Commutative Algebra}}, |
---|
358 | publisher = {{Springer}}, |
---|
359 | year = 2002, |
---|
360 | } |
---|
361 | |
---|