菲利普·托德;Aley和Danny 创建新几何证明问题的程序。 (英语) Zbl 1530.68272号 安。数学。Artif公司。智力。 91,第6号,779-795(2023).MSC公司:68伏99 05元50分 51-04 2004年5月5日 68T20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{P.Todd}和\textit{D.Aley},Ann.数学。Artif公司。智力。91,第6号,779--795(2023;Zbl 1530.68272) 全文: 内政部
菲利普·托德 角度定理的自动发现。 (英语) Zbl 1530.15025号 安。数学。Artif公司。智力。 91,编号6,753-778(2023).MSC公司:15A99号 05元50分 2004年5月5日 68伏99 PDF格式BibTeX公司 XML格式引用 \textit{P.Todd},Ann.数学。Artif公司。智力。91,编号6,753--778(2023;Zbl 1530.15025) 全文: 内政部 OA许可证
安蒂奇,克里斯蒂安 类似比例。 (英语) Zbl 1490.68175号 安。数学。Artif公司。智力。 90,第6号,595-644(2022).MSC公司:68T01型 08A70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Antić},Ann.数学。Artif公司。智力。90,第6号,595--644(2022;Zbl 1490.68175) 全文: 内政部 arXiv公司
马努埃勒·莱昂内利;伊娃·里科马尼奥;吉姆·Q·史密斯。 用于计算乘法影响图中预期效用的符号代数。 (英语) 兹比尔1423.68508 安。数学。Artif公司。智力。 81,第3-4、273-313号(2017).MSC公司:68层37 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Leonelli}等人,《数学年鉴》。Artif公司。智力。81,编号3--4,273--313(2017;Zbl 1423.68508) 全文: 内政部 arXiv公司
加布里埃尔·克恩·伊斯伯纳;马可·威廉;克里斯托夫·贝尔 使用最大熵原理和Gröbner基理论的概率知识表示。 (英语) Zbl 1420.68203号 安。数学。Artif公司。智力。 79,编号1-3,163-179(2017).MSC公司:68立方英尺 13页第10页 68T27型 68层37 94甲17 PDF格式BibTeX公司 XML格式引用 \textit{G.Kern-Isberner}等人,《数学年鉴》。Artif公司。智力。79,编号1--3,163-179(2017;Zbl 1420.68203) 全文: 内政部
乔治·H·L·弗莱彻。;马克·吉森;德克·伦德斯;Van den Bussche,简;德克·范·古赫特;斯迪恩·范萨梅伦;吴玉清 传递闭包对导航查询语言在未标记图上的表达能力的影响。 (英语) Zbl 1319.68070号 安。数学。Artif公司。智力。 73,第1-2号,167-203(2015).MSC公司:第68页,共15页 03C07号机组 05C60型 68兰特 PDF格式BibTeX公司 XML格式引用 \文本{G.H.L.Fletcher}等人,Ann.Math。Artif公司。智力。73,编号1--2,167-203(2015;Zbl 1319.68070) 全文: 内政部
克里斯托弗·杰斐逊;彼得·杰文斯;格林,马丁·J。;van Dongen,M.R.C。 使用多项式系统表示和求解有限域约束问题。 (英语) Zbl 1272.68327号 安。数学。Artif公司。智力。 67,编号3-4,359-382(2013).MSC公司:68卢比 13页第10页 13第25页 PDF格式BibTeX公司 XML格式引用 \textit{C.Jefferson}等人,Ann.Math。Artif公司。智力。67,编号3--4,359--382(2013;Zbl 1272.68327) 全文: 内政部 链接
雅克·卡梅特 计算机代数与数学和物理的关系前言。 (英语) Zbl 1258.68186号 安。数学。Artif公司。智力。 64,第4期,337-342(2012).MSC公司:68瓦30 68号01 00A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.Calmet},Ann.数学。Artif公司。智力。64,第4号,337--342(2012;Zbl 1258.68186) 全文: 内政部
安德烈亚斯·迪斯特勒;汤姆·凯尔西 八阶、九阶和十阶的幺半群。 (英语) Zbl 1204.20075 安。数学。Artif公司。智力。 56,第1期,3-21(2009).MSC公司:20个M10 68瓦30 2015年5月 20-04 PDF格式BibTeX公司 XML格式引用 \textit{A.Distler}和\textit{T.Kelsey},安.数学。Artif公司。智力。56,第1号,第3--21号(2009;Zbl 1204.20075) 全文: 内政部
马蒂·Järvisalo;汤米·琼蒂拉;伊尔卡·尼梅尔 布尔电路表方法中的无限制切割与限制切割。 (英语) Zbl 1086.03048号 安。数学。Artif公司。智力。 44,第4期,373-399(2005).MSC公司:20层03 68吨15 68T20型 03B70号 94立方厘米 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Järvisalo}等人,《数学年鉴》。Artif公司。智力。44,编号4373-399(2005年;兹bl 1086.03048) 全文: 内政部
J.奥德尔斯塔德。;博曼,M。 代理规范调整代数。 (英语) Zbl 1059.68130号 安。数学。Artif公司。智力。 42,编号1-3,141-166(2004).MSC公司:68T27型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Odelstad}和\textit{M.Boman},Ann.数学。Artif公司。智力。42,编号1--3,141-166(2004;Zbl 1059.68130) 全文: 内政部
Farmer,William M。;马丁·冯·莫伦柴尔德 管理数学的正式框架概述。 (英语) Zbl 1038.03013号 安。数学。Artif公司。智力。 38,编号1-3,165-191(2003).MSC公司:03B35型 68瓦30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer}和\textit{M.von Mohrenschild},Ann.数学。Artif公司。智力。38,编号1--3,165-191(2003;Zbl 1038.03013) 全文: 内政部
丹尼尔·洛泽尔(Daniel W.Lozier)。 NIST数学函数数字图书馆。 (英语) Zbl 1019.65001号 安。数学。Artif公司。智力。 38,编号1-3,105-119(2003).MSC公司:33-00 33层99 65D20个 65日元 PDF格式BibTeX公司 XML格式引用 \textit{D.W.Lozier},Ann.数学。Artif公司。智力。38,编号1--3,105-119(2003;Zbl 1019.65001) 全文: 内政部