This HTML5 document contains 61 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n16http://hi.dbpedia.org/resource/
n7https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-frhttp://fr.dbpedia.org/resource/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Elimination_theory
rdfs:label
Théorie de l'élimination Elimination theory
rdfs:comment
En algèbre commutative et en géométrie algébrique, la théorie de l'élimination traite de l'approche algorithmique de l'élimination de variables entre polynômes. Le cas linéaire est maintenant couramment traité par élimination de Gauss, plus efficace que la méthode de Cramer. De même, des algorithmes d'élimination s'appuient sur des calculs de bases de Gröbner, alors qu'il existe des publications anciennes sur divers types d'« éliminants », comme le résultant pour trouver les racines communes à deux polynômes, le discriminant, etc. En particulier le discriminant apparaît dans la théorie des invariants et est souvent construit comme l'invariant d'une courbe algébrique ou d'un polynôme homogène. Alors que le discriminant est un cas particulier de résultant, sa construction et sa signification In commutative algebra and algebraic geometry, elimination theory is the classical name for algorithmic approaches to eliminating some variables between polynomials of several variables, in order to solve systems of polynomial equations.
dcterms:subject
dbc:Algebraic_geometry dbc:Computer_algebra
dbo:wikiPageID
245978
dbo:wikiPageRevisionID
1061618964
dbo:wikiPageWikiLink
dbr:Leopold_Kronecker dbr:Cylindrical_algebraic_decomposition dbr:Bartel_Leendert_van_der_Waerden dbr:David_Hilbert dbr:Smith_normal_form dbr:Polynomial dbr:Algebraic_geometry dbr:Hermite_normal_form dbr:Systems_of_polynomial_equations dbr:Mathematical_logic dbr:Main_theorem_of_elimination_theory dbr:Diophantine_equation dbr:Tarski–Seidenberg_theorem dbr:Quantifier_elimination dbr:Graduate_Texts_in_Mathematics dbr:Cramer's_rule dbr:Multivariate_resultant dbr:Hilbert's_Nullstellensatz dbr:Buchberger's_algorithm dbr:Andrey_Zelevinsky dbc:Algebraic_geometry dbr:Gröbner_bases dbr:Algebraically_closed_field dbr:Springer-Verlag dbr:Bézout's_theorem dbr:Francis_Sowerby_Macaulay dbr:Triangular_decomposition dbr:Computer dbr:Gaussian_elimination dbr:Abelian_group dbr:Commutative_algebra dbr:Invariant_theory dbr:Moderne_Algebra dbr:Boolean_satisfiability_problem dbr:Resultant dbr:Discriminant dbc:Computer_algebra dbr:Computer_algebra dbr:Israel_Gelfand
owl:sameAs
wikidata:Q3526789 freebase:m.01kljk n7:3FSjj dbpedia-fr:Théorie_de_l'élimination n16:विलोपन_सिद्धान्त
dbp:wikiPageUsesTemplate
dbt:Lang_Algebra dbt:Short_description dbt:ISBN
dbo:abstract
In commutative algebra and algebraic geometry, elimination theory is the classical name for algorithmic approaches to eliminating some variables between polynomials of several variables, in order to solve systems of polynomial equations. Classical elimination theory culminated with the work of Francis Macaulay on multivariate resultants, as described in the chapter on Elimination theory in the first editions (1930) of Bartel van der Waerden's Moderne Algebra. 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 Gröbner bases, which were needed for computer algebra. En algèbre commutative et en géométrie algébrique, la théorie de l'élimination traite de l'approche algorithmique de l'élimination de variables entre polynômes. Le cas linéaire est maintenant couramment traité par élimination de Gauss, plus efficace que la méthode de Cramer. De même, des algorithmes d'élimination s'appuient sur des calculs de bases de Gröbner, alors qu'il existe des publications anciennes sur divers types d'« éliminants », comme le résultant pour trouver les racines communes à deux polynômes, le discriminant, etc. En particulier le discriminant apparaît dans la théorie des invariants et est souvent construit comme l'invariant d'une courbe algébrique ou d'un polynôme homogène. Alors que le discriminant est un cas particulier de résultant, sa construction et sa signification peuvent varier. Une version moderne et systématique de la théorie du discriminant a été développée par Gelfand et ses coauteurs. Certaines méthodes systématiques ont un contenu homologique que l'on peut expliciter, comme dans le théorème des syzygies de Hilbert. Ce domaine est au moins aussi ancien que le théorème de Bézout. Le développement historique de l'algèbre commutative, qu'on appelait à l'origine théorie des idéaux, est intimement lié aux concepts de la théorie de l'élimination : des idées de Kronecker, qui avait écrit un article majeur sur le sujet,[réf. souhaitée] furent adaptées par Hilbert et « linéarisées » mais avec perte, dans un premier temps, du contenu constructif explicite. Le processus continua sur plusieurs décennies : le travail de Macaulay, d'après qui ont été nommés les anneaux de Cohen-Macaulay, a été motivé par l'élimination. La théorie de l'élimination a aussi un contenu logique, qui apparaît dans le problème SAT, soulevant des questions de complexité algorithmique. L'élimination des quantificateurs existentiels est possible dans certains cas, comme celui des corps algébriquement clos. Une conséquence géométrique est que si X est une variété algébrique sur un corps algébriquement clos k et Y un fermé de Zariski du produit de X par un espace projectif sur k, alors le projeté X0 de Y dans X est un fermé et plus généralement, pour tout entier e, l'ensemble Xe des points de X au-dessus desquels la fibre dans Y est de dimension supérieure ou égale à e est un fermé. L'histoire semble montrer que ce fait a influencé la pensée de Hilbert sur les perspectives en théorie de la démonstration.[réf. souhaitée]
gold:hypernym
dbr:Name
prov:wasDerivedFrom
wikipedia-en:Elimination_theory?oldid=1061618964&ns=0
dbo:wikiPageLength
5084
foaf:isPrimaryTopicOf
wikipedia-en:Elimination_theory