Category:Proof Wanted

The following 200 pages are in this category, out of 2,072 total.

• 219 Fedorov Groups
• 230 Fedorov Groups where Chiral Pairs are Distinct

• 3 Configurations of 9 Lines with 3 Intersection Points on each Line
• 3 Non-Parallel Planes divide Space into 8
• 32 Distinct Point Groups
• 35 Hexominoes
• 369 Octominoes

• 4 Positive Integers in Arithmetic Sequence which have Same Euler Phi Value
• 4-Digit Numbers forming Longest Reverse-and-Add Sequence
• 41 is Smallest Number whose Period of Reciprocal is 5

• 5^x + 12^y equals 13^z has Unique Solution

• 7 Prime Knots with 7 Crossings
• 73 is Smallest Number whose Period of Reciprocal is 8

• 8 Mutually Non-Attacking Rooks on Chessboard

• Abel's Summation Formula
• Abel's Test
• Abel's Test for Uniform Convergence
• Abel-Plana Formula
• Abel-Ruffini Theorem
• Absolute Error of Sum is not Greater than Sum of Absolute Errors
• Absolute Value of Trigonometric Function
• Absolute Value of Uniformly Convergent Product
• Absolutely Convergent Series/Examples/Arbitrary Example 1
• Acceleration of Particle moving in Circle
• Acceleration of Point in Plane in Intrinsic Coordinates
• Acceptance Sampling/Examples/200
• Action in terms of Kinetic Energy
• Additivity of Riemannian Length of Admissible Curve
• Admissible Curve in Riemannian Manifold has Unique Forward Reparametrization by Arc Length
• Admissible Family of Curves Symmetry Lemma
• Aleph-Null is Smallest Infinite Cardinal Number
• Alexander Polynomial is a Knot Invariant
• Alexandroff Extension of Rational Number Space is Sequentially Compact
• Algebra Defined by Ring Homomorphism is Algebra
• Algebra of Propositions is Boolean Algebra
• Algebra over Field/Examples/2x2 Matrices under Multiplication
• Algebra over Field/Examples/Vectors in 3-Space with Vector Product
• Algebraic Closure of Field is Unique
• Algebraic Invariants for Group of Permutations of Variables
• Algebraic Numbers form Field
• Algorithm to determine whether Polynomial Diophantine Equation has Integer Solution
• Algorithmic Complexity/Examples/Multiplication of Square Matrices
• All Nontrivial Zeroes of Riemann Zeta Function are on Critical Strip
• Almost All Real Numbers are Normal
• Alternating Groups that are Ambivalent
• Alternating Sum and Difference of Factorials to Infinity
• Ampère's Force Law
• Ampère-Maxwell Law
• Analytic Basis is Analytic Sub-Basis
• Angle is not Invariant under Affine Transformation
• Angle of Tangent to Radius in Polar Coordinates
• Angles with Parallel or Perpendicular Arms are Equal or Supplementary
• Angular Momentum Commutation Rules
• Angular Momentum of Particle moving with Constant Circular Motion
• Angular Speed of Particle in Circular Motion at Constant Speed
• Angular Speed of Rotation of Plane of Oscillation of Foucault's Pendulum
• Anisotropic Vector Gives Composition of Bilinear Space
• Approximate Formula for Number of Partitions
• Approximate Size of Sum of Harmonic Series
• Apéry's Constant in terms of Central Binomial Coefficients
• Apéry's Theorem
• Arc Length of Curve in Polar Coordinates/Function of Angle
• Arc Length of Curve in Polar Coordinates/Function of Radius
• Are All Perfect Numbers Even?/Progress/Form
• Are All Perfect Numbers Even?/Progress/Minimum Size
• Are All Perfect Numbers Even?/Progress/Prime Factors
• Are All Triperfect Numbers Even?/Progress/Form
• Are All Triperfect Numbers Even?/Progress/Minimum Size
• Are All Triperfect Numbers Even?/Progress/Prime Factors
• Area of Circle
• Area of Circle/Proof 7
• Area of Lateral Surface of Cylinder
• Area of Smallest Rectangle accommodating Re-Entrant Knight's Tour
• Area of Smallest Square accommodating Re-Entrant Knight's Tour
• Area of Spherical Lune
• Area under Curve
• Arnauld's Paradox
• Arrow Paradox
• Astroid is Envelope of Line Segment whose End Points lie on Coordinate Axes
• Asymptotes of Cruciform Curve
• Asymptotes of Kappa Curve
• Asymptotes to Rectangular Hyperbola in Standard Form
• Asymptotic Distribution/Examples/Arbitrary Example 1
• Asymptotic Expansion for Complementary Error Function
• Asymptotic Expansion for Cosine Integral Function
• Asymptotic Expansion for Error Function
• Asymptotic Expansion for Exponential Integral Function/Formulation 1
• Asymptotic Expansion for Fresnel Cosine Integral Function
• Asymptotic Expansion for Fresnel Sine Integral Function
• Asymptotic Expansion for Sine Integral Function
• At Least One Third of Zeros of Riemann Zeta Function on Critical Line
• Atiyah-Singer Index Theorem
• Atlas is Contained in Unique Maximal Atlas
• Attractors of Mandelbrot Set
• Autocorrelation Matrix is Positive Definite
• Autocovariance Matrix is Positive Definite
• Automorphism Group of Complex Numbers over Real Numbers
• Axes of Symmetry for Ellipse
• Axes of Symmetry for Ellipsoid
• Axes of Symmetry of Hyperbola
• Axes of Symmetry of Kappa Curve
• Axiom of Choice is Independent of ZF
• Axiom of Choice/Examples/Russell's Socks and Shoes

