Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079280457> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2079280457 endingPage "22" @default.
- W2079280457 startingPage "3" @default.
- W2079280457 abstract "Present day computer algebra systems (CASs) and proof assistants (PAs) are specialized programs that help humans with mathematical computations and deductions. Although several such systems are impressive, they all have certain limitations. In most CASs side conditions that are essential for the truth of an equality are not formulated; moreover there are bugs. The PAs have a limited power for computing and hence also for assistance with proofs. Almost all examples of both categories are stand alone special purpose systems and therefore they cannot communicate with each other. We will argue that the present state of the art in logic is such that there is a natural formal language, independent of the special purpose application in question, by which these systems can communicate mathematical statements. In this way their individual power will be enhanced. Statements received at one particular location from other sites fall into two categories: with or without the qualification “evidently impeccable, a notion that is methodologically precise and sound. For statements having this quality assessment the evidence may come from the other site or from the local site itself, but in both cases it is verified locally. In cases where there is no evidence of impeccability one has to rely on cross checking. There is a trade-off between these two kinds of statements: for impeccability one has to pay the price of obtaining less power. Some examples of communication forms are given that show how the participants benefit." @default.
- W2079280457 created "2016-06-24" @default.
- W2079280457 creator A5016150987 @default.
- W2079280457 creator A5028828265 @default.
- W2079280457 date "2001-07-01" @default.
- W2079280457 modified "2023-09-28" @default.
- W2079280457 title "Electronic Communication of Mathematics and the Interaction of Computer Algebra Systems and Proof Assistants" @default.
- W2079280457 cites W1971534380 @default.
- W2079280457 cites W2031410477 @default.
- W2079280457 cites W2089702017 @default.
- W2079280457 cites W2095378146 @default.
- W2079280457 cites W2168951609 @default.
- W2079280457 doi "https://doi.org/10.1006/jsco.2001.0455" @default.
- W2079280457 hasPublicationYear "2001" @default.
- W2079280457 type Work @default.
- W2079280457 sameAs 2079280457 @default.
- W2079280457 citedByCount "23" @default.
- W2079280457 countsByYear W20792804572012 @default.
- W2079280457 countsByYear W20792804572013 @default.
- W2079280457 countsByYear W20792804572014 @default.
- W2079280457 countsByYear W20792804572016 @default.
- W2079280457 countsByYear W20792804572017 @default.
- W2079280457 crossrefType "journal-article" @default.
- W2079280457 hasAuthorship W2079280457A5016150987 @default.
- W2079280457 hasAuthorship W2079280457A5028828265 @default.
- W2079280457 hasBestOaLocation W20792804571 @default.
- W2079280457 hasConcept C110812573 @default.
- W2079280457 hasConcept C134306372 @default.
- W2079280457 hasConcept C136119220 @default.
- W2079280457 hasConcept C202444582 @default.
- W2079280457 hasConcept C33923547 @default.
- W2079280457 hasConceptScore W2079280457C110812573 @default.
- W2079280457 hasConceptScore W2079280457C134306372 @default.
- W2079280457 hasConceptScore W2079280457C136119220 @default.
- W2079280457 hasConceptScore W2079280457C202444582 @default.
- W2079280457 hasConceptScore W2079280457C33923547 @default.
- W2079280457 hasIssue "1-2" @default.
- W2079280457 hasLocation W20792804571 @default.
- W2079280457 hasOpenAccess W2079280457 @default.
- W2079280457 hasPrimaryLocation W20792804571 @default.
- W2079280457 hasRelatedWork W171076485 @default.
- W2079280457 hasRelatedWork W2019507085 @default.
- W2079280457 hasRelatedWork W2026517979 @default.
- W2079280457 hasRelatedWork W2082950645 @default.
- W2079280457 hasRelatedWork W2090649758 @default.
- W2079280457 hasRelatedWork W2118921095 @default.
- W2079280457 hasRelatedWork W2277276917 @default.
- W2079280457 hasRelatedWork W250593332 @default.
- W2079280457 hasRelatedWork W2963070987 @default.
- W2079280457 hasRelatedWork W4210374224 @default.
- W2079280457 hasVolume "32" @default.
- W2079280457 isParatext "false" @default.
- W2079280457 isRetracted "false" @default.
- W2079280457 magId "2079280457" @default.
- W2079280457 workType "article" @default.