User:StarTower/Structure Notes/Definition Pages/Heading Two Statistics

From ProofWiki
Jump to navigation Jump to search

About

A page in the Definition namespace is broken up using heading 2 subsections.

This counts their occurrences approximately.

Note that heading 2 subsections which are internal links are not included here.


Data

Produced: 25th January 2014

# Subsection Title Frequency
$1$ Definition $4636$
$2$ Sources $2409$
$3$ Also see $2241$
$4$ Also known as $728$
$5$ Linguistic Note $226$
$6$ Also defined as $147$
$7$ Also denoted as $85$
$8$ Notation $75$
$9$ Examples $71$
$10$ Example $60$
$11$ Equivalence of Definitions $54$
$12$ Notes $46$
$13$ Historical Note $38$
$14$ See also $38$
$15$ Comment $34$
$16$ References $28$
$17$ Warning $20$
$18$ Theorem $18$
$19$ Caution $17$
$20$ Formal Definition $17$
$21$ Informal Definition $17$
$22$ Remark $16$
$23$ Euclid's Definition $16$
$24$ Alternative Definition $15$
$25$ Dimension $14$
$26$ Definition 1 implies Definition 2 $13$
$27$ Definition 2 implies Definition 1 $13$
$28$ Also See $12$
$29$ Linguistic note $11$
$30$ Units $10$
$31$ Properties $10$
$32$ Compare with $10$
$33$ Note on Terminology $9$
$34$ Technical Note $9$
$35$ Euclid's Definitions $9$
$36$ Matrix Form $8$
$37$ Also known as $8$
$38$ Symbol $7$
$39$ Geometric Interpretation $7$
$40$ Other inverse trigonometrical ratios $6$
$41$ Source $6$
$42$ Beware $6$
$43$ Other trigonometrical ratios $6$
$44$ Context $5$
$45$ Bourbaki Definition $5$
$46$ Variants $4$
$47$ Intuition $4$
$48$ Positive Real Numbers $4$
$49$ Partite Sets $4$
$50$ Closed Form $4$
$51$ Axiomatic Set Theory $4$
$52$ Historical note $4$
$53$ Ordered Pair of Complex Numbers $4$
$54$ Connectives $4$
$55$ Specific Number Sets $4$
$56$ Specific Instantiations $4$
$57$ Remarks $4$
$58$ Philosophical Position $3$
$59$ Notable proponents $3$
$60$ Simple Graph $3$
$61$ Technical note $3$
$62$ Relation $3$
$63$ Axiom of Choice $3$
$64$ Justification $3$
$65$ Illustration $3$
$66$ Alternative Treatment $3$
$67$ Half Open Intervals $3$
$68$ Linear and Non-Linear $3$
$69$ Solution $3$
$70$ Generator $3$
$71$ General Definition $3$
$72$ Definition in $\R^n$ $3$
$73$ Recurrence Formula $3$
$74$ Approximation by Decimal Expansion $3$
$75$ Letters $3$
$76$ Signs $3$
$77$ Collation System $3$
$78$ Formal Grammar $3$
$79$ Note on Definition $3$
$80$ Also written as $3$
$81$ Alternative terminology $3$
$82$ Abundant $2$
$83$ Perfect $2$
$84$ Deficient $2$
$85$ Loop-Graph $2$
$86$ Loop-Digraph $2$
$87$ Special Cases $2$
$88$ Cartesian Coordinates $2$
$89$ Equivalent Definitions $2$
$90$ Also see $2$
$91$ In Euclidean 2-Space $2$
$92$ Applications $2$
$93$ Function $2$
$94$ Cancellable Operation $2$
$95$ Non-Abelian Groups $2$
$96$ Circle $2$
$97$ Euclid's Terminology $2$
$98$ Rectilineal Figure $2$
$99$ Class Variables $2$
$100$ A note on terminology $2$
$101$ Relations $2$
$102$ History $2$
$103$ Basic Properties $2$
$104$ Strongly Complete Proof System $2$
$105$ Imaginary Unit $2$
$106$ Zero $2$
$107$ Definition 2 implies Definition 3 $2$
$108$ Simply Connectedness Requirement $2$
$109$ Definition using Limit $2$
$110$ As a Metric Space $2$
$111$ Relations to Other Modes of Convergence $2$
$112$ Algebra $2$
$113$ Group Presentation $2$
$114$ Definable Set $2$
$115$ Value Set $2$
$116$ Dimensions of a Vector $2$
$117$ Alternative definitions $2$
$119$ Equality $2$
$120$ Left-Euclidean $2$
$121$ Dummy Variable $2$
$122$ Forward Difference $2$
$123$ Decomposition $2$
$124$ Invertible Mapping $2$
$125$ Geometrical Definition $2$
$126$ Alphabet $2$
$127$ Predicate Symbols $2$
$128$ Quantifiers $2$
$129$ Notable Quotes $2$
$130$ Integers $2$
$131$ Ones Matrix $2$
$132$ Weak vs. Strict Orderings $2$
$133$ Base Case $2$
$134$ Inductive Case $2$
$135$ Limit Case $2$
$136$ Elementary Properties $2$
$138$ Comments $2$
$139$ Side $2$
$140$ Coefficients $2$
$141$ Definition for Natural Numbers $2$
$142$ Factor Space $2$
$143$ Real Arguments $2$
$144$ Natural Language $2$
$145$ Truth Value $2$
$146$ Points $2$
$147$ Of a polynomial $2$
$148$ Of a set of polynomials $2$
$149$ Partial Function $2$
$150$ Real Vector Space $2$
$151$ Zermelo-Fraenkel Theory $2$
$152$ Program $2$
$153$ Rules for Abbreviation of WFFs $1$
$154$ Adding brackets $1$
$155$ Origin of abbreviations $1$
$156$ Quasiperfect $1$
$157$ Almost Perfect $1$
$158$ Correct Use of Logarithms $1$
$159$ Non-perpendicular Coordinate Axes $1$
$160$ Differentials $1$
$161$ Be warned $1$
$162$ Addition on Standard Number Systems $1$
$163$ Multigraph $1$
$164$ Digraph $1$
$165$ Loop-Multigraph $1$
$166$ Network $1$
$167$ Definition by Transfinite Recursion $1$
$168$ Finiteness $1$
$169$ Definiteness $1$
$170$ Inputs $1$
$171$ Outputs $1$
$172$ Effectiveness $1$
$173$ Analysis $1$
$174$ Correctness $1$
$175$ Complexity $1$
$176$ Why not just execute algorithms on machines to find their runtimes? $1$
$177$ Case 1 $1$
$178$ Case 2 $1$
$179$ Types of Angle $1$
$180$ Directed versus Undirected Angles $1$
$181$ Group Antihomomorphism $1$
$182$ Ring Antihomomorphism $1$
$183$ Field Homomorphism $1$
$184$ Principal Argument $1$
$185$ Footnotes $1$
$186$ Construction of Assemblies $1$
$187$ Concatenation $1$
$188$ Extracting the Variable $1$
$189$ Replacement $1$
$190$ Sequences $1$
$191$ Functions $1$
$192$ Axiom Schemas $1$
$193$ Polar Coordinates $1$
$194$ Terminals and Non-Terminals $1$
$195$ Negative Real Numbers $1$
$196$ Success or Failure $1$
$197$ In Euclidean $n$-Space $1$
$198$ Basic Properties of a Bijection $1$
$199$ Borel Sets $1$
$200$ Recursive Definition $1$
$201$ From Differential Equation $1$
$202$ Bounded Linear Operator $1$
$203$ The no-solution case $1$
$204$ Background $1$
$205$ Description $1$
$206$ Generators $1$
$207$ Complete Set of Bézout Numbers $1$
$208$ Probability Theory $1$
$209$ Computer Science $1$
$210$ Cancellable $1$
$211$ Centimeter $1$
$212$ Square Centimeter $1$
$213$ Cubic Centimeter $1$
$214$ CGS Base Units $1$
$215$ CGS Derived Units $1$
$216$ Dyne $1$
$217$ Also see: $1$
$218$ Use of Axiom of Choice $1$
$219$ Polygons $1$
$220$ Polyhedra $1$
$221$ Notes and References $1$
$222$ Cofactor of an Element $1$
$223$ Cofactor of a Minor $1$
$224$ Intuitive Definition $1$
$225$ Vertex Coloring $1$
$226$ Comparison with Labeled Graph $1$
$227$ Edge Coloring $1$
$228$ Comparison with Undirected Network $1$
$229$ Why Colors? $1$
$230$ Compact Operator $1$
$231$ Complementary Projection $1$
$232$ Examples of Complete Graphs $1$
$233$ Complex Addition $1$
$234$ Complex Multiplication $1$
$235$ Wholly Real $1$
$236$ Wholly Imaginary $1$
$237$ Complex Plane $1$
$238$ Real Axis $1$
$239$ Imaginary Axis $1$
$240$ Polar Form $1$
$241$ Presentational Note $1$
$242$ Commutative Diagram $1$
$243$ Composition as a Binary Operation $1$
$244$ Algebraic Structure $1$
$245$ Fallacies Concerning the Conditional $1$
$246$ Further Definitions $1$
$247$ Relationship between Inverse, Converse and Contrapositive $1$
$248$ Comparison to Necessary and Sufficient Conditions in Modal Logic $1$
$250$ Conjugate $1$
$251$ Equivalence proof $1$
$252$ Definition 3 implies Definition 2 $1$
$253$ Rational Polynomial $1$
$254$ Polynomial over a GCD Domain $1$
$255$ Set of Logical Formulas $1$
$256$ Epsilon-Delta Definition $1$
$257$ Epsilon-Neighborhood Definition $1$
$258$ Open Set Definition $1$
$259$ Open Interval $1$
$260$ Closed Interval $1$
$261$ Warning: Domain of Function $1$
$262$ Contour Integral along Closed Contour $1$
$263$ Convergence of a Function on a Metric Space $1$
$264$ Convergence of Real and Complex Functions $1$
$265$ Divergent Function $1$
$266$ Cluster Point $1$
$267$ Divergent Sequence $1$
$268$ Coprime as a Relation $1$
$269$ Solid Geometry $1$
$270$ Some simple properties $1$
$271$ Decimal Point $1$
$272$ Refutation Procedure $1$
$273$ Definable Element $1$
$274$ Integrand $1$
$275$ Density $1$
$276$ Dimension of Density $1$
$277$ Units of Density $1$
$278$ Area Density $1$
$279$ Dimension of Area Density $1$
$280$ Units of Area Density $1$
$281$ Linear Density $1$
$282$ Dimension of Linear Density $1$
$283$ Units of Linear Density $1$
$284$ Tschirnhaus Substitution $1$
$285$ Second Derivative $1$
$286$ Higher Order Derivatives $1$
$287$ First Derivative $1$
$288$ Zeroth Derivative $1$
$289$ Derivative of a Real Function $1$
$290$ Ordinary Derivative $1$
$291$ By a Basis $1$
$292$ By a Partition of Unity $1$
$293$ Index Category $1$
$294$ Alternative Notation $1$
$295$ Coin-Tossing $1$
$296$ Biased Coin $1$
$297$ Bernoulli Trial $1$
$298$ Specific Instances $1$
$299$ Domain Restriction $1$
$300$ Order $1$
$301$ Ordinary and Partial Differential Equations $1$
$302$ Ordinary Differential Equation $1$
$303$ Partial Differential Equation $1$
$304$ Mixed Differential Equation $1$
$305$ Solution Set $1$
$306$ Autonomous System $1$
$307$ Explicit System $1$
$308$ Affine Dimension $1$
$309$ Manifold $1$
$310$ Category-Theoretic Definition $1$
$311$ Simple Digraph $1$
$312$ Primitive Character $1$
$313$ Topological Spaces $1$
$314$ Discrete Probability Space $1$
$315$ Discussion $1$
$316$ Indistinguishable $1$
$317$ Pairwise Distinct $1$
$318$ Distributive $1$
$319$ Set Theory Definition $1$
$320$ Morphisms-Only Category Theory $1$
$321$ Object Category Theory $1$
$322$ Duality $1$
$323$ Row Echelon Form $1$
$324$ Reduced Row Echelon Form $1$
$325$ Point Spectrum $1$
$326$ Eigenspace $1$
$327$ Notable members $1$
$328$ Partial Elementary Embedding $1$
$329$ Parts of Ellipse $1$
$330$ Partial Embedding $1$
$331$ Isomorphism $1$
$332$ Automorphism $1$
$333$ Euclidean 2-space $1$
$334$ Euclidean 3-space $1$
$335$ Euclidean $n$-space $1$
$336$ Transcendental Entire Function $1$
$337$ In Euclidean n-Space $1$
$338$ Books VIII and IX $1$
$339$ Books XII and XIII $1$
$340$ Right-Euclidean $1$
$341$ Euler Polyhedron Formula $1$
$342$ Generalized Formula $1$
$343$ Even-Times Even $1$
$344$ Even-Times Odd $1$
$345$ Semantics $1$
$346$ Structures on $\overline{\R}$ $1$
$347$ Extensions of the concept $1$
$348$ Normalizations $1$
$349$ Significance $1$
$350$ Definition for Multiindices $1$
$351$ Equivalent Filter Bases $1$
$352$ Filtered Set $1$
$353$ Trivial Filter $1$
$354$ Finite Intersection $1$
$355$ Proper Filter $1$
$356$ Standard Form $1$
$357$ Backward Difference $1$
$358$ General Form $1$
$359$ Generalized Forward Difference $1$
$360$ Generalized Backward Difference $1$
$361$ Central Difference $1$
$362$ Correctness of the definition $1$
$363$ Other commonly used definitions $1$
$364$ FPS Base Units $1$
$365$ Foot $1$
$366$ Pound $1$
$367$ Point of Reference $1$
$368$ Category-Theoretic Formulation $1$
$369$ Co- and Contravariance $1$
$370$ Conventions $1$
$371$ Standard Definition $1$
$372$ Weierstrass Form $1$
$373$ Euler Form $1$
$374$ Extension of Factorial $1$
$375$ Relationship with Product Space Metrics $1$
$376$ Net Convergence $1$
$377$ Absolute Net Convergence $1$
$378$ Quote $1$
$379$ Mean Proportional $1$
$380$ Geometrical Interpretation $1$
$381$ Homogeneous Elements $1$
$382$ At a Point $1$
$383$ On a Region $1$
$384$ Graph of a Relation $1$
$385$ Physical Constant $1$
$386$ Dimensional Analysis $1$
$387$ Comparison with Maximal Element $1$
$388$ Axioms for Sets $1$
$389$ Axioms for Classes $1$
$390$ Direct Sum of Two Hilbert Spaces $1$
$391$ Direct Sum of Sequence of Hilbert Spaces $1$
$392$ Standard Notation $1$
$393$ Equivalent Definition $1$
$394$ Heterogeneous $1$
$395$ Matrix Representation $1$
$396$ Note on Name $1$
$397$ First Definition $1$
$398$ Second Definition $1$
$399$ Unbounded Closed Intervals $1$
$400$ Unbounded Open Intervals $1$
$401$ Introduction $1$
$402$ (Group Actions) $1$
$403$ Note on terminology $1$
$404$ Strict $1$
$405$ Ring Extension $1$
$406$ Integral Domain $1$
$407$ Boolean Interpretation $1$
$408$ Interior Point $1$
$409$ Invertible Bounded Linear Operator $1$
$410$ Metric Space as a Topological Space $1$
$411$ Isolated Point of Subset $1$
$412$ Isolated Point of Space $1$
$413$ Types of isolated singularities $1$
$414$ Removable Singularity $1$
$415$ Essential Singularity $1$
$416$ Characterization using Laurent series $1$
$417$ Equivalent characterizations $1$
$418$ Isolated singularities of meromorphic functions $1$
$419$ Isometry Into $1$
$420$ Sphere Knot $1$
$421$ Circle Knot $1$
$422$ Elementary Knot $1$
$423$ Standard Interpretation $1$
$424$ Brackets $1$
$425$ Rules of Formation $1$
$426$ Formal Language $1$
$427$ The Alphabet $1$
$428$ The Letters $1$
$429$ The Signs $1$
$430$ The Lebesgue Integral of a Simple Function $1$
$431$ The Lebesgue Integral of a Nonnegative Measurable Function $1$
$432$ The Lebesgue Integral of a Measurable Function $1$
$433$ Lebesgue Integrable $1$
$434$ Lebesgue Measure on the Reals $1$
$435$ Complex Lebesgue Space $1$
$436$ Multifunction $1$
$437$ First few Legendre polynomials $1$
$438$ Bonnet's Recursion Formula $1$
$439$ Length of Legendre polynomial $1$
$440$ Proof of Length $1$
$441$ Law of Quadratic Reciprocity $1$
$442$ Definition for Ordinals $1$
$443$ Epsilon-Delta Condition $1$
$444$ Epsilon-Neighborhood Condition $1$
$445$ Real and Complex Numbers $1$
$446$ Limits involving infinity $1$
$447$ Simple Examples $1$
$448$ Also $1$
$449$ Euclidean Definition $1$
$450$ Distance $1$
$451$ Relativistic Model $1$
$452$ Homogeneous Linear Recurrence Relation $1$
$453$ Definition (Groups) $1$
$454$ Definition (Algebras) $1$
$455$ Definition for $\R^n$ $1$
$456$ Metric Spaces $1$
$457$ Logarithmic Integral $1$
$458$ Offset Logarithmic Integral $1$
$459$ Loop $1$
$460$ Loop-Digraph as a Relation $1$
$461$ Incidence $1$
$462$ Disambiguation $1$
$463$ Domain, Codomain, Image, Preimage $1$
$464$ Diagrammatic Presentation $1$
$465$ Mapping as Unary Operation $1$
$466$ Abstract System $1$
$467$ Concrete System $1$
$468$ An attempt at a definition $1$
$469$ Comparison with Greatest Element $1$
$470$ Real-Valued Function $1$
$471$ Extended Real-Valued Function $1$
$472$ Positive Measurable Function $1$
$473$ Measurable Sets of an Arbitrary Outer Measure $1$
$474$ Measurable Subsets of the Reals $1$
$475$ Measurable Subsets of $\R^n$ $1$
$476$ Elementary Consequences $1$
$477$ Currently known Mersenne Primes $1$
$478$ History of Mersenne Primes $1$
$479$ Testing Primality of a Mersenne number $1$
$480$ G.I.M.P.S. $1$
$481$ Meter $1$
$482$ Square Meter $1$
$483$ Cubic Meter $1$
$484$ In Relation to Norms $1$
$485$ In Relation to Topological Spaces $1$
$486$ Comparison with Smallest Element $1$
$487$ MKS Base Units $1$
$488$ MKS Derived Units $1$
$489$ Modulus of a Quadrilateral $1$
$490$ Modulus of an Annulus $1$
$492$ Abstract Category $1$
$493$ Concrete Category $1$
$494$ Morphism of Graphs $1$
$495$ Explanation $1$
$496$ Multiplication on Standard Number Systems $1$
$497$ Commutativity of Multiplication $1$
$498$ Associativity of Multiplication $1$
$499$ Structure of a Proof Rule $1$
$500$ Rigorous Definition $1$
$501$ Other Definition $1$
$502$ Work in progress $1$
$503$ Real Part $1$
$504$ Imaginary Part $1$
$505$ Norm $1$
$506$ Alternative notation $1$
$507$ Operator Norm $1$
$508$ Family of Null Sets $1$
$509$ Integral Part $1$
$510$ Fractional Part $1$
$511$ Radix Point $1$
$512$ Extension of concepts $1$
$513$ Number Sets as Algebraic Structures $1$
$514$ Odd-Times Odd $1$
$515$ Square Ones Matrix $1$
$516$ Arity $1$
$517$ Operand $1$
$518$ Informal interpretation $1$
$519$ Total Ordering Induced by Injection $1$
$520$ Well-Ordering Induced by Injection $1$
$521$ Smaller and Larger $1$
$522$ Partial vs. Total Orderings $1$
$523$ Orthogonal Complement $1$
$524$ Oscillation on a Set $1$
$525$ Oscillation at a Point $1$
$526$ Index Notation $1$
$527$ Matrix Multiplication $1$
$528$ Reflexivity $1$
$529$ Cayley Table $1$
$530$ Functions on Real Vector Spaces $1$
$531$ Total Function $1$
$532$ Historical Notes $1$
$533$ Differences in Terminology $1$
$534$ Periodic Continued Fraction $1$
$535$ Purely Periodic Continued Fraction $1$
$536$ Cycle $1$
$537$ Period $1$
$538$ Physical Quantity $1$
$539$ Physical Property $1$
$540$ Physical System $1$
$541$ Physical Process $1$
$542$ Measurable Property $1$
$543$ Quantitative Property $1$
$544$ Real-World $1$
$545$ Geometric $1$
$546$ Uniqueness of Pi $1$
$547$ Algebraic $1$
$548$ Planar $1$
$549$ Face $1$
$550$ Incident $1$
$551$ Adjacent $1$
$552$ Non-Planar $1$
$553$ Pointwise Multiplication $1$
$554$ Specific Instance $1$
$555$ Specific Operations $1$
$556$ Multiary Operations $1$
$557$ Partial Examples $1$
$558$ Identification of Point in Plane with Ordered Pair $1$
$559$ Parts of a Polygon $1$
$560$ Types of Polygon $1$
$561$ Triangular Numbers $1$
$562$ Square Numbers $1$
$563$ Pentagonal Numbers $1$
$564$ Degenerate Case $1$
$565$ Linguistic Origin $1$
$566$ Function Symbols $1$
$567$ Punctuation $1$
$568$ Length of Symbols $1$
$569$ Formal Grammar: Backus-Naur Form $1$
$570$ Partial vs. Total Preorderings $1$
$571$ Integration $1$
$572$ Definition for Primes $1$
$573$ Nonprincipal Ultrafilter $1$
$574$ Cartesian Product of Sets $1$
$575$ Relationship with General Euclidean Metric $1$
$576$ Projection from Product of Two Sets $1$
$577$ Proper Vertex Coloring $1$
$578$ Proper Edge Coloring $1$
$579$ Inverse Proportion $1$
$580$ Joint Proportion $1$
$581$ Constant of Proportionality $1$
$582$ Continuously Proportional $1$
$583$ Finite or Infinite Root $1$
$584$ Primitive Pythagorean Triple $1$
$585$ Canonical Form $1$
$586$ Reduced Form $1$
$587$ Association $1$
$588$ Quadratic Non-Residue $1$
$589$ Quadratic Character $1$
$590$ Quadratic Character of Congruent Integers $1$
$591$ Further subclassifications $1$
$592$ Quaternion Addition of Complex Pairs $1$
$593$ Quaternion Multiplication of Complex Pairs $1$
$594$ Range as Codomain $1$
$595$ Range as Image $1$
$596$ Existence of Ratio $1$
$597$ Equality of Ratios $1$
$598$ Definitions of Interval Types $1$
$599$ Property Defining an Interval $1$
$600$ Real Number Line as a Metric Space $1$
$601$ Initial Terms $1$
$602$ Definition of Reducible G-Module $1$
$603$ Finer Cover $1$
$604$ Proper Refinement $1$
$605$ Region in the Plane $1$
$606$ Interior $1$
$607$ Bounded $1$
$608$ Open Region $1$
$609$ Regular Representations as Subset Product $1$
$610$ Application to Statistics $1$
$611$ Real Functions of One Variable $1$
$612$ Elliptic, Parabolic and Hyperbolic Riemann Surface $1$
$613$ Analytic Continuation $1$
$614$ Important Values $1$
$615$ Parts of Right Circular Cone $1$
$616$ Types of Right Circular Cone $1$
$617$ Uses of Roman Numerals $1$
$618$ Also presented as $1$
$619$ Table of Roots of Unity Modulo $m$ $1$
$620$ Table of Non-trivial Square Roots of Unity Modulo $m$ $1$
$621$ Table of Non-trivial Cubic Roots of Unity Modulo $m$ $1$
$622$ Table of Non-trivial Quartic Roots of Unity Modulo $m$ $1$
$623$ Discrete Sample Space $1$
$624$ Definition for Module $1$
$625$ Equivalent definitions $1$
$626$ Sentence with Parameters $1$
$627$ Sentence with Parameters from a Model $1$
$628$ Plain Sentence $1$
$629$ Contrast with $1$
$630$ Naming Conventions $1$
$631$ Equality of Sequences $1$
$632$ Origin of Name $1$
$633$ SI Base Units $1$
$634$ SI Derived Units $1$
$635$ Algebraic Definition $1$
$636$ Positive Simple Function $1$
$637$ Linear Congruences $1$
$638$ Consistency $1$
$639$ Comparison with Minimal Element $1$
$640$ Strongly Sound Proof System $1$
$641$ Space of Bounded Linear Operators $1$
$642$ Space of Compact Linear Operators $1$
$643$ Space of Positive Measurable Functions $1$
$644$ Space of Positive Simple Functions $1$
$645$ Intuitive $1$
$646$ Creation of a Spanning Tree $1$
$647$ Physical Law $1$
$648$ Minimal Splitting Field $1$
$649$ Ideal Spring $1$
$650$ Spring Force Constant $1$
$651$ Vacuous Universe $1$
$652$ Positive Reals $1$
$653$ Negative Reals $1$
$654$ Square roots of primes $1$
$655$ Abstract Algebra $1$
$656$ Squaring $1$
$657$ Unsigned Stirling Numbers of the First Kind $1$
$658$ Signed Stirling Numbers of the First Kind $1$
$659$ Karamata Notation $1$
$660$ Notation Note $1$
$661$ Weight Function $1$
$662$ Eigenvalues $1$
$663$ Subfield of Ring $1$
$664$ Subfield of Field $1$
$665$ Proper Subfield $1$
$666$ Setwise Addition $1$
$667$ Propositional Logic $1$
$668$ Propositional Calculus $1$
$669$ The General Ring $1$
$670$ Extended Real Numbers $1$
$671$ Finer / Coarser $1$
$672$ Comparable Filters $1$
$673$ See Also $1$
$674$ Illustration by Venn Diagram $1$
$675$ The rules $1$
$676$ Graphical Representation $1$
$677$ Basic WFFs $1$
$678$ How To Use $1$
$679$ Differentable Mappings $1$
$680$ Affine Transformations $1$
$681$ Metric Product Space $1$
$682$ Graphical Example $1$
$683$ Why the name? $1$
$684$ Scales $1$
$685$ Definition for base $b \ge \exp (1/e)$ $1$
$686$ Definition for $0$ $1$
$688$ $\exp(1/e)$ $1$
$689$ Alternative definition $1$
$690$ Unit Time $1$
$691$ Topologically Indistinguishable $1$
$692$ Extended Real Number Space $1$
$693$ Modules $1$
$694$ Linear Transformation $1$
$695$ Relation Theory $1$
$696$ Graph Theory $1$
$697$ Definition in an Abelian Group $1$
$698$ Definition in an Affine Space $1$
$699$ Interior Angles $1$
$700$ Alternate Interior Angles $1$
$701$ Corresponding Angles $1$
$702$ Transversal $1$
$703$ Finite or Infinite $1$
$704$ Branch $1$
$705$ Subtree $1$
$706$ Parts of a Triangle $1$
$707$ Types of Triangle $1$
$708$ Division Ring $1$
$709$ Singleton Partition $1$
$710$ Partition of Singletons $1$
$711$ Computing Larger Truth Tables $1$
$712$ Matrix Presentation $1$
$713$ Natural Sub-Basis $1$
$714$ Natural Basis $1$
$715$ Complete Type $1$
$716$ Realization $1$
$717$ Omission $1$
$718$ Definition without respect to a structure $1$
$719$ Note on comma-separated or juxtaposed parameters $1$
$720$ Relationship to Continuity $1$
$721$ Relationship to Absolute Continuity $1$
$722$ Compare $1$
$723$ Bottom-Up Grammar $1$
$724$ Top-Down Grammar $1$
$725$ Registers $1$
$726$ Length of Program $1$
$727$ Number of Registers Used $1$
$728$ Basic Instructions $1$
$729$ Instruction Pointer $1$
$730$ Stage of Computation $1$
$731$ State $1$
$732$ Termination $1$
$733$ Input $1$
$734$ Output $1$
$735$ Null Program $1$
$736$ $\R^1$ $1$
$737$ $\R^2$ $1$
$738$ Euclidean Space $1$
$739$ Dimension of Weight $1$
$740$ Units of Weight $1$
$741$ Normalized Weighted Mean $1$
$742$ Arithmetic Mean $1$
$743$ On an Affine Space $1$
$744$ On a Commutative Ring $1$
$745$ Rational Numbers $1$
$746$ Zero Vector in $\R^n$ $1$