试用了一下软件MMP(数学机械化自动推理平台)
http://www.mmrc.iss.ac.cn/mmp/
这个软件表面上看感觉还不错,至于功能还没完全学会,当然有些细节做得不够好,不过软件的价值不在这方面,刚刚试用了一下,所以也不好发表言论,以下是一些测试的例子。
试用了一下软件MMP(数学机械化自动推理平台)相关推荐
- 吴文俊:数学机械化——回顾与展望
数学机械化这一名词取自数理逻辑学家王浩先生的著作.王浩先生毕生从事数理逻辑的研究,不仅是一位倡导用计算机来证明逻辑命题的先驱者,而且还身体力行.1958年时,王浩设计了几个计算机程序,使用当时的IBM ...
- 【java】个人项目:中小学数学卷子自动生成程序
用户: 小学.初中和高中数学老师. 功能: 1.命令行输入用户名和密码,两者之间用空格隔开(程序预设小学.初中和高中各三个账号,具体见附表),如果用户名和密码都正确,将根据账户类型显示"当前 ...
- 结对编程分析——中小学数学卷子自动生成程序
中小学数学卷子自动生成程序分析 本次课程任务要求我们在规定时间内完成一个可以自动生成中小学数学题目卷子的程序,用户为老师.主要是实现账户名密码的验证,账户的切换,根据账户类型生成不同难度的试题并查重. ...
- 软件工程导论个人项目 -- 中小学数学卷子自动生成程序
中小学数学卷子自动生成程序 1. 项目需求 1.1 项目名称 1.2 用户 1.3 功能 2. 程序分析 2.1 Teacher类 2.2 User类 2.2.1 头文件 2.2.2 主函数 2.2. ...
- iPhone测试软件偷开照相机,iphone小软件让小偷现形 自动拍下照片发送邮箱
iphone小软件让小偷现形 自动拍下照片发送邮箱 iPhone手机能防盗,还能抓小偷,你听说过吗? 前几天,网友"l6shaoxt"在网上曝光了好几张照片,说这就是偷了自己手机的 ...
- 安卓自动滑屏脚本_手机自动滑屏软件下载-安卓手机自动滑屏(Auto.js)下载v4.1.1 安卓免root版-西西软件下载...
安卓手机自动滑屏软件一款全新功能强大的手机应用脚本,可以更好的实现上下滑屏幕助手,免root屏幕自动滑动,编写软件.游戏脚本等一站式服务功能,需要的朋友快来下载体验吧! 安卓手机自动滑屏是什么软件 手 ...
- 中小学数学卷子自动生成程序
本来是不打算写这个课程作业的博客的,但是后续结队编程又需要和队友相互交流代码,而我当时写代码的时候也没有过多的注释,为了我的结队队友".."能够更轻松的(至少不会想捶我)完成课程任 ...
- 如何利用软件绘制数学图像中的箭头坐标轴图像?
如何利用软件绘制数学图像中的箭头坐标轴图像? 1. 数学软件: Matlab. Maple 2. 画图软件: Graph. 几何 ...
- 求pi的数学模型matlab计算pi,MATLAB实验-pi的计算 圆周率的近似计算 数学软件与数学实验 教学课件.ppt...
MATLAB实验-pi的计算 圆周率的近似计算 数学软件与数学实验 教学课件 1.圆周率π的计算历程 所谓"圆周率"是指一个圆的周长与其直径的比值.古今中外,许多人致力于圆周率的研 ...
最新文章
- HubbleDotNet 简介 (转)
- 【Android】java.lang.IllegalArgumentException Illegal character in scheme 异常
- CTFshow 命令执行 web42
- SQL 语句中的字段名 如果是 关键字怎么办?
- MVC系列-6.注册页面
- ces测试数据测试ces测试数据测试ces测试数据测试ces测试数据测试ces测试数据测试ces测试数据测试ces测试数据测试ces测试数据测试ces测试数据测试ces测试数据测试
- Leetcode--90. 子集Ⅱ
- 那些年我们追过的网络库(PartI)
- 5.3矩阵乘积(三元组存储结构)
- svm中拉格朗日对偶问题的推导
- 项目遇到的问题总结(四):单页面首屏加载慢解决方案
- 好的技术不一定能给你带来财富,但是好的工具一定可以让你创造财富
- cocos2d-x开启Wifi
- 编写高质量代码改善C#程序的157个建议——建议38:小心闭包中的陷阱
- 速看!不止零关税,RCEP的签订对普通百姓的影响都在这里
- pads9.5在win10中选项字体显示不全问题解决补丁下载(网盘免费下载)
- 阿里云服务器搭建java环境详细步骤4
- 魅族手机无限网无法连接服务器,魅族手机wifi为何连接不了了
- 怎么删除PDF文件页面?PDF怎么删除其中一页
- SwiftUI mutating 是什么怎么用 (2020年教程)