Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Mathematics_Mechanization_and_Automated_Reasoning_Platform> ?p ?o. }
Showing items 1 to 42 of
42
with 100 items 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 wikiPageRevisionID "546014657".
- 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 hasPhotoCollection Mathematics_Mechanization_and_Automated_Reasoning_Platform.
- 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 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 type Software.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform type Work.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform type CreativeWork.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform type InformationEntity.
- 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 label "数学机械化自动推理平台".
- Mathematics_Mechanization_and_Automated_Reasoning_Platform sameAs m.0dgsrl8.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform sameAs Q6786887.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform sameAs Q6786887.
- 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".