Matches in SemOpenAlex for { <https://semopenalex.org/work/W2095241014> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2095241014 endingPage "239" @default.
- W2095241014 startingPage "219" @default.
- W2095241014 abstract "We describe our experience of using PhoX (the prover of C Raffalli) with undergraduate students in mathematic (in third year) to help them to do correct proofs. They proved, among other things, Heine's theorem." @default.
- W2095241014 created "2016-06-24" @default.
- W2095241014 creator A5032263146 @default.
- W2095241014 creator A5037552568 @default.
- W2095241014 date "2004-06-01" @default.
- W2095241014 modified "2023-09-27" @default.
- W2095241014 title "An experiment concerning mathematical proofs on computers with French undergraduate students" @default.
- W2095241014 cites W2163976959 @default.
- W2095241014 cites W593994122 @default.
- W2095241014 cites W594592411 @default.
- W2095241014 doi "https://doi.org/10.1016/j.jal.2004.02.002" @default.
- W2095241014 hasPublicationYear "2004" @default.
- W2095241014 type Work @default.
- W2095241014 sameAs 2095241014 @default.
- W2095241014 citedByCount "0" @default.
- W2095241014 crossrefType "journal-article" @default.
- W2095241014 hasAuthorship W2095241014A5032263146 @default.
- W2095241014 hasAuthorship W2095241014A5037552568 @default.
- W2095241014 hasBestOaLocation W20952410141 @default.
- W2095241014 hasConcept C108710211 @default.
- W2095241014 hasConcept C145420912 @default.
- W2095241014 hasConcept C154945302 @default.
- W2095241014 hasConcept C199343813 @default.
- W2095241014 hasConcept C2524010 @default.
- W2095241014 hasConcept C2777686260 @default.
- W2095241014 hasConcept C33923547 @default.
- W2095241014 hasConcept C41008148 @default.
- W2095241014 hasConcept C71924100 @default.
- W2095241014 hasConceptScore W2095241014C108710211 @default.
- W2095241014 hasConceptScore W2095241014C145420912 @default.
- W2095241014 hasConceptScore W2095241014C154945302 @default.
- W2095241014 hasConceptScore W2095241014C199343813 @default.
- W2095241014 hasConceptScore W2095241014C2524010 @default.
- W2095241014 hasConceptScore W2095241014C2777686260 @default.
- W2095241014 hasConceptScore W2095241014C33923547 @default.
- W2095241014 hasConceptScore W2095241014C41008148 @default.
- W2095241014 hasConceptScore W2095241014C71924100 @default.
- W2095241014 hasIssue "2" @default.
- W2095241014 hasLocation W20952410141 @default.
- W2095241014 hasLocation W20952410142 @default.
- W2095241014 hasLocation W20952410143 @default.
- W2095241014 hasLocation W20952410144 @default.
- W2095241014 hasLocation W20952410145 @default.
- W2095241014 hasOpenAccess W2095241014 @default.
- W2095241014 hasPrimaryLocation W20952410141 @default.
- W2095241014 hasRelatedWork W1964282651 @default.
- W2095241014 hasRelatedWork W1987272770 @default.
- W2095241014 hasRelatedWork W1995284689 @default.
- W2095241014 hasRelatedWork W2025910816 @default.
- W2095241014 hasRelatedWork W2078208578 @default.
- W2095241014 hasRelatedWork W2143578351 @default.
- W2095241014 hasRelatedWork W2170265659 @default.
- W2095241014 hasRelatedWork W2321824256 @default.
- W2095241014 hasRelatedWork W2333819912 @default.
- W2095241014 hasRelatedWork W2947186315 @default.
- W2095241014 hasVolume "2" @default.
- W2095241014 isParatext "false" @default.
- W2095241014 isRetracted "false" @default.
- W2095241014 magId "2095241014" @default.
- W2095241014 workType "article" @default.