User:Michael Slone/mathtasks
Tasks are sorted by main complaint.
Check
[edit]- Brahmagupta#interpolation formula vorify
- Direct limit reread
- Eigenvalue, eigenvector and eigenspace read
- Elementary symmetric polynomial check
- Exact category reread
- Examples of generating functions check
- Fibred category check
- Galois theory read
- Hall polynomial check
- Homological algebra check
- Hyperstructure fact-check (and rm apparent sig?)
- PRO (category theory) read
- Power sum symmetric polynomial check
- Relation algebra read
- Schnorr group read
- Semidirect product read
- Weil conjectures read
Move
[edit]- Auto magma object → Magma object requires nom at Wikipedia:Requested moves, since target has nontrivial history
- Conjugacy class sum consider merge
- Saturation (graph theory) consider merge into Matching
- Symmetric graph consider merge into arc-transitive graph
Style fixes
[edit]- Bracket algebra standardize refs
- Brauer–Nesbitt theorem standardize refs
- Burnside's lemma typography
- Categorical algebra standardize refs
- Categories for the Working Mathematician fix refs
- Cauchy's theorem (group theory) dash fix
- Dagger compact category fix refs
- Element (category theory) standardize refs
- Flat module standardize refs
- Functional-theoretic algebra standardize refs
- Fundamental theorem of combinatorial enumeration standardize refs
- Generating set standardize dab page
- Graph center image woes
- Groupoid standardize refs, other cleanup as needed
- Gröbner basis "Other reading" → "References"; other refs possibly needed
- Hales–Jewett theorem fix refs
- Hecke algebra standardize refs
- Higher category theory standardize, copyedit
- Rewriting de-we?
- Rook polynomial reword lead... "Despite its name..." is not needed
Copyedit
[edit]- Adjoint functors tweak intro, later section
- Atomic (order theory) copyedit
- Axiomatizable class increase English-to-math-mode ratio
- Banach–Tarski paradox consider rewording... "Now look" "Forget about [this] for now"
- Basis (linear algebra) read, fix paren problems
- Binary function copyedit, rm space
- Binomial coefficient copyedit intro
- Birkhoff polytope copyedit
- Block walking copyedit, tone, ref
- Bound graph wording
- Bourbaki–Witt theorem copyedit
- Brahmagupta matrix copyedit
- Brauer group tweak intro
- Bulls and cows reword final para
- Characteristic sequence fix person
- Chinese remainder theorem fix intro
- Chowla–Mordell theorem wording
- Class automorphism wording
- Connected category wording
- Coalgebra de-"indeed", other fixes
- Covering problem wording in intro
- Cube-connected cycles copyedit, esp. agreement
- Cubic graph copyedit
- Cut (graph theory) copyedit
- Direct product some tone fixes needed
- Distributive homomorphism copyedit, wikify
- Distributive law between monads copyedit
- Dual basis in a field extension "devices"?
- Duality (order theory) capitalization where it oughtn't be
- Extremal combinatorics rewrite "it appears" sentence?
- Family automorphism copyedit
- Fourier algebra copyedit
- Fractal dimension on networks rm puffery
- Frieze group fix intro
- Galois cohomology copyedit
- Grün's lemma first sentence
- One-dimensional symmetry group marked for cleanup
- Ore extension intro
- Presheaf (category theory) deconfuse
- Primary cyclic group copyedit
- Rédei's theorem copyedit, exp?
- Schuette–Nesbitt formula copyedit
- Semi-local ring copyedit, ref?
- Splitting lemma major repair
- Star product this has hardly been touched since it was imported from PM
- Symmetric group inversions and parity
- Twelvefold way reduce overlinking
- Upper and lower bounds marked for cleanup
Illustrate
[edit]- Bicategory add diagrams
- Bridge (graph theory) add diagram
Expand
[edit]- Abel polynomial expand
- Adjunction (field theory) expand intro
- Algebraic enumeration say something
- Alternating sign matrix expand
- Andrews-Curtis conjecture fetch a possible counterexample?
- Arithmetic lattice define properly, expand
- Artin-Rees lemma expand statement, filter back into intro
- Autonomous category
vorify,expand - Beck's monadicity theorem connect with Bénabou work on descent
- Bialgebra add missing lead
- Binary constraint needs to be expanded; I can't do it
- Binet–Cauchy identity point out connection to determinants
- Braid group mention Wirtinger?
- Branch (graph theory) add lead
- Bruck–Chowla–Ryser theorem expand and copyedit
- Bundle (mathematics) add concrete example
- Cameron–Erdős conjecture expand
- Closed category contextify
- Combinatorial class wording; connect with generating function
- Completion (ring theory) intro
- Conjugate element (field theory) contextify
- Conjugation of isometries in Euclidean space expand intro
- Costas array make intro more introductory and contextifying
- Critical group spanning trees
- de Bruijn digraph contextify; perhaps merge into De Bruijn sequence?
- Degree-constrained spanning tree expand
- Differentially closed field plenty of empty sections
- Disperser contextify
- Distributive category contextify
- Division ring add intro
- Empty category principle contextify
- End (category theory) satisfy talk page request for "instructive example"
- Flat map expand, ref
- Generator (category theory) expand, ref
- Graded category contextify
- Graph enumeration expand
- Higman's lemma expand, name link
- Hilbert's seventeenth problem give clear statement of problem
- Holomorph (mathematics) contextify
- Pasch's theorem expand, ref
- Path cover contextify
- Pulation square expand
- Reconstruction conjecture intro
- Schur's theorem add lead
- Steinhaus-Johnson-Trotter algorithm exp
- Threshold graph +degree-maximal, recognition from degree sequence, refs
Reference
[edit]- Acyclic object reference, expand
- Algebraic independence find cite for "It is not known whether the set {π, e} is algebraically independent over Q."[1][2]
Beatles Concert Puzzle find in EWD, look for refsredirected, refs added- Bell polynomials add ref to nice paper by Rota in Finite Operator Calculus
- Countable chain condition ref
- Degree matrix ref
- Division algebra improve refs
- Edge-transitive graph improve refs
- Edge contraction ref
- Formal power series ref
- Formally real field ref
- Functor category ref
- Galois group ref
- Generalized arithmetic progression ref
- Global field ref
- Hereditary property ref
- Hereditary ring ref
- Hilbert–Speiser theorem find ref
- Homogeneous polynomial ref
- Paley's theorem ref
- Power set add real refs
- Principles and parameters add cite for lead
- Semigroupoid ref or cite arXiv paper + refimprove
- Short five lemma ref (don't have Cartan-Eilenberg in refs yet)
- Sieve (category theory) ref
- Simple algebra marked unref
- Skew lattice ref, exp
- Smash product ref
- Snake lemma ref
- Socle (mathematics) ref (Lang?)
- Span (category theory) ref
- Strong antichain ref
- Structure (category theory) ref, wording
- Sylvester's determinant theorem ref mentioned but not listed
- Ultrafilter ref
- Unique factorization domain ref