Matches in SemOpenAlex for { <https://semopenalex.org/work/W2485439805> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2485439805 abstract "Considerable attention and efforts have been given to the implementation of automatic reasoning tools in interactive geometric environments. Nevertheless, the main goal in such works focused on theorem proving, cf. Java Geometry Expert or GeoGebra. A related issue, automatic discovery, remains almost unexplored in the field of dynamic geometry software." @default.
- W2485439805 created "2016-08-23" @default.
- W2485439805 creator A5018334008 @default.
- W2485439805 creator A5029421675 @default.
- W2485439805 creator A5030789380 @default.
- W2485439805 creator A5070563995 @default.
- W2485439805 creator A5088859661 @default.
- W2485439805 date "2016-01-01" @default.
- W2485439805 modified "2023-10-12" @default.
- W2485439805 title "Towards the Automatic Discovery of Theorems in GeoGebra" @default.
- W2485439805 cites W1444177990 @default.
- W2485439805 cites W1562474977 @default.
- W2485439805 cites W1983376640 @default.
- W2485439805 cites W2006962766 @default.
- W2485439805 cites W2064030682 @default.
- W2485439805 cites W2074337495 @default.
- W2485439805 cites W4247967149 @default.
- W2485439805 doi "https://doi.org/10.1007/978-3-319-42432-3_5" @default.
- W2485439805 hasPublicationYear "2016" @default.
- W2485439805 type Work @default.
- W2485439805 sameAs 2485439805 @default.
- W2485439805 citedByCount "2" @default.
- W2485439805 countsByYear W24854398052019 @default.
- W2485439805 countsByYear W24854398052020 @default.
- W2485439805 crossrefType "book-chapter" @default.
- W2485439805 hasAuthorship W2485439805A5018334008 @default.
- W2485439805 hasAuthorship W2485439805A5029421675 @default.
- W2485439805 hasAuthorship W2485439805A5030789380 @default.
- W2485439805 hasAuthorship W2485439805A5070563995 @default.
- W2485439805 hasAuthorship W2485439805A5088859661 @default.
- W2485439805 hasConcept C115903868 @default.
- W2485439805 hasConcept C121684516 @default.
- W2485439805 hasConcept C154945302 @default.
- W2485439805 hasConcept C199360897 @default.
- W2485439805 hasConcept C202444582 @default.
- W2485439805 hasConcept C206880738 @default.
- W2485439805 hasConcept C2777904410 @default.
- W2485439805 hasConcept C33923547 @default.
- W2485439805 hasConcept C41008148 @default.
- W2485439805 hasConcept C548217200 @default.
- W2485439805 hasConcept C80444323 @default.
- W2485439805 hasConcept C9652623 @default.
- W2485439805 hasConceptScore W2485439805C115903868 @default.
- W2485439805 hasConceptScore W2485439805C121684516 @default.
- W2485439805 hasConceptScore W2485439805C154945302 @default.
- W2485439805 hasConceptScore W2485439805C199360897 @default.
- W2485439805 hasConceptScore W2485439805C202444582 @default.
- W2485439805 hasConceptScore W2485439805C206880738 @default.
- W2485439805 hasConceptScore W2485439805C2777904410 @default.
- W2485439805 hasConceptScore W2485439805C33923547 @default.
- W2485439805 hasConceptScore W2485439805C41008148 @default.
- W2485439805 hasConceptScore W2485439805C548217200 @default.
- W2485439805 hasConceptScore W2485439805C80444323 @default.
- W2485439805 hasConceptScore W2485439805C9652623 @default.
- W2485439805 hasLocation W24854398051 @default.
- W2485439805 hasOpenAccess W2485439805 @default.
- W2485439805 hasPrimaryLocation W24854398051 @default.
- W2485439805 hasRelatedWork W1488103720 @default.
- W2485439805 hasRelatedWork W1491545499 @default.
- W2485439805 hasRelatedWork W1505970908 @default.
- W2485439805 hasRelatedWork W1509580513 @default.
- W2485439805 hasRelatedWork W1527367709 @default.
- W2485439805 hasRelatedWork W1528906425 @default.
- W2485439805 hasRelatedWork W1600874933 @default.
- W2485439805 hasRelatedWork W2054025387 @default.
- W2485439805 hasRelatedWork W2149906774 @default.
- W2485439805 hasRelatedWork W2339298563 @default.
- W2485439805 hasRelatedWork W2516035899 @default.
- W2485439805 hasRelatedWork W2624328485 @default.
- W2485439805 hasRelatedWork W287042987 @default.
- W2485439805 hasRelatedWork W2906611356 @default.
- W2485439805 hasRelatedWork W3038794244 @default.
- W2485439805 hasRelatedWork W3116985835 @default.
- W2485439805 hasRelatedWork W3140579943 @default.
- W2485439805 hasRelatedWork W3183384019 @default.
- W2485439805 hasRelatedWork W969648153 @default.
- W2485439805 hasRelatedWork W2883736116 @default.
- W2485439805 isParatext "false" @default.
- W2485439805 isRetracted "false" @default.
- W2485439805 magId "2485439805" @default.
- W2485439805 workType "book-chapter" @default.