Matches in SemOpenAlex for { <https://semopenalex.org/work/W2092956565> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2092956565 endingPage "378" @default.
- W2092956565 startingPage "355" @default.
- W2092956565 abstract "The disambiguation approach to the input of formulae enables users of mathematical assistants to type correct formulae in a terse syntax close to the usual ambiguous mathematical notation. When it comes to incorrect formulae however, far too many typing errors are generated; among them we want to present only errors related to the formula interpretation meant by the user, hiding errors related to other interpretations. We study disambiguation errors and how to classify them into the spurious and genuine error classes. To this end we give a general presentation of the classes of disambiguation algorithms and efficient disambiguation algorithms. We also quantitatively assess the quality of the presented error classification criteria benchmarking them in the setting of a formal development of constructive algebra." @default.
- W2092956565 created "2016-06-24" @default.
- W2092956565 creator A5006129685 @default.
- W2092956565 creator A5081097346 @default.
- W2092956565 date "2008-12-01" @default.
- W2092956565 modified "2023-10-18" @default.
- W2092956565 title "Spurious Disambiguation Errors and How to Get Rid of Them" @default.
- W2092956565 cites W1513759943 @default.
- W2092956565 cites W1581482614 @default.
- W2092956565 cites W1591754771 @default.
- W2092956565 cites W1692052839 @default.
- W2092956565 cites W2059204568 @default.
- W2092956565 cites W2136219937 @default.
- W2092956565 cites W2163602279 @default.
- W2092956565 cites W3094621343 @default.
- W2092956565 cites W2528625452 @default.
- W2092956565 doi "https://doi.org/10.1007/s11786-008-0058-2" @default.
- W2092956565 hasPublicationYear "2008" @default.
- W2092956565 type Work @default.
- W2092956565 sameAs 2092956565 @default.
- W2092956565 citedByCount "2" @default.
- W2092956565 countsByYear W20929565652012 @default.
- W2092956565 crossrefType "journal-article" @default.
- W2092956565 hasAuthorship W2092956565A5006129685 @default.
- W2092956565 hasAuthorship W2092956565A5081097346 @default.
- W2092956565 hasBestOaLocation W20929565654 @default.
- W2092956565 hasConcept C11413529 @default.
- W2092956565 hasConcept C119857082 @default.
- W2092956565 hasConcept C144133560 @default.
- W2092956565 hasConcept C154945302 @default.
- W2092956565 hasConcept C162853370 @default.
- W2092956565 hasConcept C199360897 @default.
- W2092956565 hasConcept C204321447 @default.
- W2092956565 hasConcept C24457124 @default.
- W2092956565 hasConcept C2778701210 @default.
- W2092956565 hasConcept C33923547 @default.
- W2092956565 hasConcept C41008148 @default.
- W2092956565 hasConcept C45357846 @default.
- W2092956565 hasConcept C527412718 @default.
- W2092956565 hasConcept C60048249 @default.
- W2092956565 hasConcept C86251818 @default.
- W2092956565 hasConcept C94375191 @default.
- W2092956565 hasConcept C97256817 @default.
- W2092956565 hasConcept C98045186 @default.
- W2092956565 hasConceptScore W2092956565C11413529 @default.
- W2092956565 hasConceptScore W2092956565C119857082 @default.
- W2092956565 hasConceptScore W2092956565C144133560 @default.
- W2092956565 hasConceptScore W2092956565C154945302 @default.
- W2092956565 hasConceptScore W2092956565C162853370 @default.
- W2092956565 hasConceptScore W2092956565C199360897 @default.
- W2092956565 hasConceptScore W2092956565C204321447 @default.
- W2092956565 hasConceptScore W2092956565C24457124 @default.
- W2092956565 hasConceptScore W2092956565C2778701210 @default.
- W2092956565 hasConceptScore W2092956565C33923547 @default.
- W2092956565 hasConceptScore W2092956565C41008148 @default.
- W2092956565 hasConceptScore W2092956565C45357846 @default.
- W2092956565 hasConceptScore W2092956565C527412718 @default.
- W2092956565 hasConceptScore W2092956565C60048249 @default.
- W2092956565 hasConceptScore W2092956565C86251818 @default.
- W2092956565 hasConceptScore W2092956565C94375191 @default.
- W2092956565 hasConceptScore W2092956565C97256817 @default.
- W2092956565 hasConceptScore W2092956565C98045186 @default.
- W2092956565 hasIssue "2" @default.
- W2092956565 hasLocation W20929565651 @default.
- W2092956565 hasLocation W20929565652 @default.
- W2092956565 hasLocation W20929565653 @default.
- W2092956565 hasLocation W20929565654 @default.
- W2092956565 hasOpenAccess W2092956565 @default.
- W2092956565 hasPrimaryLocation W20929565651 @default.
- W2092956565 hasRelatedWork W104013237 @default.
- W2092956565 hasRelatedWork W1848359393 @default.
- W2092956565 hasRelatedWork W1968256718 @default.
- W2092956565 hasRelatedWork W2030500804 @default.
- W2092956565 hasRelatedWork W2082923329 @default.
- W2092956565 hasRelatedWork W2127025027 @default.
- W2092956565 hasRelatedWork W2155350564 @default.
- W2092956565 hasRelatedWork W2393607213 @default.
- W2092956565 hasRelatedWork W2495832077 @default.
- W2092956565 hasRelatedWork W3009603553 @default.
- W2092956565 hasVolume "2" @default.
- W2092956565 isParatext "false" @default.
- W2092956565 isRetracted "false" @default.
- W2092956565 magId "2092956565" @default.
- W2092956565 workType "article" @default.