期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

几何代数的高阶逻辑形式化研究

下载PDF

导出

摘要几何代数是一门关于几何的代数语言,主要用来描述、计算几何问题,目前已在几何学、理论物理学、工程应用等领域获得广泛应用.不过几何代数中的传统计算方法,如数值计算方法、符合计算法等都存在一定的缺陷.高阶逻辑则是一种严密的形式化验证方法,对于促进几何代数形式化的实用性具有重要意义.

作者李福林黄利忠

机构地区山西大同大学数学与计算机科学学院

出处《数学学习与研究》 2018年第6期7-7,共1页

关键词几何代数高阶逻辑形式化验证方法

分类号 O187 [理学—数学]

引文网络
相关文献

参考文献3

1马莎,施智平,关永,李黎明,邵振洲,张杰.共形几何代数与机器人运动学的形式化[J].小型微型计算机系统,2016,37(3):555-561. 被引量：3
2马莎,施智平,李黎明,关永,张杰,Xiaoyu SONG.几何代数的高阶逻辑形式化[J].软件学报,2016,27(3):497-516. 被引量：5
3詹乃军,王戟,李宣东.软件形式化方法与应用专题前言[J].软件学报,2016,27(3):495-496. 被引量：4

二级参考文献2

1李洪波.共形几何代数与几何不变量的代数运算[J].计算机辅助设计与图形学学报,2006,18(7):902-911. 被引量：20
2YUAN LinWang,LüGuoNian,LUO Wen,YU ZhaoYuan,YI Lin,SHENG YeHua.Geometric algebra method for multidimensionally-unified GIS computation[J].Chinese Science Bulletin,2012,57(7):802-811. 被引量：13

共引文献8

1莫兵.二叉树算法在教学资源平台研发中的应用探讨[J].信息与电脑,2016,28(17):90-92. 被引量：1
2司明,厍向阳,李占利,李洪安.突出计算思维训练的数据结构教学实践[J].实验室研究与探索,2018,37(5):195-201. 被引量：14
3何雪锋.基于Pi验算的信息化系统流程研究与设计[J].电脑编程技巧与维护,2018(8):106-107.
4王国辉,许京然,刘永梅,施智平,关永.摄动开普勒问题形式化建模与验证[J].小型微型计算机系统,2020,41(2):440-444.
5江南,李清安,汪吕蒙,张晓瞳,何炎祥.机械化定理证明研究综述[J].软件学报,2020,31(1):82-112. 被引量：10
6陈琦,王国辉,张倩颖,施智平,陈善言,关永.平面并联机构的形式化建模与验证[J].小型微型计算机系统,2020,41(5):925-931. 被引量：2
7赵春娜,赵刚.函数极限的高阶逻辑形式化建模与验证[J].计算机学报,2020,43(11):2119-2133. 被引量：2
8张睿,张海峰,柴馨雪.基于共形几何代数的串联机器人误差建模方法[J].机电工程,2022,39(3):281-290. 被引量：2

1傅光全.汉传因明的形式化研究[J].哲学动态,2017(12):99-105.
2丁延军,孙苏华.新开发零部件的验证方法[J].安徽科技,2018(1):51-52. 被引量：1
3康漫,张杰,李晓娟,关永.基于高阶逻辑的定理证明方法及其对策的应用[J].计算机应用与软件,2017,34(11):6-12.
4张杰,王少超,关永.基于形式化方法的有限域乘法器的建模与验证[J].电子技术应用,2018,44(1):109-113. 被引量：4
5刘爱东.“用字母表示数”的历史演进及其数学价值[J].小学教学（数学版）,2017,0(12):52-54.
6李文军,杨春燕.基于事元理论的用户需要与产品功能的形式化研究[J].广东工业大学学报,2017,34(6):1-8. 被引量：10
7梁智超,王井科,雷友锋.航空发动机防火安全性设计与验证分析[J].航空发动机,2018,44(2):92-97. 被引量：9
8杜泽民,陈宜成.基于模型驱动的嵌入式软件需求验证研究[J].电子世界,2018,0(8):208-208. 被引量：2
9潘丽,罗丹,冯坤,陈虹.半自动容积测量法与容积计算法测量卵泡的效果比较[J].西南国防医药,2018,28(3):207-209.
10柴守江,傅铭,周青,沈晓峰,徐友刚.发、变电站不规则接地网接地参数计算方法研究[J].电力与能源,2018,39(2):139-141.

数学学习与研究

2018年第6期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部