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.
2014
2014
Discriminative subspace learning with sparse representation view-based model for robust visual tracking
2012
2012
A medicinal chemistry perspective on melting point: matched molecular pair analysis of the effects of simple descriptors on the melting point of drug-like compounds
The influence of simple molecular descriptors on the melting point temperature (Tm) has been investigated using a matched… 
2010
2010
Метод определения активности матриксных металлопротеаз в сыворотке крови
Matrix metal-proteinases (ММP) endopeptidases, are participating in re-modeling of connective tissue. Degradation of inter… 
2010
2010
Swelling/Extraction Test of a Small Sample Size for Phase Behavior Study
Swelling/extraction tests are single-contact phase-behavior experiments to measure the solubility of CO2 dissolved in crude oil… 
2008
2008
Interrelationship between plasma membrane integrity, mitochondrial membrane potential and DNA
The objective of this flow cytometric study was to examine plasma membrane integrity, mitochondrial membrane potential (MMP) and… 
Review
2005
Review
2005
Critical roles for collagenase-3 ( MMP 13 ) in development of growth plate cartilage and in endochondral ossification
The growth plate is a highly organized cartilage structure with a complex cellular biology. Studies have been limited by the… 
2001
2001
The Twilight of Westminster? Electoral Reform and its Consequences
The UK political system has long exemplified ‘majoritarian’ or ‘Westminster’ government, a type subsequently exported to many… 
2000
2000
MMP: a novel placement algorithm for combined macro block and standard cell layout design
In this paper, an efficient mixed-mode placement algorithm called MMP is presented for the high performance mixed block and… 
1999
1999
Resonant absorption and scattering in evanescent fields
The enhancement of optical resonances of small spherical particles in the case of excitation by evanescent waves is investigated… 
1990
1990
Control of Discrete-Time Hybrid Stochastic Systems
A realistic stochastic control problem for hybrid systems with Markovian jump parameters can have the switching parameters in… 
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)