Matches in SemOpenAlex for { <https://semopenalex.org/work/W72033492> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W72033492 endingPage "166" @default.
- W72033492 startingPage "161" @default.
- W72033492 abstract "Two kinds of software, CAS and DGS, are starting to work towards mutual integration. This paper envisages common grounds for such integration based on principles of computer theorem proving (CTP). Presently, the CTP community seems to lack awareness as to which of their products' features might serve mathematics education from highschool to university; and educators seem not aware just what they might request from CTP technology. This paper intends to promote a wide-ranging discussion between CTP, developers of mathematics software and educators, which has been initiated by the working group “Convergence on Mathematics Assistants” at CADGME'09. As a starting point for discussion the paper provides some basics about CTP (representation of mathathematical knowledge and operations on it) and relates them to preliminary ideas of how concepts and technologies of CTP could contribute to a new generation of educational mathematics assistants (transparent systems supporting step-wise construction)." @default.
- W72033492 created "2016-06-24" @default.
- W72033492 creator A5083424872 @default.
- W72033492 date "2010-01-01" @default.
- W72033492 modified "2023-09-26" @default.
- W72033492 title "Common Grounds for Modelling Mathematics in Educational Software." @default.
- W72033492 cites W1508641834 @default.
- W72033492 cites W1527272073 @default.
- W72033492 cites W1553511155 @default.
- W72033492 cites W1816434841 @default.
- W72033492 cites W1847806463 @default.
- W72033492 cites W1982891870 @default.
- W72033492 cites W2032405865 @default.
- W72033492 cites W2106192381 @default.
- W72033492 cites W2117163857 @default.
- W72033492 cites W2166822586 @default.
- W72033492 hasPublicationYear "2010" @default.
- W72033492 type Work @default.
- W72033492 sameAs 72033492 @default.
- W72033492 citedByCount "1" @default.
- W72033492 countsByYear W720334922013 @default.
- W72033492 crossrefType "journal-article" @default.
- W72033492 hasAuthorship W72033492A5083424872 @default.
- W72033492 hasConcept C115903868 @default.
- W72033492 hasConcept C145420912 @default.
- W72033492 hasConcept C162324750 @default.
- W72033492 hasConcept C17744445 @default.
- W72033492 hasConcept C199360897 @default.
- W72033492 hasConcept C199539241 @default.
- W72033492 hasConcept C2524010 @default.
- W72033492 hasConcept C2776359362 @default.
- W72033492 hasConcept C2777303404 @default.
- W72033492 hasConcept C2777904410 @default.
- W72033492 hasConcept C28719098 @default.
- W72033492 hasConcept C33923547 @default.
- W72033492 hasConcept C41008148 @default.
- W72033492 hasConcept C50522688 @default.
- W72033492 hasConcept C543511877 @default.
- W72033492 hasConcept C94625758 @default.
- W72033492 hasConceptScore W72033492C115903868 @default.
- W72033492 hasConceptScore W72033492C145420912 @default.
- W72033492 hasConceptScore W72033492C162324750 @default.
- W72033492 hasConceptScore W72033492C17744445 @default.
- W72033492 hasConceptScore W72033492C199360897 @default.
- W72033492 hasConceptScore W72033492C199539241 @default.
- W72033492 hasConceptScore W72033492C2524010 @default.
- W72033492 hasConceptScore W72033492C2776359362 @default.
- W72033492 hasConceptScore W72033492C2777303404 @default.
- W72033492 hasConceptScore W72033492C2777904410 @default.
- W72033492 hasConceptScore W72033492C28719098 @default.
- W72033492 hasConceptScore W72033492C33923547 @default.
- W72033492 hasConceptScore W72033492C41008148 @default.
- W72033492 hasConceptScore W72033492C50522688 @default.
- W72033492 hasConceptScore W72033492C543511877 @default.
- W72033492 hasConceptScore W72033492C94625758 @default.
- W72033492 hasIssue "3" @default.
- W72033492 hasLocation W720334921 @default.
- W72033492 hasOpenAccess W72033492 @default.
- W72033492 hasPrimaryLocation W720334921 @default.
- W72033492 hasRelatedWork W1541193833 @default.
- W72033492 hasRelatedWork W1594915655 @default.
- W72033492 hasRelatedWork W1619358620 @default.
- W72033492 hasRelatedWork W1765198942 @default.
- W72033492 hasRelatedWork W1878452015 @default.
- W72033492 hasRelatedWork W2009523594 @default.
- W72033492 hasRelatedWork W2075887626 @default.
- W72033492 hasRelatedWork W253275869 @default.
- W72033492 hasRelatedWork W2534770369 @default.
- W72033492 hasRelatedWork W2534892022 @default.
- W72033492 hasRelatedWork W2573778738 @default.
- W72033492 hasRelatedWork W260345401 @default.
- W72033492 hasRelatedWork W2606586939 @default.
- W72033492 hasRelatedWork W2614015436 @default.
- W72033492 hasRelatedWork W29121251 @default.
- W72033492 hasRelatedWork W2969683380 @default.
- W72033492 hasRelatedWork W299924560 @default.
- W72033492 hasRelatedWork W3005155674 @default.
- W72033492 hasRelatedWork W3127812087 @default.
- W72033492 hasRelatedWork W65616902 @default.
- W72033492 hasVolume "17" @default.
- W72033492 isParatext "false" @default.
- W72033492 isRetracted "false" @default.
- W72033492 magId "72033492" @default.
- W72033492 workType "article" @default.