Skip to search formSkip to main contentSkip to account menu

Mathematics-Mechanization Platform

Known as: MMP, MMP (software) 
Mathematics Mechanization and Automated Reasoning Platform (Chinese: 数学机械化自动推理平台), or Mathematics-Mechanization Platform (MMP, code named elimino… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
Automated theorem provingComputer algebra systemGeometry Expert

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2010
Review
2010
A Survey of Medical Image Registration on Multicore and the GPU
In this article, we look at early, recent, and state-of-the-art methods for registration of medical images using a range of high… 
Highly Cited
2009
Highly Cited
2009
Stochastic Multiobjective Market Clearing of Joint Energy and Reserves Auctions Ensuring Power System Security
In this paper, a stochastic multiobjective framework is proposed for day-ahead joint market clearing. The proposed multiobjective… 
Highly Cited
2009
Highly Cited
2009
Learning to search: Functional gradient techniques for imitation learning
Programming robot behavior remains a challenging task. While it is often easy to abstractly define or even demonstrate a desired… 
Highly Cited
2003
Highly Cited
2003
Wnt1 and Wnt5a induce cyclin D1 expression through ErbB1 transactivation in HC11 mammary epithelial cells
Constitutive expression of Wnt1 and Wnt5a in HC11 mammary cells led to elevated TCF transcriptional activity. Intriguingly, Wnt… 
Highly Cited
2003
Highly Cited
2003
Transactivation of Vimentin by β-Catenin in Human Breast Cancer Cells
The cytoplasmic and nuclear redistribution of β-catenin and the de novo expression of vimentin are frequently involved in the… 
Highly Cited
2003
Highly Cited
2003
Changes in Soil Phosphorus from Manure Application
Manure and mineral fertilizer P sources vary in their contributions to soil P pools. We conducted incubation experiments to (i… 
Highly Cited
2003
Highly Cited
2003
An Anti-Tumor Necrosis Factor-α Antibody Inhibits the Development of Experimental Skin Tumors
The proinflammatory cytokine tumor necrosis factor-α (TNF-α) was originally considered to have activity against malignant disease… 
Highly Cited
2002
Highly Cited
2002
Fault Diagnosis of Multistage Manufacturing Processes by Using State Space Approach
This paper presents a methodology for diagnostics of fixture failures in multistage manufacturing processes (MMP). The diagnostic… 
Highly Cited
2002
Highly Cited
2002
Diagnosability Analysis of Multi-Station Manufacturing Processes
Variation propagation in a multi-station manufacturing process (MMP) is described by the theory of “Stream of Variation.” Given… 
Highly Cited
2001
Highly Cited
2001
District magnitude, electoral formula, and the number of parties
Duverger's propositions concerning the psychologicaland mechanical consequences of electoral rules have previously beenexamined… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)