切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
性质证明相关论文
正三角形外接圆周上点的一个性质的应用
正三角形外接圆上任一点到三顶点的距离,其最长者必等于较短二者之和.(图1)(证明略)...
期刊
正三角形
外接圆
距离
性质证明
中学数学
解题思路
定理证明器Coq的理论扩展与在组合逻辑验证中的应用
交互式定理证明技术是可以应用于大规模系统验证的重要的形式化方法,近年有一些影响很广的成功案例。但是交互式定理证明的使用难度......
学位
定理证明器Coq
理论扩展
性质证明
组合逻辑验证框架
加法器验证
广义逆矩阵的性质及反例
矩阵广义逆是普通矩阵逆的推广,它的提出是用于更好的求解线性方程组。广义逆矩阵是统计学、优化计算、现代控制理论、网络系统、......
期刊
加号广义逆
性质证明
反例
看过本文同时还关注
如何写好一篇毕业论文
免费论文查重的方法
从零开始写毕业论文的方法
热心助人的动物
第一届全国脊柱脊髓基础研究及临床...
2004世界科技七大看点
对甘肃省国有企业兼并问题的思考
热心助人的动物
对甘肃省国有企业兼并问题的思考
热心助人的动物