|
gptkbp:instance_of
|
gptkb:Formula_E
|
|
gptkbp:converges_to
|
π/2
|
|
gptkbp:developed_by
|
integral calculus
the ratio of areas of circles and squares
|
|
gptkbp:emphasizes
|
π
|
|
gptkbp:example
|
a product representation of π
an infinite product
|
|
gptkbp:has_applications_in
|
physics
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Wallis product for π
|
|
gptkbp:introduced_in
|
gptkb:John_Wallis
|
|
gptkbp:is_a_convergence_of
|
the ratio of factorials
|
|
gptkbp:is_a_formula_for
|
the area of a circle
|
|
gptkbp:is_a_formula_that
|
approximates π
|
|
gptkbp:is_a_foundational_result_in
|
gptkb:Mathematics
|
|
gptkbp:is_a_historical_result_in
|
gptkb:Mathematics
|
|
gptkbp:is_a_representation_of
|
the sine function
|
|
gptkbp:is_an_infinite_series_of
|
rational numbers
|
|
gptkbp:is_cited_in
|
mathematical literature
|
|
gptkbp:is_connected_to
|
trigonometric functions
|
|
gptkbp:is_defined_by
|
π/2 = (1/1) * (2/3) * (3/5) * (4/7) * ...
|
|
gptkbp:is_essential_for
|
number theory
|
|
gptkbp:is_related_to
|
gptkb:Euler's_formula
the concept of limits
infinite products
the Gamma function
|
|
gptkbp:is_represented_in
|
lim (n→∞) (2n)! / (4^n (n!)^2)
|
|
gptkbp:is_studied_in
|
mathematical history
|
|
gptkbp:is_used_in
|
gptkb:Mathematics
numerical methods
|
|
gptkbp:is_used_in_proofs_of
|
trigonometric identities
|
|
gptkbp:is_used_to_approximate
|
the value of π
|
|
gptkbp:key_concept
|
mathematical analysis
|
|
gptkbp:product
|
even and odd integers
infinite sequences
|
|
gptkbp:technique
|
calculating π
|
|
gptkbp:was_involved_in
|
Wallis' theorem
|
|
gptkbp:bfsParent
|
gptkb:John_Wallis
|
|
gptkbp:bfsLayer
|
5
|