Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q6786887> ?p ?o }
Showing triples 1 to 39 of
39
with 100 triples per page.
- Q6786887 subject Q8279957.
- Q6786887 subject Q8550132.
- Q6786887 subject Q8851959.
- Q6786887 abstract "Mathematics Mechanization and Automated Reasoning Platform (Chinese: 数学机械化自动推理平台), or Mathematics-Mechanization Platform (MMP, code named elimino), is a group of automated theorem proving software based on an internal computer algebra system. It can be used on proving algebra and geometry theorems. This system is led by Wu Wenjun and based on Wu's method.".
- Q6786887 latestReleaseVersion "3.0".
- Q6786887 wikiPageExternalLink books?id=86Bq2lTbAKwC&lpg=PP1&pg=PA44.
- Q6786887 wikiPageExternalLink mmp.
- Q6786887 wikiPageExternalLink MMP_Blending.rar.
- Q6786887 wikiPageExternalLink MMP_Geometer.zip.
- Q6786887 wikiPageExternalLink MMP_Linkage.zip.
- Q6786887 wikiPageExternalLink MMP_Robot.zip.
- Q6786887 wikiPageExternalLink setup.exe.
- Q6786887 wikiPageExternalLink MMP_manual.pdf.
- Q6786887 wikiPageExternalLink mmsoft.
- Q6786887 wikiPageExternalLink 973soft.
- Q6786887 wikiPageExternalLink elim.zip.
- Q6786887 wikiPageWikiLink Q431667.
- Q6786887 wikiPageWikiLink Q5535517.
- Q6786887 wikiPageWikiLink Q590490.
- Q6786887 wikiPageWikiLink Q7850.
- Q6786887 wikiPageWikiLink Q8038857.
- Q6786887 wikiPageWikiLink Q8279957.
- Q6786887 wikiPageWikiLink Q830340.
- Q6786887 wikiPageWikiLink Q8550132.
- Q6786887 wikiPageWikiLink Q8851959.
- Q6786887 wikiPageWikiLink Q926125.
- Q6786887 latestReleaseVersion "3".
- Q6786887 name "Mathematics-Mechanization Platform".
- Q6786887 website mmp.
- Q6786887 type CreativeWork.
- Q6786887 type Software.
- Q6786887 type Work.
- Q6786887 type Thing.
- Q6786887 type Q386724.
- Q6786887 type Q7397.
- Q6786887 comment "Mathematics Mechanization and Automated Reasoning Platform (Chinese: 数学机械化自动推理平台), or Mathematics-Mechanization Platform (MMP, code named elimino), is a group of automated theorem proving software based on an internal computer algebra system. It can be used on proving algebra and geometry theorems. This system is led by Wu Wenjun and based on Wu's method.".
- Q6786887 label "Mathematics Mechanization and Automated Reasoning Platform".
- Q6786887 homepage mmp.
- Q6786887 name "Mathematics-Mechanization Platform".