11 search results for "tag:"keyword:small scale reflection""

category:Mathematics/Combinatorics and Graph Theory keyword:Four color theorem keyword:small scale reflection keyword:Mathematical Components logpath:fourcolor.proof date:2025-04-16

keyword:bigenough keyword:asymptotic reasonning keyword:small scale reflection keyword:mathematical components logpath:mathcomp.bigenough

keyword:algebra keyword:field keyword:small scale reflection keyword:mathematical components keyword:odd order theorem

keyword:finite groups keyword:Feit Thompson theorem keyword:small scale reflection keyword:mathematical components keyword:odd order theorem

keyword:small scale reflection keyword:mathematical components keyword:algebra keyword:algebraic structure hierarchies keyword:archimedean field keyword:floor keyword:ceil keyword:intervals keyword:matrices keyword:vectors keyword:block matrices keyword:determinant keyword:Cramer rule keyword:Vandermonde matrices keyword:LUP decomposition keyword:Gaussian elimination keyword:matrix rank keyword:eigen values keyword:single variable polynomials keyword:bivariate polynomials keyword:polynomial division keyword:integers keyword:rational numbers keyword:semirings keyword:rings keyword:left algebra keyword:left module keyword:unit rings keyword:field keyword:algebraically closed field keyword:additive morphisms keyword:ring morphisms keyword:finite dimensional vector spaces keyword:complex numbers keyword:square root logpath:mathcomp.algebra

keyword:small scale reflection keyword:mathematical components keyword:bigop keyword:big operators keyword:biomial coefficient keyword:integer division theory keyword:finite sets keyword:functions with finite domain keyword:finite graphs keyword:quotient types keyword:lists keyword:ordering and sorting lists keyword:prime numbers keyword:tuples keyword:bounded lists logpath:mathcomp.boot

keyword:small scale reflection keyword:mathematical components keyword:algebra keyword:character logpath:mathcomp.character

keyword:small scale reflection keyword:mathematical components keyword:algebra keyword:field logpath:mathcomp.field

keyword:small scale reflection keyword:mathematical components keyword:finite groups logpath:mathcomp.fingroup

keyword:small scale reflection keyword:mathematical components keyword:order theory keyword:partial order keyword:lattices keyword:total order logpath:mathcomp.order

keyword:small scale reflection keyword:mathematical components keyword:finite groups logpath:mathcomp.solvable