Matches in SemOpenAlex for { <https://semopenalex.org/work/W2209576322> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W2209576322 endingPage "156" @default.
- W2209576322 startingPage "155" @default.
- W2209576322 abstract "While much of geometry was done with pencil and paper in the past, we are now fortunate to have the computer as an additional tool that can help us investigate its formal representation and semantics, and apply appropriate reasoning procedures. This special issue, with a selection of six papers that combine both theory and practice, demonstrates that geometry still has much to offer to our understanding of a wide array of concepts and ideas, whether through deductive or algebraic reasoning. We briefly review a few of the salient aspects of the various contributions next. In Automated Generation of Machine Verifiable and Readable Proofs: A Case Study of Tarski’s Geometry, Sana Djurdjevic, Julien Narboux and Predrag Janicic provide an interesting evolution of automated reasoning with respect to Tarski’s geometry. They demonstrate that through a judicious choice of logic for representation and of interactive and automated tools for reasoning, it is possible to produce readable proofs for a significant number of theorems fully automatically. This is noteworthy since Tarski’s axiomatics, developed as the basis for a decision procedure for elementary algebra and geometry, has often been viewed as too low-level to produce automatic proofs that humans would find conceptually interesting. In the paper Formalizing Complex Plane Geometry, Filip Maric and Danijela Petrovic describe a comprehensive mechanization of the extended complex plane and various fundamental concepts, such as Mobius transformations. The work in the proof assistant Isabelle/HOL deals with aspects that have not been mechanized previously and its" @default.
- W2209576322 created "2016-06-24" @default.
- W2209576322 creator A5026577518 @default.
- W2209576322 creator A5051239104 @default.
- W2209576322 date "2015-05-23" @default.
- W2209576322 modified "2023-09-30" @default.
- W2209576322 title "Preface to the special issue on geometric reasoning" @default.
- W2209576322 doi "https://doi.org/10.1007/s10472-015-9460-z" @default.
- W2209576322 hasPublicationYear "2015" @default.
- W2209576322 type Work @default.
- W2209576322 sameAs 2209576322 @default.
- W2209576322 citedByCount "0" @default.
- W2209576322 crossrefType "journal-article" @default.
- W2209576322 hasAuthorship W2209576322A5026577518 @default.
- W2209576322 hasAuthorship W2209576322A5051239104 @default.
- W2209576322 hasBestOaLocation W22095763221 @default.
- W2209576322 hasConcept C154945302 @default.
- W2209576322 hasConcept C15744967 @default.
- W2209576322 hasConcept C188147891 @default.
- W2209576322 hasConcept C33923547 @default.
- W2209576322 hasConcept C41008148 @default.
- W2209576322 hasConcept C47822265 @default.
- W2209576322 hasConceptScore W2209576322C154945302 @default.
- W2209576322 hasConceptScore W2209576322C15744967 @default.
- W2209576322 hasConceptScore W2209576322C188147891 @default.
- W2209576322 hasConceptScore W2209576322C33923547 @default.
- W2209576322 hasConceptScore W2209576322C41008148 @default.
- W2209576322 hasConceptScore W2209576322C47822265 @default.
- W2209576322 hasFunder F4320334627 @default.
- W2209576322 hasIssue "1-2" @default.
- W2209576322 hasLocation W22095763221 @default.
- W2209576322 hasOpenAccess W2209576322 @default.
- W2209576322 hasPrimaryLocation W22095763221 @default.
- W2209576322 hasRelatedWork W2001445896 @default.
- W2209576322 hasRelatedWork W2005305137 @default.
- W2209576322 hasRelatedWork W2024182075 @default.
- W2209576322 hasRelatedWork W2909686938 @default.
- W2209576322 hasRelatedWork W3133042417 @default.
- W2209576322 hasRelatedWork W4210912697 @default.
- W2209576322 hasRelatedWork W4224220437 @default.
- W2209576322 hasRelatedWork W4232012822 @default.
- W2209576322 hasRelatedWork W4234894625 @default.
- W2209576322 hasRelatedWork W4236840476 @default.
- W2209576322 hasVolume "77" @default.
- W2209576322 isParatext "false" @default.
- W2209576322 isRetracted "false" @default.
- W2209576322 magId "2209576322" @default.
- W2209576322 workType "article" @default.