Category:Advanced Refactoring
Jump to navigation
Jump to search
These are pages which are in the process of being refactored.
The required work is believed to be of advanced level.
Do not embark unless you are a trusted user. (If you don't know what a "trusted user" is, you are not a trusted user.)
See the {{Refactor}} template.
Pages in category "Advanced Refactoring"
The following 114 pages are in this category, out of 114 total.
A
B
C
- Cauchy-Riemann Equations
- Characterisation of Sine and Cosine
- Characterization of Integrable Functions
- Church's Thesis
- Class of All Ordinals is Ordinal
- Definition:Classes of WFFs
- Classification of Finite Simple Groups
- Closed Real Interval is Compact
- Definition:Closed Set
- CNF Satisfiability Problem is NP-Complete
- Definition:Codimension
- Definition:Complex Number/Definition 2
- Construction of Inverse Completion
- Continuity Equation/Examples/Increase of Fluid Mass
- Definition:Convergent Product/Normed Algebra
- Definition:Convolution of Real Sequences
- Correspondence Theorem for Localizations of Rings
- Correspondence Theorem for Ring Epimorphisms
D
E
- Definition:Engineering Notation
- Equivalence of Definitions of Compact Topological Space
- Equivalence of Definitions of Logical Consistence
- Equivalence of Definitions of Normal Subgroup
- Equivalence of Definitions of Projective Module
- Equivalence of Definitions of Unital Associative Commutative Algebra
- Equivalence of Definitions of Vector Cross Product
- Equivalences are Interderivable
- Euler's Equation for Vanishing Variation in Canonical Variables
- Definition:Expectation
- Definition:Exponential Function
- Definition:Exponential Integral Function
G
H
I
L
M
O
P
S
- Definition:Semiring (Abstract Algebra)
- Sequence Characterization of Open Sets
- Skolem's Paradox
- Definition:Smith-Volterra-Cantor Set
- Solution to Separable Differential Equation
- Definition:Strict Strong Well-Ordering
- Definition:Structure (Set Theory)
- Definition:Sturm-Liouville Theory
- Definition:Support