Mathematics Mechanization and Automated Reasoning Platform
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.
Wikipage disambiguates
Wikipage redirect
Mathematics Mechanization and Automated Reasoning Platform
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.
has abstract
Mathematics Mechanization and ...... njun and based on Wu's method.
@en
数学机械化自动推理平台(英语:Mathematics Mec ...... 推理平台。2006年的版本为 3.0,此后停顿,再无新版本。
@zh
latest release version
Link from a Wikipage to an external page
Wikipage page ID
28,948,177
Wikipage revision ID
744,561,305
author
中国科学院数学机械化重点实验室
developer
title
Mathematics Mechanization and Automated Reasoning Platform
hypernym
comment
Mathematics Mechanization and ...... njun and based on Wu's method.
@en
数学机械化自动推理平台(英语:Mathematics Mec ...... 推理平台。2006年的版本为 3.0,此后停顿,再无新版本。
@zh
label
Mathematics Mechanization and Automated Reasoning Platform
@en
数学机械化自动推理平台
@zh
homepage
isPrimaryTopicOf
name
Mathematics-Mechanization Platform
@en