Ontology type: schema:Chapter Open Access: True
1998
AUTHORS ABSTRACTIt is commonplace in mathematics to present proving in a hierarchy of levels in which the empirical precedes the deductive. This paper questions the assumption that this is a matter of development of the latter from the former and presents an alternative sequence where the seeds of proving are sown in a computer-based construction process which requires an explicit description of relevant properties and relationships. More... »
PAGES169-182
Information and Communications Technologies in School Mathematics
ISBN
978-1-4757-5473-5
978-0-387-35287-9
http://scigraph.springernature.com/pub.10.1007/978-0-387-35287-9_21
DOIhttp://dx.doi.org/10.1007/978-0-387-35287-9_21
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1028199870
JSON-LD is the canonical representation for SciGraph data.
TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT
[
{
"@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json",
"about": [
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0912",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Materials Engineering",
"type": "DefinedTerm"
},
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/09",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Engineering",
"type": "DefinedTerm"
}
],
"author": [
{
"affiliation": {
"alternateName": "University College London",
"id": "https://www.grid.ac/institutes/grid.83440.3b",
"name": [
"Institute of Education, University of London, UK"
],
"type": "Organization"
},
"familyName": "Hoyles",
"givenName": "Celia",
"id": "sg:person.07727647637.50",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07727647637.50"
],
"type": "Person"
}
],
"citation": [
{
"id": "https://app.dimensions.ai/details/publication/pub.1008981858",
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-94-009-1696-8",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1008981858",
"https://doi.org/10.1007/978-94-009-1696-8"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-94-009-1696-8",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1008981858",
"https://doi.org/10.1007/978-94-009-1696-8"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-642-57799-4_13",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1033475908",
"https://doi.org/10.1007/978-3-642-57799-4_13"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-642-57799-4_13",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1033475908",
"https://doi.org/10.1007/978-3-642-57799-4_13"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1080/0141192940200105",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1035257069"
],
"type": "CreativeWork"
}
],
"datePublished": "1998",
"datePublishedReg": "1998-01-01",
"description": "It is commonplace in mathematics to present proving in a hierarchy of levels in which the empirical precedes the deductive. This paper questions the assumption that this is a matter of development of the latter from the former and presents an alternative sequence where the seeds of proving are sown in a computer-based construction process which requires an explicit description of relevant properties and relationships.",
"editor": [
{
"familyName": "Tinsley",
"givenName": "David",
"type": "Person"
},
{
"familyName": "Johnson",
"givenName": "David C.",
"type": "Person"
}
],
"genre": "chapter",
"id": "sg:pub.10.1007/978-0-387-35287-9_21",
"inLanguage": [
"en"
],
"isAccessibleForFree": true,
"isPartOf": {
"isbn": [
"978-1-4757-5473-5",
"978-0-387-35287-9"
],
"name": "Information and Communications Technologies in School Mathematics",
"type": "Book"
},
"name": "A culture of proving in school mathematics?",
"pagination": "169-182",
"productId": [
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/978-0-387-35287-9_21"
]
},
{
"name": "readcube_id",
"type": "PropertyValue",
"value": [
"8656c1944518d05c3b63f07122068762d92a6407bb6600ce54027bdd4a849fcf"
]
},
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1028199870"
]
}
],
"publisher": {
"location": "Boston, MA",
"name": "Springer US",
"type": "Organisation"
},
"sameAs": [
"https://doi.org/10.1007/978-0-387-35287-9_21",
"https://app.dimensions.ai/details/publication/pub.1028199870"
],
"sdDataset": "chapters",
"sdDatePublished": "2019-04-15T18:11",
"sdLicense": "https://scigraph.springernature.com/explorer/license/",
"sdPublisher": {
"name": "Springer Nature - SN SciGraph project",
"type": "Organization"
},
"sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8681_00000260.jsonl",
"type": "Chapter",
"url": "http://link.springer.com/10.1007/978-0-387-35287-9_21"
}
]
Download the RDF metadata as: json-ld nt turtle xml License info
JSON-LD is a popular format for linked data which is fully compatible with JSON.
curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-0-387-35287-9_21'
N-Triples is a line-based linked data format ideal for batch operations.
curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-0-387-35287-9_21'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-0-387-35287-9_21'
RDF/XML is a standard XML format for linked data.
curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-0-387-35287-9_21'
This table displays all metadata directly associated to this object as RDF triples.
83 TRIPLES
23 PREDICATES
31 URIs
20 LITERALS
8 BLANK NODES