Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Toy_theorem> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- Toy_theorem abstract "In mathematics, a toy theorem is a simplified version of a more general theorem. For instance, by introducing some simplifying assumptions in a theorem, one obtains a toy theorem.Usually, a toy theorem is used to illustrate the claim of a theorem. It can also be insightful to study proofs of a toy theorem derived from a non-trivial theorem. Toy theorems can also have education value. After presenting a theorem (with, say, a highly non-trivial proof), one can sometimes give some assurance that the theorem really holds, by proving a toy version of the theorem.For instance, a toy theorem of the Brouwer fixed-point theorem is obtained by restricting the dimension to one. In this case, the Brouwer fixed-point theorem follows almost immediately from the intermediate value theorem.".
- Toy_theorem wikiPageID "1458024".
- Toy_theorem wikiPageRevisionID "602307116".
- Toy_theorem hasPhotoCollection Toy_theorem.
- Toy_theorem id "4684".
- Toy_theorem title "toy theorem".
- Toy_theorem subject Category:Mathematical_terminology.
- Toy_theorem subject Category:Mathematical_theorems.
- Toy_theorem type Abstraction100002137.
- Toy_theorem type Communication100033020.
- Toy_theorem type MathematicalTheorems.
- Toy_theorem type Message106598915.
- Toy_theorem type Proposition106750804.
- Toy_theorem type Statement106722453.
- Toy_theorem type Theorem106752293.
- Toy_theorem comment "In mathematics, a toy theorem is a simplified version of a more general theorem. For instance, by introducing some simplifying assumptions in a theorem, one obtains a toy theorem.Usually, a toy theorem is used to illustrate the claim of a theorem. It can also be insightful to study proofs of a toy theorem derived from a non-trivial theorem. Toy theorems can also have education value.".
- Toy_theorem label "Toy theorem".
- Toy_theorem sameAs m.053365.
- Toy_theorem sameAs Q7830555.
- Toy_theorem sameAs Q7830555.
- Toy_theorem sameAs Toy_theorem.
- Toy_theorem wasDerivedFrom Toy_theorem?oldid=602307116.
- Toy_theorem isPrimaryTopicOf Toy_theorem.