Matches in SemOpenAlex for { <https://semopenalex.org/work/W2071738186> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2071738186 endingPage "364" @default.
- W2071738186 startingPage "351" @default.
- W2071738186 abstract "The standard OpenMath is an enabling technology for creating an integrated computer environment in which software packages for computer algebra and for proof checking can be combined. Here we demonstrate how OpenMath can be employed for generating interactive mathematical documents containing primality proofs. Our case study takes place within a browser; once a prime number is specified, a document appears summarizing the proof in a number of assertions. By clicking an assertion regarding the truth of an arithmetic equality, a computer algebra calculation is invoked verifying the equality. By clicking an assertion regarding a specific mathematical lemma called Pocklington’s Criterion, a verification of the corresponding formal proof is carried out by a proof checker. Moreover, the whole document is structured in such a way that it can be easily translated to a formal proof object. OpenMath supports the interaction between the document as it appears in the browser and the mathematical software packages. This paper begins with an introduction to OpenMath and a brief comparison with MathML." @default.
- W2071738186 created "2016-06-24" @default.
- W2071738186 creator A5028828265 @default.
- W2071738186 creator A5088288958 @default.
- W2071738186 date "2001-09-01" @default.
- W2071738186 modified "2023-09-29" @default.
- W2071738186 title "On the Role of OpenMath in Interactive Mathematical Documents" @default.
- W2071738186 cites W2092690557 @default.
- W2071738186 doi "https://doi.org/10.1006/jsco.2000.0466" @default.
- W2071738186 hasPublicationYear "2001" @default.
- W2071738186 type Work @default.
- W2071738186 sameAs 2071738186 @default.
- W2071738186 citedByCount "8" @default.
- W2071738186 countsByYear W20717381862013 @default.
- W2071738186 countsByYear W20717381862014 @default.
- W2071738186 crossrefType "journal-article" @default.
- W2071738186 hasAuthorship W2071738186A5028828265 @default.
- W2071738186 hasAuthorship W2071738186A5088288958 @default.
- W2071738186 hasBestOaLocation W20717381861 @default.
- W2071738186 hasConcept C108710211 @default.
- W2071738186 hasConcept C136119220 @default.
- W2071738186 hasConcept C13766981 @default.
- W2071738186 hasConcept C18903297 @default.
- W2071738186 hasConcept C199360897 @default.
- W2071738186 hasConcept C202444582 @default.
- W2071738186 hasConcept C203265346 @default.
- W2071738186 hasConcept C206880738 @default.
- W2071738186 hasConcept C2524010 @default.
- W2071738186 hasConcept C2777759810 @default.
- W2071738186 hasConcept C2777904410 @default.
- W2071738186 hasConcept C33923547 @default.
- W2071738186 hasConcept C40422974 @default.
- W2071738186 hasConcept C41008148 @default.
- W2071738186 hasConcept C46757340 @default.
- W2071738186 hasConcept C75606506 @default.
- W2071738186 hasConcept C80444323 @default.
- W2071738186 hasConcept C86803240 @default.
- W2071738186 hasConcept C94461902 @default.
- W2071738186 hasConceptScore W2071738186C108710211 @default.
- W2071738186 hasConceptScore W2071738186C136119220 @default.
- W2071738186 hasConceptScore W2071738186C13766981 @default.
- W2071738186 hasConceptScore W2071738186C18903297 @default.
- W2071738186 hasConceptScore W2071738186C199360897 @default.
- W2071738186 hasConceptScore W2071738186C202444582 @default.
- W2071738186 hasConceptScore W2071738186C203265346 @default.
- W2071738186 hasConceptScore W2071738186C206880738 @default.
- W2071738186 hasConceptScore W2071738186C2524010 @default.
- W2071738186 hasConceptScore W2071738186C2777759810 @default.
- W2071738186 hasConceptScore W2071738186C2777904410 @default.
- W2071738186 hasConceptScore W2071738186C33923547 @default.
- W2071738186 hasConceptScore W2071738186C40422974 @default.
- W2071738186 hasConceptScore W2071738186C41008148 @default.
- W2071738186 hasConceptScore W2071738186C46757340 @default.
- W2071738186 hasConceptScore W2071738186C75606506 @default.
- W2071738186 hasConceptScore W2071738186C80444323 @default.
- W2071738186 hasConceptScore W2071738186C86803240 @default.
- W2071738186 hasConceptScore W2071738186C94461902 @default.
- W2071738186 hasIssue "4" @default.
- W2071738186 hasLocation W20717381861 @default.
- W2071738186 hasOpenAccess W2071738186 @default.
- W2071738186 hasPrimaryLocation W20717381861 @default.
- W2071738186 hasRelatedWork W1520408004 @default.
- W2071738186 hasRelatedWork W1556128154 @default.
- W2071738186 hasRelatedWork W1579898085 @default.
- W2071738186 hasRelatedWork W1819460135 @default.
- W2071738186 hasRelatedWork W2071738186 @default.
- W2071738186 hasRelatedWork W2619823704 @default.
- W2071738186 hasRelatedWork W2949872246 @default.
- W2071738186 hasRelatedWork W4295798319 @default.
- W2071738186 hasRelatedWork W4298878370 @default.
- W2071738186 hasRelatedWork W4324016498 @default.
- W2071738186 hasVolume "32" @default.
- W2071738186 isParatext "false" @default.
- W2071738186 isRetracted "false" @default.
- W2071738186 magId "2071738186" @default.
- W2071738186 workType "article" @default.