来源：《半导体技术》2006年第10期 作者：玉龙;
移动多媒体终端(MMP)专委会全力打造多元化服务平台
日前，记者从移动多媒体终端(MobileMultimediaPlayer，简称MMP)专委会获悉，旨在服务MMP多元化发展的需要，搭建MMP产业链厂商交流平台的2007第三届移动多媒体终端(MMP)技术与市场研讨会暨配套产品展示会，目前已经进入紧锣密鼓的筹备当中。会议由中国信息产业商会数字化(3C产品)产业联盟主办、3C联盟MMP技术专委会、深圳市亚科希信息顾问有限公司联合承办，定于2007年6月中旬在深圳举办。据了解，PMP技术研讨会及配套产品展示会是PMP行业的最大的盛会之一，目前已成功举办两届。在今年6月份举办的第二届个人便携式多媒体播录放机(PMP)技术与市场研讨会暨配套产品展示会吸引了来自美国、印度、马来西亚、新加坡、中国香港、中国台湾、北京、上海、无锡、合肥以及华南等地区的芯片、方案商、微硬盘、液晶、PMP产品制造商以及相关配套厂商共计1000多名国内外企业代表参加，包括了ADI、TI、SIGMADESIGNS、HITACHI、FREESCALE、MICROSOFT、MIPS、SEAGATE、SII、RICHTEK等来自全球领先的半导体芯片商巨......(本文共计1页)
相关文章推荐
半导体技术
主办：中国半导体行业协会;半导体专业情报网;中国电子科技集团公司第十三所
出版：半导体技术杂志编辑部
出版周期：月刊
出版地：河北省石家庄市维基百科，自由的百科全书
数学机械化自动推理平台（：Mathematics Mechanization and Automated Reasoning Platform），又名 Mathematics-Mechanization Platform（简称 MMP，开发代号：elimino）是根据院士理论为基础发展出来的数学机械化自动推理平台。2006年的版本为 3.0，此后停顿，再无新版本。
微软Windows 2000, XP, Vista.
包括符合计算，多项式运算，符号线性代数，多项式方程，多元方程组，常微分方程系统，偏微分方程系统的吴特征列方法，几何问题的自动求解等。
整数任意大。小数30位数，可以扩充到任意长度。
(X^660-1)的因子分解
数字与多项式的四则运算。
expand((x+35)*(y-4)*(5*z-3/4));
5zyz--20zy+3x+175zy--700z+ 105;
quo(x^2+4*x+4,x+2);
x+2; (x^2+4*x+4)/(x+2)=x+2;
expand((x^2+4*x+4)/(x+2)); x+2
r:=quo(p,q);
expand(sqrt(x^2+6*x+9));
expand(curt(27));
expand(curt(x^3+3*x^2+3*x+1));
ifactor(6)
[2,1,3,1], (2^1*3^1)
ifactor(16)
[2,4] (2^4)
ifactor(99);
[3,2,11,1], ( 3^2 *11^1);
ifactor();
ifactor();
[3,2,17,2,]
ifactor();
[2，1，3，1，13，1，83，1，，，1]
[[1],1,[6x^2-77],1,[x^3+7],1,[3x+5],1]
factor(x^660-1)
最大公约数
gcd(66，88)；
gcd(x^3+3*x^2+3*x+1,x+1);
imod(35，6)；
中国余数定理
chrem([3,5,7],[2,3,2]);
chrem([5,7,11],[2,1,10]);
chrem([5,7],[2,1]);
chrem([5,11],[2,10]);
chrem([1,3,5,7,11,13,17,19,23],[1,2,3,4,5,6,7,8,9]);
polysover(x^100-9999) 的复数解
p:=x^2+5*x+6;
polysolver(p);
p:=29*x^11+21*x^8-77;
polysolver(p) 可以求出11项复数解。
Mrealroot([p],[x],1/) 可得出一个实数解，位于
， 区间之内；实数解可取为平均值即：
《》四次方程：
p1:=-x^4+763200*x^2-
polysolver(p1);
[[x+240],[x+840],[x-840],[x-240]];
《》十次方程：
p1:=x^10+15*x^8+72*x^6-864*x^4-11664*x^2-34992;
wsolve([p1],[x]);
[[x-3],[},[x+3],[]]
目前最多可解100次方程（高于100次，系统悬挂）
p:=x^100-9999;
m:=matrix(3,3,[1,2,3,4,5,6,7,8,9]);
m:=matrix(3,4,[3,2,1,39,2,3,1,34,1,2,3,26]);
lsolve_m(m);
m:=matrix(5,6,[1,2,3,14,5,33,6,17,8,9,10,99,11,212,13,14,15,-36,16,417,28,29,-20,169,21,22,23,24,25,-77]); m=
朱世杰《》《三才运元》 ：
p1:=x*y*z-x*y^2-z-x-y;
p2:=x*z-x^2-z-y+x;
p3:=z^2-x^2-y^2;
朱世杰得 z=5; 用吴特征列法求解， 令
ps:=[p1,p2,p3]; vs:=[x,y,z];
wsolve(ps,vs); 得一组解， [[x,y+z],[x,y+z,2z^2+1],[x-1,y,z+1],[x-3,y-4,z-5],[x,y,z]]
其中包括 z=5,y=4,x=3; x=1,y=0,z=-1;
roots(ps,vs);
[[y,-z,x,0],[z],[z, - ,y,,x,0],[],[z,,y,-,x,0],[],[z,-1,y,0,x,1],[],[z,5,y,4,x,3],[],[z,0,y,0,x,0],[]]
《》《四象会元》四元二次方程式
朱世杰的解 w=14;
用吴特征列法解之：
四元二次方程式的解
MMP 的解为
显然包括 w=14，如图所示。
三角形中线与一边平行
wprove([ [ [POINT,A,B,C], [MIDPOINT,F,A,B], [INTER,G,[LINE,A,C],[PLINE,F,B,C]] ], [ [MIDPOINT,G,A,C] ] ]);
The geometric statement is valid!
wprove([ [ [POINT,A,B,C], [MIDPOINT,F,A,B], [MIDPOINT,G,A,C] ], [[INTER,G,[LINE,A,C],[PLINE,F,B,C]] ]]);
The geometric statement is valid!
三角形面积=底高积之半
wderive([[d,k],[], [A,[d,H],B,[0,0],C,[L,0]], [ [area,k,A,B,C]],[],[]]);
Formulas 1
梯形面积=(底边+顶边) X高 /2
wderive( [[k],[L,H,c,d], [A,[0,0], B,[L,0], C, [c,H],D,[d,H]], [ [area, k, A,B,C,D]],[],[]]);
-2k+HL+cH-dH 1 formulas found
任意多边形面积
多边形A,B,C,D,E,F 坐标：A,[a1,a2],B,[b1,b2],C,[c1,c2],D,[d1,d2],E,[e1,e2],F,[f1,f2]
wderive( [[k],[a1,a2,b1,b2,c1,c2,d1,d2,e1,e2,f1,f2], [A,[a1,a2], B,[b1,b2], C, [c1,c2],D,[d1,d2],E,[e1,e2],F,[f1,f2]], [ [area, k, A,B,C,D,E,F]],[],[]]);
2k-c2b1+a2b1-d2c1+b2c1-b2a1+f2a1+c2d1-e2d1+e1d2-f2e1+f1e2-a2f1 1 formulas found.
五边形面积为三个三角形面积之和
wderive( [[a1,a2,b1,b2,c1,c2,d1,d2,e1,e2,k],[], [A,[a1,a2], B,[b1,b2], C, [c1,c2],D,[d1,d2],E,[e1,e2]], [ [area,J1,A,B,C], [area,J4,C,D,A], [area,J5,D,E,A], [area, k, A,B,C,D,E]],[],[]]);
k-J1-J4-J5
三角形中线
A，B，C，三点； D 为直线BC的中点， E 为 AC 的中点， F 为 AB 的 中点
直线DA与 直线 EB 相交于 G 点， 证明 F，C，G 三点在一条直线上
wprove([[[POINT,A,B,C], [MIDPOINT,D,B,C], [MIDPOINT,E,A,C], [MIDPOINT,F,A,B], [INTER,G,[LINE,D,A],[LINE,E,B]]], ]);
The geometric statement is valid !
自动推导秦九韶三斜求积公式
自动推导秦九韶三斜求积
有三点 a1,b1,c1 a1c1 的长度为 b a1b1的长度为c b1c1的长度为a 三角形面积为k
wderive( [[x2,x1,x3,k],[a,b,c], [b1,[0,0], c1,[x3,0], a1, [x1,x2]], [[dis, a1, c1, b], [dis, a1, b1, c],[dis,b1,c1,a], [area, k, a1, b1, c1]],[],[]]);
自动得到：
证明秦九韶三角形面积公式与海伦公式等效
=expand(s*(s-a)*(s-b)*(s-c)*16);
刘徽割圆术
f:=proc(n) local g,p; g:=nsqrt(3.); p:=6; for i from 1 to n do g:=nsqrt(2+g); p:=p*2;
g:=nsqrt(2-g); g:=p*g; return(g); end:
f(25); 3.31072
《数学机械化》 《朱世杰的一个例子》 第18-19页 科学出版社
朱世杰原著 李兆华校正 《四元玉鉴》 153页
著 《》 科学出版社
等著 《方程求解与机器证明:基于MMP的问题求解》
Xiao-Shan Gao, Dongming Wang ed, Mathematics Mechanization and Applications
：隐藏分类：信息提示 - 126网盘
你访问的文件正在审核，请稍后访问。现在将转入首页！