Versie van 13 sep 2006 12:15 bewerken Lieven Smits (overleg \| bijdragen) uitgebreid bevestigde gebruikers 3.872 bewerkingen eliminatie is kwantoreliminatie ← Oudere bewerking		Versie van 31 aug 2007 19:57 bewerken ongedaan maken GrouchoBot (overleg \| bijdragen) 212.456 bewerkingen k Bot: automatisch tekst vervangen (-ondermeer +onder meer) Nieuwere bewerking →
Regel 28: De [[stelling van Tarski]] garandeert dat eliminatie altijd mogelijk is voor stelsels van reële algebraïsche vergelijkingen en ongelijkheden. Explicieter: de projecties van een [[semi-algebraïsche verzameling]] zijn semi-algebraïsch. Dat dit niet voor de hand ligt, blijkt ~~ondermeer~~onder meer omdat de stelling ''niet'' waar blijft als we "reële" door "gehele" vervangen. Elk [[Existentie\|existentieprobleem]] voor een [[diofantische vergelijking]] is in wezen een geheel eliminatieprobleem. ==Discriminant==

Eliminatie (wiskunde): verschil tussen versies