User:D.Lazard

{{Babel|align=left|en-2|!|fr|footer={{void}}|nocat=false}}

Main contributions

This list, aimed to summarize my main contributions to Wikipedia, was started on September 2017, 8. As I am editing since may 2010, it will take some time before it will be reasonably complete. For some time, I'll add old entries only when I'll come back to them for any reason.

class="wikitable sortable" style="font-size: smaller; text-align: center; width: auto"
Article ! Date ! Diff ! Edit summary ! Comments
System of polynomial equations \| {{dts\|2010\|May}} \| \|Article created \| My initial contributions still represents 75% of the article
Hilbert series and Hilbert polynomial \|{{dts\|2011\|12}} \| \|Moved and largely expanded \|Emphasis on Hilbert series Simple presentation of dimension and degree theory
Algebraic geometry \|{{dts\|2011\|12}} to {{dts\|2012\|1}} \| \|Rewriting lead + clarifying and expanding basic notions (classical algebraic geometry) + adding computational geometry and real algebraic geometry \|Previous version gave a undue weight to scheme theory and generalizations
Dimension of an algebraic variety \|{{dts\|2011\|12}} to {{dts\|2014\|1}} \|[https://en.wikipedia.org/w/index.php?title=Dimension_of_an_algebraic_variety&type=revision&diff=592796120&oldid=358718827] \|12 equivalent definitions, distinguishing affine and projective cases, real dimension, methods of computation \|Previously, only the definition as the degree of transcendence of the function field (6 lines of text in the whole article)
Polynomial greatest common divisor \|{{dts\|2012\|4}} to {{dts\|2012\|9}} \| \|Moving + Adding modern methods \|The previous version described the state of the art before the computer era
Algebra \|{{dts\|2013\|2}} \| \|Clarifying the definition (various meanings) \|Previously, confusion with the old meaning of "theory of equations" + old fashioned distinction between algebra and abstract algebra
Resultant \|{{dts\|2012\|9}} to {{dts\|2016\|11}} \| \|Largely expanding. Adding homogeneous resultant, Macaulay's resultant, U-resultant \|Size multiplied by 5
Algebraic curve \|{{dts\|2012\|10}} \| \|Adding the classical elementary study \|This was completely lacking in WP
Factorization of polynomials \|{{dts\|2014\|9}} \| \|Introduction of the modern methods and their general strategy \|
Finite field \|{{dts\|2014\|9}} \| \|Modern presentation \|Previous version was focused on operation tables
0.999... \|{{dts\|2017\|08}} \| \|Lead for defining the subject to the article Creating section "Elementary proof" \|Motivate for clarifying an endless discussion on the talk page
Surface (mathematics) \|{{dts\|2016\|4}} and {{dts\|2016\|5}} \| \|Writing this article from scratch \|Was a redirect to a dab page
Hilbert's syzygy theorem \|{{dts\|2016\|7}} to {{dts\|2016\|11}} \|[https://en.wikipedia.org/w/index.php?title=Hilbert%27s_syzygy_theorem&type=revision&diff=748825077&oldid=625047817] \|From short stub to B-class \|
Decimal \|{{dts\|2017\|08}} \| \|Emphasis on finite decimals \|Motivated by a discussion on Talk:0.999...
Gaussian integer \|{{dts\|2017\|09}} \| \|Expanding, less technical and linking to related articles \|
Primary decomposition \|{{dts\|2017\|09}} \| \|Adding various examples \|The article deserve to be restructured
Computational complexity \|{{dts\|2017\|09\|8}} \| \|Creating as a broad-concept article \|Was a dab, not convenient, as none of the links covers the concept for a non-specialist, who does not care of the distinction between complexity theory, analysis of algorithms and their practical implications
Computational complexity \|{{dts\|2017\|12}} \| \|Expanding to C-class \|
Euclidean division \| \| \|Moving from "Division algorithm" \|This term was unknown in WP
Gröbner basis \| \| \|Adding section "Properties and use"+ More accurate wording \|Still deserves a better description of the theory
Symbolic computation \| \| \|Moved to Computer algebra \|Not finished
Hypersurface \|{{dts\|2017\|11}} \| \|Splitting the manifold and the variety case + expanding the algebraic case \|
Zeros and poles \|{{dts\|2018\|1\|15}} \| \|New article resulting of the merge of Zero (complex analysis) and Pole (complex analysis) \|Expanding it and emphasizing on the symmetry between zeros and poles
Linear differential equation \|{{dts\|2018\|2\|6}} \|[https://en.wikipedia.org/w/index.php?title=Linear_differential_equation&type=revision&diff=826581136&oldid=822623881] \|Was a mess. Complete rewrite \|Added a section on holonomic functions
Matrix multiplication \|{{dts\|2018\|2}} \|[https://en.wikipedia.org/w/index.php?title=Matrix_multiplication&type=revision&diff=827998888&oldid=822915260] \|Major revision \|C-class -> B-class
Factorization \|{{dts\|2018\|3}} \|[https://en.wikipedia.org/w/index.php?title=Factorization&type=revision&diff=832534788&oldid=831153781] \|Few true additions, except distinguishing factorization of polynomials and factorization of expressions \|Was written in a confusing style that pretended to be elementary
Multi-homogeneous Bézout theorem \|{{dts\|2018\|3\|27}} \|[https://en.wikipedia.org/w/index.php?title=Multi-homogeneous_Bézout_theorem&oldid=832859641] \|Creating stub and redirects from Multi-projective variety and Multi-homogeneous polynomial \|Linked to from projective variety and Homogeneous polynomial
Vandermonde matrix \|{{dts\|2018\|3}} \|[https://en.wikipedia.org/w/index.php?title=Vandermonde_matrix&type=revision&diff=834161120&oldid=833368772] \|Providing 3 proofs + cleaning up \|
Surface \|{{dts\|2016\|4\|6}} and {{dts\|2018\|3\|3}} \| \|I did not really edited, but started the two move discussions that have led to this article \|First discussion and second discussion
Function (mathematics) \|{{dts\|2018\|4}} \|[https://en.wikipedia.org/w/index.php?title=Function_%28mathematics%29&type=revision&diff=837703587&oldid=834544988] \|Complete rewrite \|
Homomorphism \|{{dts\|2017\|1}} \|[https://en.wikipedia.org/w/index.php?title=Homomorphism&type=revision&diff=758812151&oldid=755130457] \|Clarifying the relationships epimorphism–surjection, and monomorphism–injection \|Also restructuring and expanding
Vector (mathematics and physics) \|{{dts\|2017\|9}} \|[https://en.wikipedia.org/w/index.php?title=Vector_%28mathematics_and_physics%29&type=revision&diff=860566681&oldid=859699099] \|From a WP:SIA (indiscriminate list of items) to a WP:Broad-concept article \|
Basis (linear algebra) \|{{dts\|2018\|10}} \|[https://en.wikipedia.org/w/index.php?title=Basis_%28linear_algebra%29&type=revision&diff=866903967&oldid=860094638] \|Complete rewriting of the main sections of the article \|The incitation was a remark in the talk page that the section "change of basis" was a mess
Sturm's theorem \|{{dts\|2018\|11}} \|[https://en.wikipedia.org/w/index.php?title=Sturm%27s_theorem&type=revision&diff=869249450&oldid=867351036] \|Restructuring, adding context, removing out-of-scope section "history" \|
Budan's theorem \|{{dts\|2018\|11}} \|[https://en.wikipedia.org/w/index.php?title=Budan%27s_theorem&type=revision&diff=869953321&oldid=868718867] \|Major rewrite \|
{{noredirect\|Vincent's theorem}} \|{{dts\|2018\|12}} \|[https://en.wikipedia.org/w/index.php?title=Vincent%27s_theorem&type=revision&diff=875884858&oldid=871363951] \|Redirected to a section in Real-root isolation \|Had multiple issues: wP:COI, WO:OR, WP:NPOV
Real-root isolation \|{{dts\|2018\|12}} \|[https://en.wikipedia.org/w/index.php?title=Real-root_isolation&oldid=875900621] \|New article \|Update and expands both {{noredirect\|Vincent's theorem}} and Root-finding algorithm#Roots of polynomials
Root-finding algorithm \|{{dts\|2018\|12}} \|[https://en.wikipedia.org/w/index.php?title=Root-finding_algorithm&type=revision&diff=875896499&oldid=870229909] \|Rewrite and update {{slink\|Root-finding algorithm\|Roots of polynomials\|nopage=yes}} \|Includes {{tlp\|main\|Real-root isolation}}
Curvature \|{{dts\|2019\|10}} \|[https://en.wikipedia.org/w/index.php?title=Curvature&type=revision&diff=921425849&oldid=919700578] \|Rewrite the part on curves \|Motivated by bad tentative by a crank for fixing true weaknesses of this article
Curve \|{{dts\|2019\|05}} \|[https://en.wikipedia.org/w/index.php?title=Curve&type=revision&diff=898278972&oldid=892690496] \|Clarification of the difference between classes of curves, and giving them their correct weight per WP:NPOV \|
Euclidean space \|{{dts\|2019\|09}} \|[https://en.wikipedia.org/w/index.php?title=Euclidean_space&type=revision&diff=916364529&oldid=911714579] \|Previous version was a mess \|Aimed for clarifying common misconceptions occurring in many Wikipedia articles, such that "a Euclidean space is a vector space"
Cubic function \|{{dts\|2019\|09}} \|[https://en.wikipedia.org/w/index.php?title=Cubic_function&type=revision&diff=917617322&oldid=915111262] \|Splitting out Cubic Equation and adding cubic interpolation \|
Cubic equation \|{{dts\|2019\|09}} \|[https://en.wikipedia.org/w/index.php?title=Cubic_equation&type=revision&diff=919931414&oldid=836627019] \|Splitted out from Cubic function \|Widely rewritten for an encyclopedic tone
\| \| \| \|

class="wikitable sortable" style="font-size: smaller; text-align: center; width: auto"

Article

! Date

! Diff

! Edit summary

! Comments

System of polynomial equations

| {{dts|2010|May}}

|Article created

| My initial contributions still represents 75% of the article

Hilbert series and Hilbert polynomial

|{{dts|2011|12}}

|Moved and largely expanded

|Emphasis on Hilbert series
Simple presentation of dimension and degree theory

Algebraic geometry

|{{dts|2011|12}} to {{dts|2012|1}}

|Rewriting lead + clarifying and expanding basic notions (classical algebraic geometry) + adding computational geometry and real algebraic geometry

|Previous version gave a undue weight to scheme theory and generalizations

Dimension of an algebraic variety

|{{dts|2011|12}} to {{dts|2014|1}}

|[https://en.wikipedia.org/w/index.php?title=Dimension_of_an_algebraic_variety&type=revision&diff=592796120&oldid=358718827]

|12 equivalent definitions, distinguishing affine and projective cases, real dimension, methods of computation

|Previously, only the definition as the degree of transcendence of the function field (6 lines of text in the whole article)

Polynomial greatest common divisor

|{{dts|2012|4}} to {{dts|2012|9}}

|Moving + Adding modern methods

|The previous version described the state of the art before the computer era

Algebra

|{{dts|2013|2}}

|Clarifying the definition (various meanings)

|Previously, confusion with the old meaning of "theory of equations" + old fashioned distinction between algebra and abstract algebra

Resultant

|{{dts|2012|9}} to {{dts|2016|11}}

|Largely expanding. Adding homogeneous resultant, Macaulay's resultant, U-resultant

|Size multiplied by 5

Algebraic curve

|{{dts|2012|10}}

|Adding the classical elementary study

|This was completely lacking in WP

Factorization of polynomials

|{{dts|2014|9}}

|Introduction of the modern methods and their general strategy

Finite field

|{{dts|2014|9}}

|Modern presentation

|Previous version was focused on operation tables

0.999...

|{{dts|2017|08}}

|Lead for defining the subject to the article
Creating section "Elementary proof"

|Motivate for clarifying an endless discussion on the talk page

Surface (mathematics)

|{{dts|2016|4}} and {{dts|2016|5}}

|Writing this article from scratch

|Was a redirect to a dab page

Hilbert's syzygy theorem

|{{dts|2016|7}} to {{dts|2016|11}}

|[https://en.wikipedia.org/w/index.php?title=Hilbert%27s_syzygy_theorem&type=revision&diff=748825077&oldid=625047817]

|From short stub to B-class

Decimal

|{{dts|2017|08}}

|Emphasis on finite decimals

|Motivated by a discussion on Talk:0.999...

Gaussian integer

|{{dts|2017|09}}

|Expanding, less technical and linking to related articles

Primary decomposition

|{{dts|2017|09}}

|Adding various examples

|The article deserve to be restructured

Computational complexity

|{{dts|2017|09|8}}

|Creating as a broad-concept article

|Was a dab, not convenient, as none of the links covers the concept for a non-specialist, who does not care of the distinction between complexity theory, analysis of algorithms and their practical implications

Computational complexity

|{{dts|2017|12}}

|Expanding to C-class

Euclidean division

|Moving from "Division algorithm"

|This term was unknown in WP

Gröbner basis

|Adding section "Properties and use"+ More accurate wording

|Still deserves a better description of the theory

Symbolic computation

|Moved to Computer algebra

|Not finished

Hypersurface

|{{dts|2017|11}}

|Splitting the manifold and the variety case + expanding the algebraic case

Zeros and poles

|{{dts|2018|1|15}}

|New article resulting of the merge of Zero (complex analysis) and Pole (complex analysis)

|Expanding it and emphasizing on the symmetry between zeros and poles

Linear differential equation

|{{dts|2018|2|6}}

|[https://en.wikipedia.org/w/index.php?title=Linear_differential_equation&type=revision&diff=826581136&oldid=822623881]

|Was a mess. Complete rewrite

|Added a section on holonomic functions

Matrix multiplication

|{{dts|2018|2}}

|[https://en.wikipedia.org/w/index.php?title=Matrix_multiplication&type=revision&diff=827998888&oldid=822915260]

|Major revision

|C-class -> B-class

Factorization

|{{dts|2018|3}}

|[https://en.wikipedia.org/w/index.php?title=Factorization&type=revision&diff=832534788&oldid=831153781]

|Few true additions, except distinguishing factorization of polynomials and factorization of expressions

|Was written in a confusing style that pretended to be elementary

Multi-homogeneous Bézout theorem

|{{dts|2018|3|27}}

|[https://en.wikipedia.org/w/index.php?title=Multi-homogeneous_Bézout_theorem&oldid=832859641]

|Creating stub and redirects from Multi-projective variety and Multi-homogeneous polynomial

|Linked to from projective variety and Homogeneous polynomial

Vandermonde matrix

|{{dts|2018|3}}

|[https://en.wikipedia.org/w/index.php?title=Vandermonde_matrix&type=revision&diff=834161120&oldid=833368772]

|Providing 3 proofs + cleaning up

Surface

|{{dts|2016|4|6}} and {{dts|2018|3|3}}

|I did not really edited, but started the two move discussions that have led to this article

|First discussion and second discussion

Function (mathematics)

|{{dts|2018|4}}

|[https://en.wikipedia.org/w/index.php?title=Function_%28mathematics%29&type=revision&diff=837703587&oldid=834544988]

|Complete rewrite

Homomorphism

|{{dts|2017|1}}

|[https://en.wikipedia.org/w/index.php?title=Homomorphism&type=revision&diff=758812151&oldid=755130457]

|Clarifying the relationships epimorphism–surjection, and monomorphism–injection

|Also restructuring and expanding

Vector (mathematics and physics)

|{{dts|2017|9}}

|[https://en.wikipedia.org/w/index.php?title=Vector_%28mathematics_and_physics%29&type=revision&diff=860566681&oldid=859699099]

|From a WP:SIA (indiscriminate list of items) to a WP:Broad-concept article

Basis (linear algebra)

|{{dts|2018|10}}

|[https://en.wikipedia.org/w/index.php?title=Basis_%28linear_algebra%29&type=revision&diff=866903967&oldid=860094638]

|Complete rewriting of the main sections of the article

|The incitation was a remark in the talk page that the section "change of basis" was a mess

Sturm's theorem

|{{dts|2018|11}}

|[https://en.wikipedia.org/w/index.php?title=Sturm%27s_theorem&type=revision&diff=869249450&oldid=867351036]

|Restructuring, adding context, removing out-of-scope section "history"

Budan's theorem

|{{dts|2018|11}}

|[https://en.wikipedia.org/w/index.php?title=Budan%27s_theorem&type=revision&diff=869953321&oldid=868718867]

|Major rewrite

|{{dts|2018|12}}

|[https://en.wikipedia.org/w/index.php?title=Vincent%27s_theorem&type=revision&diff=875884858&oldid=871363951]

|Redirected to a section in Real-root isolation

|Had multiple issues: wP:COI, WO:OR, WP:NPOV

Real-root isolation

|{{dts|2018|12}}

|[https://en.wikipedia.org/w/index.php?title=Real-root_isolation&oldid=875900621]

|New article

|Update and expands both {{noredirect|Vincent's theorem}} and Root-finding algorithm#Roots of polynomials

Root-finding algorithm

|{{dts|2018|12}}

|[https://en.wikipedia.org/w/index.php?title=Root-finding_algorithm&type=revision&diff=875896499&oldid=870229909]

|Rewrite and update {{slink|Root-finding algorithm|Roots of polynomials|nopage=yes}}

|Includes {{tlp|main|Real-root isolation}}

Curvature

|{{dts|2019|10}}

|[https://en.wikipedia.org/w/index.php?title=Curvature&type=revision&diff=921425849&oldid=919700578]

|Rewrite the part on curves

|Motivated by bad tentative by a crank for fixing true weaknesses of this article

Curve

|{{dts|2019|05}}

|[https://en.wikipedia.org/w/index.php?title=Curve&type=revision&diff=898278972&oldid=892690496]

|Clarification of the difference between classes of curves, and giving them their correct weight per WP:NPOV

Euclidean space

|{{dts|2019|09}}

|[https://en.wikipedia.org/w/index.php?title=Euclidean_space&type=revision&diff=916364529&oldid=911714579]

|Previous version was a mess

|Aimed for clarifying common misconceptions occurring in many Wikipedia articles, such that "a Euclidean space is a vector space"

Cubic function

|{{dts|2019|09}}

|[https://en.wikipedia.org/w/index.php?title=Cubic_function&type=revision&diff=917617322&oldid=915111262]

|Splitting out Cubic Equation and adding cubic interpolation

Cubic equation

|{{dts|2019|09}}

|[https://en.wikipedia.org/w/index.php?title=Cubic_equation&type=revision&diff=919931414&oldid=836627019]

|Splitted out from Cubic function

|Widely rewritten for an encyclopedic tone

To do

class="wikitable sortable" style="font-size: smaller; text-align: center; width: auto"
Article ! Date ! Edit summary ! Comments
Root-finding algorithm \|{{dts\|2017\|09}} \|Rewriting section on polynomials \|WP:TECHNICAL and WP:NPOV
\| \| \|

class="wikitable sortable" style="font-size: smaller; text-align: center; width: auto"

Article

! Date

! Edit summary

! Comments

Root-finding algorithm

|{{dts|2017|09}}

|Rewriting section on polynomials

|WP:TECHNICAL and WP:NPOV