Description
Metadata
Settings
owl:sameAs
Inference Rule:
b3s
b3sifp
facets
http://www.w3.org/2002/07/owl#
ldp
oplweb
skos-trans
virtrdf-label
None
About:
Proofs
Sponge
Permalink
An Entity of Type :
owl:Thing
, within Data Space :
134.155.108.49:8890
associated with source
dataset(s)
Attributes
Values
rdfs:label
Proofs
is
dcterms:subject
of
Formula for Area Bounded by a Circle/Proof/Polygon Method
Constant multiple rule of derivatives/Proof
Proof: Pi is Constant
Constant derivative rule/Proof
Elementary power rule of derivatives/Proof/Binomial Theorem method
Proof of Prim's algorithm
Derivative of sin(x)/Proof
Elementary power rule of derivatives/Proof
Proof:The Decimal 0.999... is Equivalent to 1
Proof
Proof: Tangent Quotient Identity
Pythagorean theorem/Proof
Sum rule of derivatives/Proof
Power rule of derivatives/Proof
Mathematical induction
Derivative of ln(x)/Proof
Proofs of basic group properties
Proof: Angle Difference for Sine
Formula for Area Bounded by a Circle/Proof
Proof of Chebyshev's inequality
0.999...
Proof of the Cauchy-Schwarz inequality
Integral of sec(x)/Proof
Proof: Pythagorean Identity
Proof of unbiased estimator for variance
Alternative Linked Data Views:
ODE
Raw Data in:
CXML
|
CSV
| RDF (
N-Triples
N3/Turtle
JSON
XML
) | OData (
Atom
JSON
) | Microdata (
JSON
HTML
) |
JSON-LD
About
OpenLink Virtuoso
version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software