List of mathematical proofs

http://dbpedia.org/resource/List_of_mathematical_proofs an entity of type: Thing

A list of articles with mathematical proofs: rdf:langString
rdf:langString List of mathematical proofs
xsd:integer 255768
xsd:integer 1108321149
rdf:langString A list of articles with mathematical proofs:
xsd:nonNegativeInteger 5986
owl:Thing
dbpedia:Category:Mathematical_proofs
dbpedia:Category:Mathematics-related_lists
dbpedia:Cantor's_first_uncountability_proof
dbpedia:Cantor's_theorem
dbpedia:Prim's_algorithm
dbpedia:Primitive_recursive_function
dbpedia:Product_topology
dbpedia:Proof_that_22/7_exceeds_π
dbpedia:Proof_that_the_sum_of_the_reciprocals_of_the_primes_diverges
dbpedia:Proofs_of_Fermat's_little_theorem
dbpedia:Quadratic_equation
dbpedia:Rolle's_theorem
dbpedia:Minkowski_inequality
dbpedia:Principle_of_bivalence
dbpedia:Basel_problem
dbpedia:Basis_(linear_algebra)
dbpedia:Bellman–Ford_algorithm
dbpedia:Algebra_of_sets
dbpedia:Algorithmic_information_theory
dbpedia:Hyperbolic_angle
dbpedia:Bertrand's_postulate
dbpedia:Relational_algebra
dbpedia:Riemann_integral
dbpedia:Van_der_Waerden's_theorem
dbpedia:Cantor–Bernstein–Schroeder_theorem
dbpedia:Intuitionistic_logic
dbpedia:Invariance_of_domain
dbpedia:Kőnig's_lemma
dbpedia:Kőnig's_theorem_(graph_theory)
dbpedia:List_of_incomplete_proofs
dbpedia:Power_rule
dbpedia:Proof_of_Bertrand's_postulate
dbpedia:Combinatory_logic
dbpedia:Coset
dbpedia:Mathematical_induction
dbpedia:Mean_value_theorem
dbpedia:Estimation_of_covariance_matrices
dbpedia:Gauss–Markov_theorem
dbpedia:Quotient_rule
dbpedia:List_of_long_proofs
dbpedia:Clique_problem
dbpedia:Co-NP
dbpedia:Fundamental_theorem_of_algebra
dbpedia:Fundamental_theorem_of_arithmetic
dbpedia:Green's_theorem
dbpedia:Multivariate_normal_distribution
dbpedia:Product_Rule
dbpedia:Lindemann–Weierstrass_theorem
dbpedia:Liouville's_theorem_(complex_analysis)
dbpedia:Shor's_algorithm
dbpedia:Combinatorics
dbpedia:Compactness_theorem
dbpedia:Computational_geometry
dbpedia:Harmonic_series_(mathematics)
dbpedia:Kruskal's_algorithm
dbpedia:Sum_rule_in_differentiation
dbpedia:Sum_rule_in_integration
dbpedia:Torque
dbpedia:Banach–Tarski_paradox
dbpedia:Cauchy's_integral_formula
dbpedia:Cayley's_formula
dbpedia:Gale–Shapley_algorithm
dbpedia:Galois_group
dbpedia:Countable
dbpedia:Gödel's_completeness_theorem
dbpedia:Gödel's_ontological_proof
dbpedia:Heine–Borel_theorem
dbpedia:Irrational_number
dbpedia:Linear_independence
dbpedia:No-cloning_theorem
dbpedia:Erdős–Ko–Rado_theorem
dbpedia:Euclidean_algorithm
dbpedia:Euler's_formula
dbpedia:Euler's_theorem
dbpedia:Fermat's_little_theorem
dbpedia:Five_lemma
dbpedia:Angle_of_parallelism
dbpedia:Banach_fixed-point_theorem
dbpedia:Brouwer_fixed-point_theorem
dbpedia:Cayley's_theorem
dbpedia:Direct_proof
dbpedia:Goodstein's_theorem
dbpedia:Mathematical_proof
dbpedia:Pumping_lemma
dbpedia:Pythagorean_theorem
dbpedia:Rao–Blackwell_theorem
dbpedia:Recursion
dbpedia:Group_(mathematics)
dbpedia:Gödel's_incompleteness_theorem
dbpedia:Halting_problem
dbpedia:Itô's_lemma
dbpedia:Category:Mathematical_proofs
dbpedia:Tetris
dbpedia:Hyperbolic_sector
dbpedia:Prime_number
dbpedia:Accumulation_point
dbpedia:Lagrange's_theorem_(group_theory)
dbpedia:Lagrange's_theorem_(number_theory)
dbpedia:Lambda_calculus
dbpedia:Sylow_theorems
dbpedia:Highly_composite_number
dbpedia:Wilson's_theorem
dbpedia:Zorn's_lemma
dbpedia:Bolzano–Weierstrass_theorem
dbpedia:Boolean_ring
dbpedia:Boolean_satisfiability_problem
dbpedia:Burnside's_lemma
dbpedia:Burrows–Abadi–Needham_logic
dbpedia:Polynomial
dbpedia:Splitting_lemma
dbpedia:Square_root_of_2
dbpedia:Squeeze_theorem
dbpedia:Intermediate_value_theorem
dbpedia:Buckingham_π_theorem
dbpedia:Nash_embedding_theorem
dbpedia:Open_mapping_theorem_(functional_analysis)
dbpedia:Original_proof_of_Gödel's_completeness_theorem
dbpedia:Cantor's_diagonal_argument
dbpedia:Category:Mathematics-related_lists
dbpedia:Ramsey's_theorem
dbpedia:Markov's_inequality
dbpedia:Simpson's_rule
dbpedia:Solvable_group
dbpedia:Tychonoff's_theorem
dbpedia:Euler's_four-square_identity
dbpedia:List_of_theorems
dbpedia:Proof_that_π_is_irrational
dbpedia:Proof_that_e_is_irrational
dbpedia:Ultraparallel_theorem
dbpedia:Five_color_theorem
dbpedia:Urysohn's_lemma
dbpedia:Time_hierarchy_theorem
dbpedia:Rice's_theorem
dbpedia:Invalid_proof
dbpedia:Kőnig's_theorem_(set_theory)
dbpedia:Proof_of_mathematical_induction
dbpedia:Proof_that_0.999..._equals_1
dbpedia:Cauchy_integral_theorem
dbpedia:Addition_in_N
dbpedia:Generating_a_vector_space
dbpedia:Infinite_series
dbpedia:Integer_partition
dbpedia:Gödel_number
dbpedia:Holomorphic_functions_are_analytic
dbpedia:Ultrafilter_lemma
<http://www.wikidata.org/entity/Q6627330>
<https://global.dbpedia.org/id/4qijF>
dbpedia:Template:See_also
dbpedia:Template:Short_description
dbpedia:Template:Mathematical_logic
<http://en.wikipedia.org/wiki/List_of_mathematical_proofs?oldid=1108321149&ns=0>
<http://en.wikipedia.org/wiki/List_of_mathematical_proofs>

data from the linked data cloud