西尔维·博尔多;弗朗索瓦·克莱门特;Jean-Christophe Filliátre;米凯拉·梅耶罗;纪尧姆·梅尔金德;皮埃尔·韦斯 可信计算:从偏微分方程到实际程序的机械化证明。 (英语) Zbl 1369.35051号 计算。数学。申请。 68,第3期,325-352(2014).MSC公司:35问题35 6500万06 60年第68季度 65G20个 第68页第15页 65个M12 PDF格式BibTeX公司 XML格式引用 \textit{S.Boldo}等人,计算。数学。申请。68,第3号,325--352(2014;Zbl 1369.35051) 全文: 内政部 arXiv公司
李晓亮;牟、陈琪;王东明 将多项式集分解为有限域上的简单集:零维情况。 (英语) Zbl 1207.13017号 计算。数学。申请。 60,第11号,2983-2997(2010).MSC公司:13第05页 11T99型 PDF格式BibTeX公司 XML格式引用 \textit{X.Li}等人,计算。数学。申请。60,第11号,2983--2997(2010;Zbl 1207.13017) 全文: 内政部
姜云成;唐勇;陈启迈;王菊;唐素琴 用描述逻辑扩展软集。 (英语) Zbl 1189.68140号 计算。数学。申请。 59,第6期,2087-2096(2010).MSC公司:68层37 03E72型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Y.Jiang}等人,计算。数学。申请。59,第6号,2087--2096(2010;Zbl 1189.68140) 全文: 内政部
Kinyon,M.K。;菲利普斯,J.D。 矩形拟群和矩形环。 (英语) Zbl 1082.20043号 计算。数学。申请。 49,第11-12号,1679-1685(2005).MSC公司:20号05 20A05年 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.K.Kinyon}和\textit{J.D.Phillips},计算。数学。申请。49,编号11--121679--1685(2005;Zbl 1082.20043) 全文: 内政部 arXiv公司 链接
陈玉福;高小山 对合方向和新的对合划分。 (英语) 2010年10月18日Zbl 计算。数学。申请。 41,编号7-8,945-956(2001). 审核人:克里斯托弗·阿索恩(格拉斯哥) MSC公司:2005年12月 13页第10页 12H20型 2016年05月 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{Y.-F.Chen}和\textit{X.-S.Gao},计算。数学。申请。41,编号7--8,945--956(2001;Zbl 1018.12010) 全文: 内政部
马士龙;宁、舒城 导出了三次系统存在八个极限环的一些新条件。 (英语) Zbl 0874.65053号 计算。数学。申请。 33,第7号,59-84(1997).MSC公司:65升05 34C23型 34A34飞机 34二氧化碳 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.Ma}和\textit{S.Ning},计算。数学。申请。33,第7号,59--84(1997;Zbl 0874.65053) 全文: 内政部
陆正毅 Lotka-Volterra系统全局稳定性的计算机辅助证明。 (英语) Zbl 0887.34050号 计算。数学。申请。 31,第12号,49-59(1996). 审核人:A.Martynyuk(基辅) MSC公司:34D20型 92D25型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Lu},计算。数学。申请。31、第12号、第49-59号(1996;Zbl 0887.34050) 全文: 内政部
沃斯,L。 共振策略。 (英语) Zbl 0815.68090号 计算。数学。申请。 29,第2期,133-178(1995).MSC公司:第68页第15页 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{L.Wos},计算。数学。申请。29,第2号,133--178(1995;Zbl 0815.68090) 全文: 内政部
斯莱尼,J。;M.藤田。;Stickel,Mark E。 自动推理和穷举搜索:类群存在问题。 (英语) Zbl 0827.20083 计算。数学。申请。 29,第2期,115-132(1995). 审核人:E.Broíková(普拉哈) MSC公司:20号05 20-04 05B15号 第68页第15页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Slaney}等人,《计算》。数学。申请。29,No.2,115--132(1995;Zbl 0827.20083) 全文: 内政部
S.C.周。;高晓生。 计算机搜索帕斯卡圆锥曲线。 (英语) Zbl 0831.51003号 计算。数学。申请。 29,第2期,63-71页(1995年). 审核人:H.Germer(柏林) MSC公司:51-04 2015年11月51日 51N20号 PDF格式BibTeX公司 XML格式引用 \textit{S.C.Chou}和\textit{X.S.Gao},计算。数学。申请。29,第2号,63--71(1995;Zbl 0831.51003) 全文: 内政部
帕德马纳班,R。;麦库恩,W。 三次曲线的自动推理。 (英语) Zbl 0828.68110号 计算。数学。申请。 第29页,第2期,第17-26页(1995年). 审核人:J.R.Sendra(马德里) MSC公司:第68页第15页 2005年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Padmanabhan}和\textit{W.McCune},计算。数学。申请。29,No.2,17--26(1995;Zbl 0828.68110) 全文: 内政部
帕德马纳班,R。;W.麦库恩。 三元布尔代数的单恒等式。 (英语) Zbl 0811.06013号 计算。数学。申请。 29,第2期,第13-16页(1995年).MSC公司:99年6月 第68页第15页 06-04 PDF格式BibTeX公司 XML格式引用 \textit{R.Padmanabhan}和\textit{W.McCune},计算。数学。申请。29,No.2,13--16(1995;Zbl 0811.06013) 全文: 内政部
K.库恩。 指数为4的群的最短单公理。 (英语) Zbl 0820.20001号 计算。数学。申请。 29,第2期,第1-12页(1995年). 审核人:B.H.Neumann(堪培拉) MSC公司:20A05年 20-04 第68页第15页 20E10年 20层50 PDF格式BibTeX公司 XML格式引用 \textit{K.Kunen},计算。数学。申请。29,No.2,1--12(1995;Zbl 0820.20001) 全文: 内政部 链接
安东尼·科恩(Anthony G.Cohn)。 正在完成排序层次结构。 (英语) Zbl 0794.68138号 计算。数学。申请。 23,编号6-9,477-491(1992).MSC公司:第68页第15页 第68页第27页 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{A.G.Cohn},计算。数学。申请。23,编号6--9,477--491(1992;Zbl 0794.68138) 全文: 内政部
大卫·A·兰德尔。;安东尼·科恩(Anthony G.Cohn)。 在空间和时间理论中利用格。 (英语) Zbl 0794.68147号 计算。数学。申请。 23,编号6-9,459-476(1992).MSC公司:第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Randell}和\textit{A.G.Cohn},计算。数学。申请。23,编号6--9,459--476(1992;Zbl 0794.68147) 全文: 内政部
尼克·塞尔科内;兰迪·戈贝尔;约翰·德·哈恩;斯蒂芬妮·谢弗 ECO系列。 (英语) Zbl 0800.68873号 计算。数学。申请。 23,编号2-5,95-131(1992).MSC公司:68立方英尺 68问题55 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Cercone}等人,计算。数学。申请。23,编号2--5,95-131(1992;Zbl 0800.68873) 全文: 内政部
格拉芙,T。;Van Hentenryck,P。;Pradelles-Lasserre,C。;齐默尔,L。 约束逻辑编程中混合电路的仿真。 (英语) Zbl 0728.68144号 计算。数学。申请。 20,编号9-10,45-56(1990).MSC公司:68单位99 68单位07 PDF格式BibTeX公司 XML格式引用 \textit{T.Graf}等人,计算。数学。申请。20,编号9--10,45-56(1990;Zbl 0728.68144) 全文: 内政部