Automatic Construction of Finite Algebras-中国期刊网

摘要 Thispaperdealswithmodelgenerationforequationaltheories,i.e.,automaticallygenerating(finite)modelsofagivensetof(logical)equations.Ourmethodoffinitemodelgenerationandatoolforautomaticconstructionoffinitealgebrasisdescribed.Someexamplesaregiventoshowtheapplicationsofourprogram.Wearguethat,thecombinationofmodelgeneratorsandtheoremproversenablesustogetabetterunderstandingoflogicaltheories.Abriefcomparisonbetwweenourtoolandothersimilartoolsisalsopresented.

1Jin Yun GUO;Ai Hua LI;Qiu Xian WU. Selfinjective Koszul Algebras of Finite Complexity.基础数学,2009-12.
2Zhang Tianlei;Zhang Xinyu;Guo Mu. KeEL： knowledge enhanced entity linking in automatic biography construction.通信与信息系统,2015-01.
3Nan GAO. The Relative Transpose Finite Artin over Cohen-Macaulay Algebras.基础数学,2009-03.
4Jun Hu;Shangyou Zhang. A CANONICAL CONSTRUCTION OF H^m-NONCONFORMING TRIANGULAR FINITE ELEMENTS.基础数学,2017-03.
5WU Zhi-xiang. Nichols algebras over weak Hopf algebras.基础数学,2018-01.
6黄胜;敖翔;李媛媛;张睿. Construction method of QC-LDPC codes based on multiplicative group of finite field in optical communication.物理电子学,2016-05.
7钟登华;佟大威. 3D Finite Element Simulation of Tunnel Boring Machine Construction Processes in Deep Water Conveyance Tunnel.高等教育学,2009-02.
8胡迪. Automatic Reading.教育学,2007-09.
9Jie FANG;Zhong Ju SUN. A Subclass of Ockham Algebras.基础数学,2012-10.
10FANGJIE. SIMPLE OCKHAM ALGEBRAS.基础数学,1996-02.

Automatic Construction of Finite Algebras

来源期刊

相关推荐

同分类资源更多

相关关键词

Automatic Construction of Finite Algebras

来源期刊

相关推荐

同分类资源 更多

相关关键词

同分类资源更多