Matches in DBpedia 2016-04 for { ?s ?p "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."@en }
Showing triples 1 to 4 of
4
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.".
- 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.".
- 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.".
- 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.".