Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Geometry_Expert> ?p ?o }
Showing triples 1 to 33 of
33
with 100 triples per page.
- Geometry_Expert abstract "Geometry Expert (GEX) is a Chinese software for dynamic diagram drawing and automated geometry theorem proving and discovering. There's a new Chinese version of Geometry Expert, called MMP/Geometer.Java Geometry Expert is free under GNU General Public License.".
- Geometry_Expert wikiPageExternalLink gex.
- Geometry_Expert wikiPageExternalLink gex_jgex.html.
- Geometry_Expert wikiPageExternalLink ~ye.
- Geometry_Expert wikiPageExternalLink gex.
- Geometry_Expert wikiPageID "28948360".
- Geometry_Expert wikiPageLength "758".
- Geometry_Expert wikiPageOutDegree "7".
- Geometry_Expert wikiPageRevisionID "595121661".
- Geometry_Expert wikiPageWikiLink Category:Automated_theorem_proving.
- Geometry_Expert wikiPageWikiLink Category:Interactive_geometry_software.
- Geometry_Expert wikiPageWikiLink Category:Theorem_proving_software_systems.
- Geometry_Expert wikiPageWikiLink GNU_General_Public_License.
- Geometry_Expert wikiPageWikiLink Mathematics_Mechanization_and_Automated_Reasoning_Platform.
- Geometry_Expert wikiPageWikiLink Wichita_State_University.
- Geometry_Expert wikiPageWikiLinkText "GEX".
- Geometry_Expert wikiPageWikiLinkText "Geometry Expert".
- Geometry_Expert subject Category:Automated_theorem_proving.
- Geometry_Expert subject Category:Interactive_geometry_software.
- Geometry_Expert subject Category:Theorem_proving_software_systems.
- Geometry_Expert hypernym Software.
- Geometry_Expert type Software.
- Geometry_Expert type Method.
- Geometry_Expert type Proof.
- Geometry_Expert type Tool.
- Geometry_Expert comment "Geometry Expert (GEX) is a Chinese software for dynamic diagram drawing and automated geometry theorem proving and discovering. There's a new Chinese version of Geometry Expert, called MMP/Geometer.Java Geometry Expert is free under GNU General Public License.".
- Geometry_Expert label "Geometry Expert".
- Geometry_Expert sameAs Q5535517.
- Geometry_Expert sameAs m.0dgqkzc.
- Geometry_Expert sameAs Q5535517.
- Geometry_Expert wasDerivedFrom Geometry_Expert?oldid=595121661.
- Geometry_Expert homepage gex.
- Geometry_Expert isPrimaryTopicOf Geometry_Expert.