Matches in SemOpenAlex for { <https://semopenalex.org/work/W1524257410> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1524257410 endingPage "493" @default.
- W1524257410 startingPage "478" @default.
- W1524257410 abstract "Diagrams have been used for centuries in the visualization of mathematical concepts and to aid the exploration and formalization of ideas. This is hardly surprising given the intuitive appeal of visual languages. Thus it seems very natural to establish how diagrams can play an integral part of mathematical formalization and reasoning, giving them the same status as the symbolic languages that they are used alongside. Indeed, recently we have seen the emergence of diagrammatic reasoning systems that are defined with sufficient mathematical rigour to allow them to be used as formal tools in their own right. Some of these systems have been designed with particular application areas in mind, such as number theory and real analysis, or formal logics. This paper focuses on the use of diagrammatic logics to formalize mathematical theories with the same level of rigour that is present in their corresponding predicate logic axiomatizations. In particular, extensions to the constraint diagram logic are proposed to make it more suitable for use in mathematics. This extended logic is illustrated via the diagrammatic formalization of some commonly occurring mathematical concepts. Subsequently, we demonstrate its use in the proofs of some simple theorems." @default.
- W1524257410 created "2016-06-24" @default.
- W1524257410 creator A5046857336 @default.
- W1524257410 creator A5057312942 @default.
- W1524257410 date "2008-07-26" @default.
- W1524257410 modified "2023-09-27" @default.
- W1524257410 title "Visual Mathematics: Diagrammatic Formalization and Proof" @default.
- W1524257410 cites W1528699932 @default.
- W1524257410 cites W1530810966 @default.
- W1524257410 cites W1562827672 @default.
- W1524257410 cites W1569732618 @default.
- W1524257410 cites W1586609243 @default.
- W1524257410 cites W1790869471 @default.
- W1524257410 cites W1964935812 @default.
- W1524257410 cites W1977205549 @default.
- W1524257410 cites W1998889043 @default.
- W1524257410 cites W2032680966 @default.
- W1524257410 cites W2034351045 @default.
- W1524257410 cites W2063089045 @default.
- W1524257410 cites W2083771018 @default.
- W1524257410 cites W2120184974 @default.
- W1524257410 cites W2145089582 @default.
- W1524257410 cites W2171420985 @default.
- W1524257410 cites W4232177563 @default.
- W1524257410 cites W4250328345 @default.
- W1524257410 doi "https://doi.org/10.1007/978-3-540-85110-3_39" @default.
- W1524257410 hasPublicationYear "2008" @default.
- W1524257410 type Work @default.
- W1524257410 sameAs 1524257410 @default.
- W1524257410 citedByCount "9" @default.
- W1524257410 countsByYear W15242574102013 @default.
- W1524257410 crossrefType "book-chapter" @default.
- W1524257410 hasAuthorship W1524257410A5046857336 @default.
- W1524257410 hasAuthorship W1524257410A5057312942 @default.
- W1524257410 hasConcept C106624574 @default.
- W1524257410 hasConcept C108710211 @default.
- W1524257410 hasConcept C136119220 @default.
- W1524257410 hasConcept C145420912 @default.
- W1524257410 hasConcept C199360897 @default.
- W1524257410 hasConcept C202444582 @default.
- W1524257410 hasConcept C2524010 @default.
- W1524257410 hasConcept C2780506305 @default.
- W1524257410 hasConcept C33923547 @default.
- W1524257410 hasConcept C41008148 @default.
- W1524257410 hasConcept C47884741 @default.
- W1524257410 hasConcept C71008984 @default.
- W1524257410 hasConcept C80444323 @default.
- W1524257410 hasConceptScore W1524257410C106624574 @default.
- W1524257410 hasConceptScore W1524257410C108710211 @default.
- W1524257410 hasConceptScore W1524257410C136119220 @default.
- W1524257410 hasConceptScore W1524257410C145420912 @default.
- W1524257410 hasConceptScore W1524257410C199360897 @default.
- W1524257410 hasConceptScore W1524257410C202444582 @default.
- W1524257410 hasConceptScore W1524257410C2524010 @default.
- W1524257410 hasConceptScore W1524257410C2780506305 @default.
- W1524257410 hasConceptScore W1524257410C33923547 @default.
- W1524257410 hasConceptScore W1524257410C41008148 @default.
- W1524257410 hasConceptScore W1524257410C47884741 @default.
- W1524257410 hasConceptScore W1524257410C71008984 @default.
- W1524257410 hasConceptScore W1524257410C80444323 @default.
- W1524257410 hasLocation W15242574101 @default.
- W1524257410 hasOpenAccess W1524257410 @default.
- W1524257410 hasPrimaryLocation W15242574101 @default.
- W1524257410 hasRelatedWork W1501252054 @default.
- W1524257410 hasRelatedWork W1524257410 @default.
- W1524257410 hasRelatedWork W1995235276 @default.
- W1524257410 hasRelatedWork W2006119128 @default.
- W1524257410 hasRelatedWork W2011043790 @default.
- W1524257410 hasRelatedWork W2137170851 @default.
- W1524257410 hasRelatedWork W2286553198 @default.
- W1524257410 hasRelatedWork W3120632734 @default.
- W1524257410 hasRelatedWork W4251144004 @default.
- W1524257410 hasRelatedWork W4251280352 @default.
- W1524257410 isParatext "false" @default.
- W1524257410 isRetracted "false" @default.
- W1524257410 magId "1524257410" @default.
- W1524257410 workType "book-chapter" @default.