Category:ProofWiki Neologisms
Jump to navigation
Jump to search
This category lists pages exhibiting $\mathsf{Pr} \infty \mathsf{fWiki}$ neologisms.
See the {{Neologism}} template.
Pages in category "ProofWiki Neologisms"
The following 97 pages are in this category, out of 97 total.
A
D
- Definition:Dipper Operation
- Definition:Dipper Operation/Linguistic Note
- Definition:Dipper Relation
- Definition:Dipper Relation/Linguistic Note
- Definition:Distributand/Linguistic Note
- Definition:Distributive Operation/Distributand
- Dixon's Hypergeometric Theorem
- Dudeney's Property of 2592
- Dudeney's Property of 2592/Historical Note
E
G
L
- Definition:Lambert W Function/Lower Branch
- Definition:Lambert W Function/Lower Branch/Linguistic Note
- Definition:Limaçon of Pascal/Also known as
- Definition:Limaçon of Pascal/Linguistic Note
- Definition:Linear Code/Master Code
- Definition:Linearly Irrational Number
- Definition:Linearly Irrational Number/Linguistic Note
- Definition:Lipschitz Norm
- Definition:Lipschitz Norm/Linguistic Note
M
- Definition:Master Code/Linguistic Note
- Definition:Minimally Closed Class
- Definition:Minimally Closed Class/Definition 1
- Definition:Minimally Closed Class/Definition 2
- Definition:Minimally Closed Class/Linguistic Note
- Definition:Minimally Inductive Set
- Definition:Minimally Inductive Set/Definition 1
- Definition:Minimally Inductive Set/Definition 2
- Definition:Minimally Inductive Set/Definition 3
- Definition:Minimally Inductive Set/Nomenclature
- Definition:Modified Kaprekar Mapping
- Definition:Modified Kaprekar Mapping/Historical Note
- Definition:Modified Kaprekar Process
- Definition:Modified Kaprekar Process/Historical Note
O
P
R
- Ramaré's Theorem
- Ramaré's Theorem/Historical Note
- Definition:Rationally Expressible Number
- Definition:Rationally Expressible Number/Linguistic Note
- Definition:Real Interval/Notation/Wirth
- Definition:Rectangular Hyperbola/Linguistic Note
- Definition:Rectangular Hyperbola/Standard Form
- Definition:Reduced Gyromagnetic Ratio
- Definition:Reduced Gyromagnetic Ratio/Terminology
- Definition:Relation Conversely Compatible with Operation
- Definition:Relation Conversely Compatible with Operation/Linguistic Note
- Definition:Relation Strongly Compatible with Operation
- Definition:Relation Strongly Compatible with Operation/Linguistic Note
- Definition:Restricted Dipper Operation
- Definition:Restricted Dipper Operation/Linguistic Note
- Definition:Restricted Dipper Relation
- Definition:Restricted Dipper Relation/Linguistic Note
- Definition:Restricted Dipper Semigroup
- Definition:Restricted Dipper Semigroup/Linguistic Note
- Definition:Right Parabolic Segment/Linguistic Note
S
- Definition:Squarely Irrational Number
- Definition:Squarely Irrational Number/Linguistic Note
- Definition:Standard Number Field
- Definition:Standard Number Field/Linguistic Note
- Definition:Stirling's Constant
- Definition:Stirling's Constant/Historical Note
- Definition:Strict Strong Well-Ordering
- Definition:Strict Strong Well-Ordering/Linguistic Note
- Definition:Symmetric Function/Elementary