Matches in SemOpenAlex for { <https://semopenalex.org/work/W1409110429> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1409110429 endingPage "181" @default.
- W1409110429 startingPage "169" @default.
- W1409110429 abstract "Thousands of Geometric problems for geometric Theorem Provers (TGTP) is a Web-based library of problems in geometry. The principal motivation in building TGTP is to create an appropriate context for testing and evaluating geometric automated theorem proving systems (GATP). For that purpose TGTP provides a centralised common library of geometric problems with an already significant size but aiming to became large enough to ensure meaningful system evaluations and comparisons. TGTP provides also a workbench were it is possible to test any given geometric conjecture. TGTP is independent of any given GATP. For each problem the code for each GATP (whenever available) is kept in the library. A common format for geometric conjectures, extending the i2g format, is being developed. This common format, plus a list of converters, one for each GATP, will allow to test all the GATPs with all the problems in the library. TGTP is well structured, documented and with a powerful querying mechanism, allowing an easy access to the information. All information in the library, and also the supporting formats and tools are freely available. TGTP aims, in a similar spirit of TPTP and other libraries, to provide the automated reasoning in geometry community with a comprehensive and easily accessible library of GATP test problems. The development of TGTP problem library is an ongoing project." @default.
- W1409110429 created "2016-06-24" @default.
- W1409110429 creator A5082850546 @default.
- W1409110429 date "2011-01-01" @default.
- W1409110429 modified "2023-10-16" @default.
- W1409110429 title "Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)" @default.
- W1409110429 cites W1534758548 @default.
- W1409110429 cites W1548163180 @default.
- W1409110429 cites W1570149161 @default.
- W1409110429 cites W1573992413 @default.
- W1409110429 cites W1964645789 @default.
- W1409110429 cites W2053860863 @default.
- W1409110429 cites W2088823840 @default.
- W1409110429 cites W2097113373 @default.
- W1409110429 cites W2131408699 @default.
- W1409110429 cites W2133093325 @default.
- W1409110429 cites W2146770832 @default.
- W1409110429 cites W2157101175 @default.
- W1409110429 cites W86824626 @default.
- W1409110429 cites W2498260676 @default.
- W1409110429 doi "https://doi.org/10.1007/978-3-642-25070-5_10" @default.
- W1409110429 hasPublicationYear "2011" @default.
- W1409110429 type Work @default.
- W1409110429 sameAs 1409110429 @default.
- W1409110429 citedByCount "27" @default.
- W1409110429 countsByYear W14091104292012 @default.
- W1409110429 countsByYear W14091104292013 @default.
- W1409110429 countsByYear W14091104292014 @default.
- W1409110429 countsByYear W14091104292015 @default.
- W1409110429 countsByYear W14091104292016 @default.
- W1409110429 countsByYear W14091104292017 @default.
- W1409110429 countsByYear W14091104292018 @default.
- W1409110429 countsByYear W14091104292019 @default.
- W1409110429 countsByYear W14091104292020 @default.
- W1409110429 countsByYear W14091104292021 @default.
- W1409110429 countsByYear W14091104292022 @default.
- W1409110429 crossrefType "book-chapter" @default.
- W1409110429 hasAuthorship W1409110429A5082850546 @default.
- W1409110429 hasConcept C111919701 @default.
- W1409110429 hasConcept C144559511 @default.
- W1409110429 hasConcept C151730666 @default.
- W1409110429 hasConcept C154945302 @default.
- W1409110429 hasConcept C199360897 @default.
- W1409110429 hasConcept C206880738 @default.
- W1409110429 hasConcept C23123220 @default.
- W1409110429 hasConcept C2779145975 @default.
- W1409110429 hasConcept C2779343474 @default.
- W1409110429 hasConcept C36464697 @default.
- W1409110429 hasConcept C41008148 @default.
- W1409110429 hasConcept C80444323 @default.
- W1409110429 hasConcept C86803240 @default.
- W1409110429 hasConceptScore W1409110429C111919701 @default.
- W1409110429 hasConceptScore W1409110429C144559511 @default.
- W1409110429 hasConceptScore W1409110429C151730666 @default.
- W1409110429 hasConceptScore W1409110429C154945302 @default.
- W1409110429 hasConceptScore W1409110429C199360897 @default.
- W1409110429 hasConceptScore W1409110429C206880738 @default.
- W1409110429 hasConceptScore W1409110429C23123220 @default.
- W1409110429 hasConceptScore W1409110429C2779145975 @default.
- W1409110429 hasConceptScore W1409110429C2779343474 @default.
- W1409110429 hasConceptScore W1409110429C36464697 @default.
- W1409110429 hasConceptScore W1409110429C41008148 @default.
- W1409110429 hasConceptScore W1409110429C80444323 @default.
- W1409110429 hasConceptScore W1409110429C86803240 @default.
- W1409110429 hasLocation W14091104291 @default.
- W1409110429 hasOpenAccess W1409110429 @default.
- W1409110429 hasPrimaryLocation W14091104291 @default.
- W1409110429 hasRelatedWork W2050384624 @default.
- W1409110429 hasRelatedWork W2109648960 @default.
- W1409110429 hasRelatedWork W2166015079 @default.
- W1409110429 hasRelatedWork W2321287347 @default.
- W1409110429 hasRelatedWork W2356913294 @default.
- W1409110429 hasRelatedWork W2388480422 @default.
- W1409110429 hasRelatedWork W2388509490 @default.
- W1409110429 hasRelatedWork W2776888796 @default.
- W1409110429 hasRelatedWork W2903672016 @default.
- W1409110429 hasRelatedWork W2951120646 @default.
- W1409110429 isParatext "false" @default.
- W1409110429 isRetracted "false" @default.
- W1409110429 magId "1409110429" @default.
- W1409110429 workType "book-chapter" @default.