高智能教育软件<%=id%>

所属分类：	计算机软件	项目来源：	自创
技术持有方姓名：	中国科学院成都分院	所在地域：	四川
是否中介：	否	是否重点项目：	否
技术简介：	该软件在自动推理与程序生成研究领域取得了国际领先的成果。在几何定理机器证明方面的研究工作被国际学术界赞誉为“计算机处理几何问题发展道路上的里程碑”。研究成果获1995年中科院自然科学一等奖和1997年国家自然科学二等奖。以此为基础开发的高智能教育软件（ICAI）通过了国家教委审定，市场前景十分广阔。