Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567979989> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1567979989 abstract "Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving.- Solving Geometric Problems with Real Quantifier Elimination.- Automated Discovering and Proving for Geometric Inequalities.- Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle.- Readable Machine Solving in Geometry and ICAI Software MSG.- Plane Euclidean Reasoning.- A Clifford Algebraic Method for Geometric Reasoning.- Clifford Term Rewriting for Geometric Reasoning in 3D.- Some Applications of Clifford Algebra to Geometries.- Decomposing Algebraic Varieties.- An Application of Automatic Theorem Proving in Computer Vision.- Automated Geometry Diagram Construction and Engineering Geometry.- A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction.- Variant Geometry Analysis and Synthesis in Mechanical CAD." @default.
- W1567979989 created "2016-06-24" @default.
- W1567979989 creator A5022032063 @default.
- W1567979989 creator A5044392810 @default.
- W1567979989 creator A5067271421 @default.
- W1567979989 date "1999-10-13" @default.
- W1567979989 modified "2023-09-24" @default.
- W1567979989 title "Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings" @default.
- W1567979989 hasPublicationYear "1999" @default.
- W1567979989 type Work @default.
- W1567979989 sameAs 1567979989 @default.
- W1567979989 citedByCount "0" @default.
- W1567979989 crossrefType "book" @default.
- W1567979989 hasAuthorship W1567979989A5022032063 @default.
- W1567979989 hasAuthorship W1567979989A5044392810 @default.
- W1567979989 hasAuthorship W1567979989A5067271421 @default.
- W1567979989 hasConcept C100856211 @default.
- W1567979989 hasConcept C105653879 @default.
- W1567979989 hasConcept C10784197 @default.
- W1567979989 hasConcept C111919701 @default.
- W1567979989 hasConcept C112680207 @default.
- W1567979989 hasConcept C11413529 @default.
- W1567979989 hasConcept C115094139 @default.
- W1567979989 hasConcept C119823426 @default.
- W1567979989 hasConcept C129782007 @default.
- W1567979989 hasConcept C133347240 @default.
- W1567979989 hasConcept C136119220 @default.
- W1567979989 hasConcept C154690210 @default.
- W1567979989 hasConcept C157972887 @default.
- W1567979989 hasConcept C180671464 @default.
- W1567979989 hasConcept C185362025 @default.
- W1567979989 hasConcept C195344581 @default.
- W1567979989 hasConcept C199360897 @default.
- W1567979989 hasConcept C202444582 @default.
- W1567979989 hasConcept C206880738 @default.
- W1567979989 hasConcept C2524010 @default.
- W1567979989 hasConcept C29123130 @default.
- W1567979989 hasConcept C33923547 @default.
- W1567979989 hasConcept C41008148 @default.
- W1567979989 hasConcept C49870271 @default.
- W1567979989 hasConcept C68363185 @default.
- W1567979989 hasConcept C80444323 @default.
- W1567979989 hasConceptScore W1567979989C100856211 @default.
- W1567979989 hasConceptScore W1567979989C105653879 @default.
- W1567979989 hasConceptScore W1567979989C10784197 @default.
- W1567979989 hasConceptScore W1567979989C111919701 @default.
- W1567979989 hasConceptScore W1567979989C112680207 @default.
- W1567979989 hasConceptScore W1567979989C11413529 @default.
- W1567979989 hasConceptScore W1567979989C115094139 @default.
- W1567979989 hasConceptScore W1567979989C119823426 @default.
- W1567979989 hasConceptScore W1567979989C129782007 @default.
- W1567979989 hasConceptScore W1567979989C133347240 @default.
- W1567979989 hasConceptScore W1567979989C136119220 @default.
- W1567979989 hasConceptScore W1567979989C154690210 @default.
- W1567979989 hasConceptScore W1567979989C157972887 @default.
- W1567979989 hasConceptScore W1567979989C180671464 @default.
- W1567979989 hasConceptScore W1567979989C185362025 @default.
- W1567979989 hasConceptScore W1567979989C195344581 @default.
- W1567979989 hasConceptScore W1567979989C199360897 @default.
- W1567979989 hasConceptScore W1567979989C202444582 @default.
- W1567979989 hasConceptScore W1567979989C206880738 @default.
- W1567979989 hasConceptScore W1567979989C2524010 @default.
- W1567979989 hasConceptScore W1567979989C29123130 @default.
- W1567979989 hasConceptScore W1567979989C33923547 @default.
- W1567979989 hasConceptScore W1567979989C41008148 @default.
- W1567979989 hasConceptScore W1567979989C49870271 @default.
- W1567979989 hasConceptScore W1567979989C68363185 @default.
- W1567979989 hasConceptScore W1567979989C80444323 @default.
- W1567979989 hasLocation W15679799891 @default.
- W1567979989 hasOpenAccess W1567979989 @default.
- W1567979989 hasPrimaryLocation W15679799891 @default.
- W1567979989 hasRelatedWork W1509214208 @default.
- W1567979989 hasRelatedWork W1518959002 @default.
- W1567979989 hasRelatedWork W1563400326 @default.
- W1567979989 hasRelatedWork W202076475 @default.
- W1567979989 hasRelatedWork W2047257357 @default.
- W1567979989 hasRelatedWork W2058913614 @default.
- W1567979989 hasRelatedWork W2132811011 @default.
- W1567979989 hasRelatedWork W2275116124 @default.
- W1567979989 hasRelatedWork W2295455535 @default.
- W1567979989 hasRelatedWork W2352030652 @default.
- W1567979989 hasRelatedWork W2353160270 @default.
- W1567979989 hasRelatedWork W2611402301 @default.
- W1567979989 hasRelatedWork W2746784876 @default.
- W1567979989 hasRelatedWork W2951480837 @default.
- W1567979989 hasRelatedWork W2984551692 @default.
- W1567979989 hasRelatedWork W3207245517 @default.
- W1567979989 hasRelatedWork W93329298 @default.
- W1567979989 hasRelatedWork W2404166796 @default.
- W1567979989 hasRelatedWork W2519119943 @default.
- W1567979989 hasRelatedWork W2519216262 @default.
- W1567979989 isParatext "false" @default.
- W1567979989 isRetracted "false" @default.
- W1567979989 magId "1567979989" @default.
- W1567979989 workType "book" @default.