Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Mathematics_Mechanization_and_Automated_Reasoning_Platform> ?p ?o }
Showing triples 1 to 67 of
67
with 100 triples per page.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform 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.".
- Mathematics_Mechanization_and_Automated_Reasoning_Platform latestReleaseVersion "3.0".
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageExternalLink books?id=86Bq2lTbAKwC&lpg=PP1&pg=PA44.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageExternalLink mmp.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageExternalLink MMP_Blending.rar.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageExternalLink MMP_Geometer.zip.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageExternalLink MMP_Linkage.zip.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageExternalLink MMP_Robot.zip.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageExternalLink setup.exe.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageExternalLink MMP_manual.pdf.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageExternalLink mmsoft.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageExternalLink 973soft.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageExternalLink elim.zip.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageID "28948177".
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageLength "3433".
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageOutDegree "11".
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageRevisionID "546014657".
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageWikiLink Automated_theorem_proving.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageWikiLink Category:Automated_theorem_proving.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageWikiLink Category:Interactive_geometry_software.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageWikiLink Category:Theorem_proving_software_systems.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageWikiLink Chinese_language.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageWikiLink Code_name.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageWikiLink Computer_algebra_system.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageWikiLink Geometry_Expert.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageWikiLink Wu_Wenjun.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageWikiLink Wus_method_of_characteristic_set.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageWikiLinkText "Mathematics Mechanization and Automated Reasoning Platform".
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageWikiLinkText "Mathematics-Mechanization Platform".
- Mathematics_Mechanization_and_Automated_Reasoning_Platform author "中国科学院数学机械化重点实验室".
- Mathematics_Mechanization_and_Automated_Reasoning_Platform developer ""数学机械化与自动推理平台"".
- Mathematics_Mechanization_and_Automated_Reasoning_Platform developer "中國".
- Mathematics_Mechanization_and_Automated_Reasoning_Platform developer "国家基础研究发展规划项目".
- Mathematics_Mechanization_and_Automated_Reasoning_Platform developer "软件开发课题组".
- Mathematics_Mechanization_and_Automated_Reasoning_Platform latestReleaseVersion "3".
- Mathematics_Mechanization_and_Automated_Reasoning_Platform name "Mathematics-Mechanization Platform".
- Mathematics_Mechanization_and_Automated_Reasoning_Platform title "Mathematics Mechanization and Automated Reasoning Platform".
- Mathematics_Mechanization_and_Automated_Reasoning_Platform website mmp.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageUsesTemplate Template:Empty_section.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageUsesTemplate Template:Infobox_software.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageUsesTemplate Template:Release_date_and_age.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageUsesTemplate Template:Software-stub.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageUsesTemplate Template:Zh-cn.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform subject Category:Automated_theorem_proving.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform subject Category:Interactive_geometry_software.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform subject Category:Theorem_proving_software_systems.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform hypernym Group.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform type Band.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform type Software.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform type Work.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform type Method.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform type Proof.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform type Tool.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform type CreativeWork.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform type Thing.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform type Q386724.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform type Q7397.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform 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.".
- Mathematics_Mechanization_and_Automated_Reasoning_Platform label "Mathematics Mechanization and Automated Reasoning Platform".
- Mathematics_Mechanization_and_Automated_Reasoning_Platform sameAs Q6786887.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform sameAs m.0dgsrl8.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform sameAs Q6786887.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform sameAs 数学机械化自动推理平台.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wasDerivedFrom Mathematics_Mechanization_and_Automated_Reasoning_Platform?oldid=546014657.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform homepage mmp.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform isPrimaryTopicOf Mathematics_Mechanization_and_Automated_Reasoning_Platform.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform name "Mathematics-Mechanization Platform".