Matches in SemOpenAlex for { <https://semopenalex.org/work/W2181961200> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2181961200 abstract "A major problem for the acceptance of mathematical proof assistance systems in mathematical practise is the shortcomings of their user interfaces. Often the interfaces are developed bottom-up starting from the mathematical proof assistance system. Therefore they usually focus on the individual system and its proof development paradigm and neglect traditional forms to communicate proofs as used by mathematicians. To address this problem we propose a top-down approach where we start from an existing scientic WYSIWYG text editor which supports the preparation of mathematical publications in high quality typesetting and integrate a mathematical proof assistance system to support proof development and validation. Concretely, we extend the document format of the text editor by semantic markup to encode formal mathematical content and to communicate with the formal system. Additionally we provide interaction markup dening contextsensitive means to control the mathematical proof assistance system through the text editor." @default.
- W2181961200 created "2016-06-24" @default.
- W2181961200 creator A5028456769 @default.
- W2181961200 date "2005-01-01" @default.
- W2181961200 modified "2023-09-23" @default.
- W2181961200 title "Integrating Proof Assistants as Reasoning and Verication Tools into a Scientic WYSIWYG Editor" @default.
- W2181961200 cites W1480155740 @default.
- W2181961200 cites W1494633126 @default.
- W2181961200 cites W1523064404 @default.
- W2181961200 cites W1527272073 @default.
- W2181961200 cites W1536733961 @default.
- W2181961200 cites W1560253649 @default.
- W2181961200 cites W1586167239 @default.
- W2181961200 cites W2079032835 @default.
- W2181961200 cites W2092690557 @default.
- W2181961200 cites W2149236366 @default.
- W2181961200 cites W2330344238 @default.
- W2181961200 hasPublicationYear "2005" @default.
- W2181961200 type Work @default.
- W2181961200 sameAs 2181961200 @default.
- W2181961200 citedByCount "3" @default.
- W2181961200 crossrefType "journal-article" @default.
- W2181961200 hasAuthorship W2181961200A5028456769 @default.
- W2181961200 hasConcept C107457646 @default.
- W2181961200 hasConcept C108710211 @default.
- W2181961200 hasConcept C111919701 @default.
- W2181961200 hasConcept C120665830 @default.
- W2181961200 hasConcept C121332964 @default.
- W2181961200 hasConcept C124978682 @default.
- W2181961200 hasConcept C136764020 @default.
- W2181961200 hasConcept C173613240 @default.
- W2181961200 hasConcept C192209626 @default.
- W2181961200 hasConcept C199360897 @default.
- W2181961200 hasConcept C203265346 @default.
- W2181961200 hasConcept C206880738 @default.
- W2181961200 hasConcept C2524010 @default.
- W2181961200 hasConcept C33923547 @default.
- W2181961200 hasConcept C41008148 @default.
- W2181961200 hasConcept C45874996 @default.
- W2181961200 hasConcept C8797682 @default.
- W2181961200 hasConceptScore W2181961200C107457646 @default.
- W2181961200 hasConceptScore W2181961200C108710211 @default.
- W2181961200 hasConceptScore W2181961200C111919701 @default.
- W2181961200 hasConceptScore W2181961200C120665830 @default.
- W2181961200 hasConceptScore W2181961200C121332964 @default.
- W2181961200 hasConceptScore W2181961200C124978682 @default.
- W2181961200 hasConceptScore W2181961200C136764020 @default.
- W2181961200 hasConceptScore W2181961200C173613240 @default.
- W2181961200 hasConceptScore W2181961200C192209626 @default.
- W2181961200 hasConceptScore W2181961200C199360897 @default.
- W2181961200 hasConceptScore W2181961200C203265346 @default.
- W2181961200 hasConceptScore W2181961200C206880738 @default.
- W2181961200 hasConceptScore W2181961200C2524010 @default.
- W2181961200 hasConceptScore W2181961200C33923547 @default.
- W2181961200 hasConceptScore W2181961200C41008148 @default.
- W2181961200 hasConceptScore W2181961200C45874996 @default.
- W2181961200 hasConceptScore W2181961200C8797682 @default.
- W2181961200 hasLocation W21819612001 @default.
- W2181961200 hasOpenAccess W2181961200 @default.
- W2181961200 hasPrimaryLocation W21819612001 @default.
- W2181961200 hasRelatedWork W142848105 @default.
- W2181961200 hasRelatedWork W1496849990 @default.
- W2181961200 hasRelatedWork W1541336760 @default.
- W2181961200 hasRelatedWork W1654359947 @default.
- W2181961200 hasRelatedWork W1676723895 @default.
- W2181961200 hasRelatedWork W1956831536 @default.
- W2181961200 hasRelatedWork W1977135875 @default.
- W2181961200 hasRelatedWork W2002756500 @default.
- W2181961200 hasRelatedWork W2076168176 @default.
- W2181961200 hasRelatedWork W2083848993 @default.
- W2181961200 hasRelatedWork W2116772333 @default.
- W2181961200 hasRelatedWork W2118793464 @default.
- W2181961200 hasRelatedWork W2184788831 @default.
- W2181961200 hasRelatedWork W2242362709 @default.
- W2181961200 hasRelatedWork W2551987959 @default.
- W2181961200 hasRelatedWork W2804985777 @default.
- W2181961200 hasRelatedWork W3008429568 @default.
- W2181961200 hasRelatedWork W3029762048 @default.
- W2181961200 hasRelatedWork W643302746 @default.
- W2181961200 hasRelatedWork W2611857283 @default.
- W2181961200 isParatext "false" @default.
- W2181961200 isRetracted "false" @default.
- W2181961200 magId "2181961200" @default.
- W2181961200 workType "article" @default.