Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Mathematics-Mechanization Platform

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
This paper reports on a comprehensive study of the CO2-EOR (Enhanced oil recovery) process, a detailed literature review and a… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
Highly Cited
2011
Highly Cited
2011
For any flat projective family $(\mX,\mL)\rightarrow C$ such that the generic fibre $\mX_\eta$ is a klt Q-Fano variety and $\mL|_… Expand
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Programming robot behavior remains a challenging task. While it is often easy to abstractly define or even demonstrate a desired… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
In this paper, a stochastic multiobjective framework is proposed for day-ahead joint market clearing. The proposed multiobjective… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table I
Is this relevant?
Highly Cited
2005
Highly Cited
2005
The computation of geodesic paths and distances on triangle meshes is a common operation in many computer graphics applications… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
The cytoplasmic and nuclear redistribution of β-catenin and the de novo expression of vimentin are frequently involved in the… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
This paper presents a methodology for diagnostics of fixture failures in multistage manufacturing processes (MMP). The diagnostic… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Mondrian memory protection (MMP) is a fine-grained protection scheme that allows multiple protection domains to flexibly share… Expand
  • figure 1
  • figure 3
  • figure 2
  • table 1
  • figure 6
Is this relevant?
Highly Cited
2001
Highly Cited
2001
This paper examines the effect of changes in migration determinants on the skill level of undocumented Mexican immigrants. We… Expand
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Let $\epsilon, C$ be two positive real numbers, and $\mathcal C \subset \mathbb R$ be a DCC (descending chain condition) set. Let… Expand
Is this relevant?