Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287775433> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W4287775433 abstract "In order to work with mathematical content in computer systems, it is necessary to represent it in formal languages. Ideally, these are supported by tools that verify the correctness of the content, allow computing with it, and produce human-readable documents. These goals are challenging to combine and state-of-the-art tools typically have to make difficult compromises. In this paper we discuss languages that have been created for this purpose, including logical languages of proof assistants and other formal systems, semi-formal languages, intermediate languages for exchanging mathematical knowledge, and language frameworks that allow building customized languages. We evaluate their advantages based on our experience in designing and applying languages and tools for formalizing mathematics. We reach the conclusion that no existing language is truly good enough yet and derive ideas for possible future improvements." @default.
- W4287775433 created "2022-07-26" @default.
- W4287775433 creator A5070698573 @default.
- W4287775433 creator A5091861223 @default.
- W4287775433 date "2020-05-26" @default.
- W4287775433 modified "2023-10-16" @default.
- W4287775433 title "A Survey of Languages for Formalizing Mathematics" @default.
- W4287775433 doi "https://doi.org/10.48550/arxiv.2005.12876" @default.
- W4287775433 hasPublicationYear "2020" @default.
- W4287775433 type Work @default.
- W4287775433 citedByCount "0" @default.
- W4287775433 crossrefType "posted-content" @default.
- W4287775433 hasAuthorship W4287775433A5070698573 @default.
- W4287775433 hasAuthorship W4287775433A5091861223 @default.
- W4287775433 hasBestOaLocation W42877754331 @default.
- W4287775433 hasConcept C11164408 @default.
- W4287775433 hasConcept C146072743 @default.
- W4287775433 hasConcept C154945302 @default.
- W4287775433 hasConcept C199163288 @default.
- W4287775433 hasConcept C199305712 @default.
- W4287775433 hasConcept C199360897 @default.
- W4287775433 hasConcept C2129575 @default.
- W4287775433 hasConcept C34165917 @default.
- W4287775433 hasConcept C41008148 @default.
- W4287775433 hasConcept C55439883 @default.
- W4287775433 hasConcept C61673122 @default.
- W4287775433 hasConcept C74149592 @default.
- W4287775433 hasConceptScore W4287775433C11164408 @default.
- W4287775433 hasConceptScore W4287775433C146072743 @default.
- W4287775433 hasConceptScore W4287775433C154945302 @default.
- W4287775433 hasConceptScore W4287775433C199163288 @default.
- W4287775433 hasConceptScore W4287775433C199305712 @default.
- W4287775433 hasConceptScore W4287775433C199360897 @default.
- W4287775433 hasConceptScore W4287775433C2129575 @default.
- W4287775433 hasConceptScore W4287775433C34165917 @default.
- W4287775433 hasConceptScore W4287775433C41008148 @default.
- W4287775433 hasConceptScore W4287775433C55439883 @default.
- W4287775433 hasConceptScore W4287775433C61673122 @default.
- W4287775433 hasConceptScore W4287775433C74149592 @default.
- W4287775433 hasLocation W42877754331 @default.
- W4287775433 hasOpenAccess W4287775433 @default.
- W4287775433 hasPrimaryLocation W42877754331 @default.
- W4287775433 hasRelatedWork W184768422 @default.
- W4287775433 hasRelatedWork W1973795410 @default.
- W4287775433 hasRelatedWork W1980963319 @default.
- W4287775433 hasRelatedWork W2010363724 @default.
- W4287775433 hasRelatedWork W2227474268 @default.
- W4287775433 hasRelatedWork W2795955092 @default.
- W4287775433 hasRelatedWork W3038908675 @default.
- W4287775433 hasRelatedWork W3165459065 @default.
- W4287775433 hasRelatedWork W4247642697 @default.
- W4287775433 hasRelatedWork W103809722 @default.
- W4287775433 isParatext "false" @default.
- W4287775433 isRetracted "false" @default.
- W4287775433 workType "article" @default.