Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567127902> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W1567127902 abstract "This paper proposes a geometric-object-oriented language for symbolic geometric computation, reasoning, and visualization. In this language, geometric objects are constructed with indefinite parametric data. Modifications and basic operations on these objects are enabled. Degeneracy and uncertainty are handled effectively by means of imposing conditions and assumptions and geometric statements are formulated by declaring relations among different objects. A system implemented on the basis of this language will allow the user to perform geometric computation and reasoning rigorously and to prove geometric theorems and generate geometric diagrams and interactive documents automatically. We present the overall design of the language, explain the capabilities, features, main components of the proposed system, provide specifications for some of its functors, report our experiments with a preliminary implementation of the system, and discuss some encountered difficulties and research problems." @default.
- W1567127902 created "2016-06-24" @default.
- W1567127902 creator A5067271421 @default.
- W1567127902 creator A5086504933 @default.
- W1567127902 date "2006-01-01" @default.
- W1567127902 modified "2023-10-17" @default.
- W1567127902 title "Towards a Geometric-Object-Oriented Language" @default.
- W1567127902 cites W1570149161 @default.
- W1567127902 cites W2013572173 @default.
- W1567127902 cites W2029256996 @default.
- W1567127902 cites W2053860863 @default.
- W1567127902 cites W2063727779 @default.
- W1567127902 cites W2155330305 @default.
- W1567127902 cites W2506423591 @default.
- W1567127902 doi "https://doi.org/10.1007/11615798_9" @default.
- W1567127902 hasPublicationYear "2006" @default.
- W1567127902 type Work @default.
- W1567127902 sameAs 1567127902 @default.
- W1567127902 citedByCount "3" @default.
- W1567127902 crossrefType "book-chapter" @default.
- W1567127902 hasAuthorship W1567127902A5067271421 @default.
- W1567127902 hasAuthorship W1567127902A5086504933 @default.
- W1567127902 hasConcept C121684516 @default.
- W1567127902 hasConcept C154945302 @default.
- W1567127902 hasConcept C199360897 @default.
- W1567127902 hasConcept C2781238097 @default.
- W1567127902 hasConcept C41008148 @default.
- W1567127902 hasConcept C73752529 @default.
- W1567127902 hasConceptScore W1567127902C121684516 @default.
- W1567127902 hasConceptScore W1567127902C154945302 @default.
- W1567127902 hasConceptScore W1567127902C199360897 @default.
- W1567127902 hasConceptScore W1567127902C2781238097 @default.
- W1567127902 hasConceptScore W1567127902C41008148 @default.
- W1567127902 hasConceptScore W1567127902C73752529 @default.
- W1567127902 hasLocation W15671279021 @default.
- W1567127902 hasLocation W15671279022 @default.
- W1567127902 hasOpenAccess W1567127902 @default.
- W1567127902 hasPrimaryLocation W15671279021 @default.
- W1567127902 hasRelatedWork W1547394117 @default.
- W1567127902 hasRelatedWork W1578809901 @default.
- W1567127902 hasRelatedWork W1580516753 @default.
- W1567127902 hasRelatedWork W2382480268 @default.
- W1567127902 hasRelatedWork W2552002334 @default.
- W1567127902 hasRelatedWork W2737719445 @default.
- W1567127902 hasRelatedWork W2898210368 @default.
- W1567127902 hasRelatedWork W2975200075 @default.
- W1567127902 hasRelatedWork W598950423 @default.
- W1567127902 hasRelatedWork W2611825707 @default.
- W1567127902 isParatext "false" @default.
- W1567127902 isRetracted "false" @default.
- W1567127902 magId "1567127902" @default.
- W1567127902 workType "book-chapter" @default.