163:, may be considered to belong to elimination theory, as it asserts that a system of polynomial equations does not have any solution if and only if one may eliminate all unknowns to obtain the constant equation 1 = 0.
159:
introduced non-effective methods, and this was seen as a revolution, which led most algebraic geometers of the first half of the 20th century to try to "eliminate elimination". Nevertheless
210:, which again made relevant the design of efficient elimination algorithms, rather than merely existence and structural results. The main methods for this renewal of elimination theory are
64:. After that, elimination theory was ignored by most algebraic geometers for almost thirty years, until the introduction of new methods for solving polynomial equations, such as
109:
does not proceed by elimination, and works only when the number of equations equals the number of variables. In the 19th century, this was extended to linear
368:
335:
270:
215:
285:
313:
240:
to explain that, in some theories, every formula is equivalent to a formula without quantifier. This is the case of the theory of
248:, where elimination theory may be viewed as the theory of the methods to make quantifier elimination algorithmically effective.
187:
81:
55:
36:
227:
249:
356:
327:
160:
383:
182:, providing complete elimination methods for systems of polynomial equations, which are described in the chapter on
155:
All these concepts are effective, in the sense that their definitions include a method of computation. Around 1890,
245:
388:
265:
280:
171:
43:
232:
175:
47:
91:, which bounds the number of solutions (in the case of two polynomials in two variables at BĂ©zout time).
88:
110:
102:
118:
20:
253:
237:
24:
308:. Mathematics: Theory & Applications. Birkhäuser Boston, Inc., Boston, MA, 1994. x+523 pp.
198:
Later, elimination theory was considered old-fashioned and removed from subsequent editions of
364:
331:
309:
301:
167:
122:
211:
207:
149:
145:
106:
69:
65:
345:
360:
341:
191:
60:
297:
31:
is the classical name for algorithmic approaches to eliminating some variables between
16:
Part of algebraic geometry devoted to the elimination of variables between polynomials
377:
156:
114:
230:. In the worst case, it is presumably hard to eliminate variables computationally.
140:
80:
The field of elimination theory was motivated by the need of methods for solving
319:
241:
32:
275:
179:
134:
203:
98:
variables for reducing the problem to a single equation in one variable.
330:, vol. 211 (Revised third ed.), New York: Springer-Verlag,
226:
There is also a logical facet to elimination theory, as seen in the
148:
under various changes of variables, and are also fundamental in
306:
Discriminants, resultants, and multidimensional determinants
94:
Except for BĂ©zout's theorem, the general approach was to
42:
Classical elimination theory culminated with the work of
101:
The case of linear equations was completely solved by
202:. It was generally ignored until the introduction of
166:Elimination theory culminated with the work of
8:
252:is another example, which is fundamental in
128:Before the 20th century, different types of
76:History and connection to modern theories
144:. In general, these eliminants are also
35:of several variables, in order to solve
351:David Cox, John Little, Donal O'Shea,
250:Quantifier elimination over the reals
7:
216:cylindrical algebraic decomposition
286:Main theorem of elimination theory
14:
50:, as described in the chapter on
254:computational algebraic geometry
186:in the first editions (1930) of
54:in the first editions (1930) of
82:systems of polynomial equations
37:systems of polynomial equations
271:Faugère's F4 and F5 algorithms
228:Boolean satisfiability problem
1:
357:Graduate Texts in Mathematics
328:Graduate Texts in Mathematics
87:One of the first results was
105:, where the older method of
206:, and more specifically of
132:were introduced, including
405:
355:. Revised second edition.
246:algebraically closed field
218:, introduced around 1970.
161:Hilbert's Nullstellensatz
353:Using Algebraic Geometry
281:Triangular decomposition
68:, which were needed for
176:multivariate resultants
138:, and various kinds of
48:multivariate resultants
266:Buchberger's algorithm
233:Quantifier elimination
56:Bartel van der Waerden
363:, 2005, xii+558 pp.,
111:Diophantine equations
300:, Mikhail Kapranov,
103:Gaussian elimination
222:Connection to logic
119:Hermite normal form
21:commutative algebra
384:Algebraic geometry
238:mathematical logic
236:is a term used in
184:Elimination theory
52:Elimination theory
29:elimination theory
25:algebraic geometry
369:978-0-387-20733-9
337:978-0-387-95385-4
302:Andrey Zelevinsky
188:van der Waerden's
174:, who introduced
168:Leopold Kronecker
123:Smith normal form
396:
389:Computer algebra
348:
208:computer algebra
150:invariant theory
89:BĂ©zout's theorem
70:computer algebra
44:Francis Macaulay
404:
403:
399:
398:
397:
395:
394:
393:
374:
373:
361:Springer-Verlag
338:
318:
294:
262:
224:
200:Moderne Algebra
192:Moderne Algebra
170:, and finally
78:
61:Moderne Algebra
17:
12:
11:
5:
402:
400:
392:
391:
386:
376:
375:
372:
371:
349:
336:
316:
298:Israel Gelfand
293:
290:
289:
288:
283:
278:
273:
268:
261:
258:
223:
220:
77:
74:
15:
13:
10:
9:
6:
4:
3:
2:
401:
390:
387:
385:
382:
381:
379:
370:
366:
362:
358:
354:
350:
347:
343:
339:
333:
329:
325:
321:
317:
315:
314:0-8176-3660-9
311:
307:
303:
299:
296:
295:
291:
287:
284:
282:
279:
277:
274:
272:
269:
267:
264:
263:
259:
257:
255:
251:
247:
243:
239:
235:
234:
229:
221:
219:
217:
213:
212:Gröbner bases
209:
205:
201:
196:
194:
193:
189:
185:
181:
177:
173:
169:
164:
162:
158:
157:David Hilbert
153:
151:
147:
143:
142:
141:discriminants
137:
136:
131:
126:
124:
120:
116:
115:abelian group
112:
108:
107:Cramer's rule
104:
99:
97:
92:
90:
85:
83:
75:
73:
71:
67:
66:Gröbner bases
63:
62:
57:
53:
49:
45:
40:
38:
34:
30:
26:
22:
359:, vol. 185.
352:
323:
305:
231:
225:
199:
197:
190:
183:
180:U-resultants
165:
154:
139:
133:
129:
127:
100:
95:
93:
86:
79:
59:
51:
41:
28:
18:
320:Lang, Serge
242:polynomials
33:polynomials
378:Categories
292:References
135:resultants
130:eliminants
276:Resultant
204:computers
146:invariant
96:eliminate
322:(2002),
260:See also
244:over an
172:Macaulay
346:1878556
324:Algebra
367:
344:
334:
312:
117:with
365:ISBN
332:ISBN
310:ISBN
214:and
178:and
121:and
113:and
23:and
58:'s
46:on
19:In
380::
342:MR
340:,
326:,
304:,
256:.
195:.
152:.
125:.
84:.
72:.
39:.
27:,
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.