• B-Algebra/Examples/S3
• Baer's Criterion
• Baire Category Theorem/Corollary
• Baire Category Theorem/Corollary/Proof 2
• Baire Characterisation Theorem
• Banach Space Valued Function is Analytic iff Weakly Analytic
• Banach Space/Examples/Square-Integrable Real-Valued Mappings
• Banach-Tarski Paradox/Lemma 1
• Banach-Tarski Paradox/Lemma 2
• Barbier's Theorem
• Bases of Finitely Generated Free Module have Equal Cardinality
• Basic Inequality/One-Sided Shift Space of Finite Type
• Basis (Hilbert Space)/Examples/L-2 Space over Interval of Zero to Two Pi
• Basis (Hilbert Space)/Examples/Real Vector Space
• Basis (Hilbert Space)/Examples/Space of Square Summable Mappings
• Basis Expansion of Rational Number
• Basis for Open Ordinal Topology
• Basis Representation is No Longer than Number
• Bendixson-Dulac Theorem
• Bernoulli's Hanging Chain Problem
• Bessel Function of the First Kind for Imaginary Argument
• Best Approximation from Below to 1 as Sum of Minimal Number of Unit Fractions
• Beta Function as Integral of Power of t by Power of 1 minus t over Power of r plus t
• Beta Function is Continuous and Positive on Positive Reals
• Bieberbach Conjecture
• Big-O Notation for Sequences Coincides with General Definition
• Bing's Metrization Theorem
• Binomial Distribution Approximated by Gaussian Distribution
• Binomial Form of Relation between Riemann Zeta Function and Dirichlet Eta Function
• Binomial Theorem/Approximations/1st Order
• Binomial Theorem/Approximations/2nd Order
• Binomial Theorem/Extended
• Binomial Theorem/Hurwitz's Generalisation
• Biot-Savart Law
• Biot-Savart Law/Proof
• Birkhoff's Ergodic Theorem
• Blaschke-Lebesgue Theorem
• Bloch's Theorem
• Body behaves as Particle under Gravitation
• Body in Free Fall moves in Parabolic Path
• Bonferroni Inequalities
• Bonnet's Recursion Formula
• Bonnet-Myers Theorem
• Boolean Prime Ideal Theorem
• Boolean Prime Ideal Theorem/Proof 2
• Boolean Prime Ideal Theorem/Proof 3
• Borel-Bott-Weil Theorem
• Borel-Carathéodory Lemma
• Borell-TIS Inequality
• Borsuk Null-Homotopy Lemma
• Borsuk Null-Homotopy Lemma/Corollary
• Borsuk-Ulam Theorem
• Bott-Milnor-Kervaire 1,2,4,8 Theorem
• Bound on Riemannian Distance Inside Coordinate Neighborhood
• Bound on Riemannian Distance Outside Coordinate Neighborhood
• Boundary of Mandelbrot Set is Fractal
• Boundary of Mandelbrot Set is Self-Similar
• Bounds for Weierstrass Elementary Factors
• Bounds of Riemannian Metric by Euclidean Metric on Euclidean Space
• Bounds on Number of Odd Terms in Pascal's Triangle
• Box Topology may not form Categorical Product in the Category of Topological Spaces
• Branches of Conchoid of Nicomedes are Asymptotic to Directrix
• Brianchon's Theorem
• Brianchon's Theorem is Projective Dual to Pascal's Theorem
• Brouncker's Formula
• Brouwer's Fixed Point Theorem/General Case
• Brun's Theorem
• Buffon-Laplace Problem
• Burnout Velocity of Upward Rocket under Constant Gravity
• Burnside's Theorem
• Bézout's Theorem

• Canonical Basis of Free Module on Set is Basis
• Canonical Homomorphism to Polynomial Ring is Ring Monomorphism
• Cantor's Paradox
• Carathéodory's Theorem (Measure Theory)
• Carathéodory's Theorem (Measure Theory)/Corollary
• Cardinality is Additive Function
• Cardinality of Set of All Mappings
• Cardinality of Set of All Mappings/Infinite Sets
• Carmichael's Theorem
• Cartan-Hadamard Theorem
• Cartesian Equation of Conchoid of Nicomedes
• Cartesian Form of Continuous Moment of Inertia
• Cartesian Form of Discrete Moment of Inertia
• Cartesian Form of Moment of Inertia about Axis of Rotation
• Cartesian Product of Mappings is Continuous iff Factor Mappings are Continuous
• Cartesian Product of Unions/General Result
• Catalan's Conjecture
• Category Axioms are Self-Dual/Morphisms-Only Category Theory
• Category of Finite Sets is Cartesian Closed
• Category of Posets is Cartesian Closed

Navigation menu

Personal tools

Namespaces