Matches in SemOpenAlex for { <https://semopenalex.org/work/W2081622012> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2081622012 endingPage "1138" @default.
- W2081622012 startingPage "1113" @default.
- W2081622012 abstract "Teaching high-school mathematics using a general theorem prover becomes a reach- able goal for the near future. In this article, we present a library dealing with geometry in Coq. This library is dedicated to high-school teaching. We stress on using a graphical interface and a drawing tool which ease the accessibility to formal statements. We present some signif- icant examples of statements with figures and proofs developed with Coq. Then we discuss the difficulties encountered in this work." @default.
- W2081622012 created "2016-06-24" @default.
- W2081622012 creator A5067088361 @default.
- W2081622012 date "2005-11-01" @default.
- W2081622012 modified "2023-09-27" @default.
- W2081622012 title "Formalisation en Coq et visualisation d'un cours de géométrie pour le lycée" @default.
- W2081622012 cites W117419789 @default.
- W2081622012 cites W1444781587 @default.
- W2081622012 cites W1480067165 @default.
- W2081622012 cites W1494633126 @default.
- W2081622012 cites W1508641834 @default.
- W2081622012 cites W1511774588 @default.
- W2081622012 cites W1606604604 @default.
- W2081622012 cites W1854197585 @default.
- W2081622012 cites W2010807326 @default.
- W2081622012 cites W2011928646 @default.
- W2081622012 cites W2026253506 @default.
- W2081622012 cites W2067558609 @default.
- W2081622012 cites W2097113373 @default.
- W2081622012 cites W2126671577 @default.
- W2081622012 cites W2484609243 @default.
- W2081622012 doi "https://doi.org/10.3166/tsi.24.1113-1138" @default.
- W2081622012 hasPublicationYear "2005" @default.
- W2081622012 type Work @default.
- W2081622012 sameAs 2081622012 @default.
- W2081622012 citedByCount "15" @default.
- W2081622012 countsByYear W20816220122012 @default.
- W2081622012 countsByYear W20816220122013 @default.
- W2081622012 countsByYear W20816220122014 @default.
- W2081622012 countsByYear W20816220122017 @default.
- W2081622012 crossrefType "journal-article" @default.
- W2081622012 hasAuthorship W2081622012A5067088361 @default.
- W2081622012 hasConcept C138885662 @default.
- W2081622012 hasConcept C15708023 @default.
- W2081622012 hasConcept C41008148 @default.
- W2081622012 hasConceptScore W2081622012C138885662 @default.
- W2081622012 hasConceptScore W2081622012C15708023 @default.
- W2081622012 hasConceptScore W2081622012C41008148 @default.
- W2081622012 hasIssue "9" @default.
- W2081622012 hasLocation W20816220121 @default.
- W2081622012 hasOpenAccess W2081622012 @default.
- W2081622012 hasPrimaryLocation W20816220121 @default.
- W2081622012 hasRelatedWork W2473335724 @default.
- W2081622012 hasRelatedWork W2609344916 @default.
- W2081622012 hasRelatedWork W2748952813 @default.
- W2081622012 hasRelatedWork W2780307509 @default.
- W2081622012 hasRelatedWork W2899084033 @default.
- W2081622012 hasRelatedWork W4210390885 @default.
- W2081622012 hasRelatedWork W59019880 @default.
- W2081622012 hasRelatedWork W766819059 @default.
- W2081622012 hasRelatedWork W2308060692 @default.
- W2081622012 hasRelatedWork W2478882070 @default.
- W2081622012 hasVolume "24" @default.
- W2081622012 isParatext "false" @default.
- W2081622012 isRetracted "false" @default.
- W2081622012 magId "2081622012" @default.
- W2081622012 workType "article" @default.