基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法，将几何定理的假设条件（多项式组PS）化为主系数不含变元的三角型多项式组DTS，可得到定理命题成立的不含变化的非退化条件，即充分必要或更接近充分必要的非退化条件，由于多项式主系统不含变化，已不存在DTS多项式之间的约化问题，故方法有普遍意义，文中例为西姆松定理的机器证明。     

全力打造信息经济时代的上海电子政务（摘要）

上海的电子政务建设在广泛吸收国内外城市先进经验的同时，按照国家总体要求，努力从上海的实际情况出发进行综合规划并组织实施，不断取得新的进展。     

积极参与世界经济循环 让大多数人尽快进入信息社会（摘要）

中国改革开放20多年来，政府机构改革从未间断，目的只有一条，为人民服务，为人民提供更优质的服务。今后，为了充分实施WTO原则和我们的承诺，政府会加大改革力度，协调各部门的行动，采取更加透明的决策手段，按市场原则进行调控，简化审批程序等，目的是创造促进公平竞争的市场环境。因此，建设电子政府得到了中国政府的高度重视。目前，世界上较成功的电     

适应市场经济发展 推进农业信息化建设

跨入二十一世纪的今天，农村经济发展进入了新的阶段，如何适应市场经济发展要求，变资源优势为经济优势，实现农业的“两个根本性转变”，大力推进南汇区农业信息化建设，加强农业信息服务是一条有效途径，我区农业住处化工作的体会是：     

WTO与我国服装业改革

中国加入WTO，全球经济一体化，我国服装业挑战和机遇并存，服装行业应正视差距，必须努力掌握市场信息，适应市场需求，有效地利用自身资源优势，引进和发展先进科技，加强信息管理，使服装行业尽快地与国际接轨，融入世界服装强国之列。     

关于信息素质培养的研究

阐述了21世纪的人才应具有较高的信息处理能力的意义，提出了高等教育应把信息素质的培养作为一项重要任务，重点是增强信息意识和利用信息的能力。     

借用平抛运动辨析矢量、标量的求和

我们知道，矢量的合成遵守几何法则(平行四边形定则或三角形法则)；而标量的合成遵守代数法则。但在平时的教学中却发现许多同学对矢量遵守的平行四边形定则心存疑虑，解题时不能很好地应用。甚至有的同学在对标量求和时错误地应用了平行四边形定则。下面我们借用一道平抛运动的习题，来对上述问题作一辨析。     

全息技术在存储信息中的应用

本文介绍全息技术的概念、全息照相的过程，全息存储的基本原理及全息存储的分类、全息存储的优点。     

加入WTO后庆加快信息资源的建设

文章就我国加入WTO后信息资源建设方面的必要性、紧迫性、实用性、目标等方面做了阐述。