软件 、 书籍销售 ,技术支持 以及相关服务都是可取的盈利模式 。 (11)专利申报情况 已于2009年 6 月 4 日获 国家版权局计算机软件著作权登记证书。 (12) 当前国内外同类课题研究水平概述 6 MMP (图形 前端 又名ELIMINO)为中国科学院数学机械化重点实验室开发的 自动推理平台,为 国家 “973项 目成果 ”。
抱歉，链接失效了。
本发明通过插入动态文本、公式、带约束关系的几何对象、控制参数变换的控件(按钮、输入框、滑竿等)等,结合文档的分页、排版,制作一本前后内容连贯、参数、动作驱动的动态可交互的书籍;该书籍制作完成后,可以在浏览器上跨平台地进行阅读、操作、分享,无需任何插件和播放器。 摘要附图 ...