×

找到40个文档（结果1-40）

最新的 引文 关联
贾斯珀·纳尔巴赫;艾丽卡·阿尔布拉汉姆;菲利普·斯佩克特;克里斯托弗·布朗（Christopher W.Brown）。;詹姆斯·H·达文波特。;英格兰，马修

单个圆柱形代数单元的水平构造。 （英语） Zbl 07799840号

J.塞姆。计算。 123，文章ID 102288，44页（2024）.
MSC公司：68瓦xx 68泰克 03Cxx号
PDF格式BibTeX公司 XML格式引用
\textit{J.Nalbach}等人，J.Symb。计算。123，文章ID 102288，44 p.（2024；Zbl 07799840）
全文： 内政部 arXiv公司
克里斯托弗·布朗（Christopher W.Brown）。;佐尔坦科瓦奇;雷西奥，托马斯;洛伯特·瓦伊达;维莱兹，M.Pilar

计算机代数准备好在课堂上猜测和证明几何不等式了吗？ （英语） Zbl 07700011号

数学。计算。科学。 16，第4号，第31号论文，第14页（2022年）.
MSC公司：97G40型 14H50型 03B35型 68吨15 68伏15 2014年第30季度 2016年11月51日 51-04 51-08
PDF格式BibTeX公司 XML格式引用
\textit{C.W.Brown}等人，数学。计算。科学。16，第4号，第31号论文，第14页（2022；Zbl 07700011）
全文： 内政部
伦巴第，亨利;丹尼尔·佩鲁奇;玛丽·弗朗索瓦斯·罗伊

有效正解和希尔伯特第17问题的初等递归界。 （英语） Zbl 1465.14001号

美国数学学会回忆录1277.普罗维登斯，RI:美国数学学会（AMS）（ISBN 978-1-470-44108-1/pbk；978-1-4740-5662-7/电子书）。v、 125页。(2020).
审核人：亚历山大·科瓦切克（科英布拉）
MSC公司：14-02 第12天15 第14页99 13J30型 65楼03号
PDF格式BibTeX公司 XML格式引用
\textit{H.Lombardi}等人，有效正解的初等递归界和Hilbert的第17个问题。普罗维登斯，RI:美国数学学会（AMS）（2020；Zbl 1465.14001）
全文： 内政部 arXiv公司
约翰·马考斯基（Johann A.Makowsky）。

可以设计几何引擎吗？可以设计几何引擎吗？关于某些仿射欧几里德几何的（不）可判定性。 （英语） Zbl 1439.03033号

安。数学。Artif公司。智力。 85，编号2-4，259-291（2019）.
审核人：维克托·潘布奇（格伦代尔）
MSC公司：03B25号 03天35分 2005年5月5日
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Makowsky}，Ann.数学。Artif公司。智力。85，编号2--4，259--291（2019；Zbl 1439.03033）
全文： 内政部 arXiv公司
彼得·沃伊切霍夫斯基;帕夫洛斯·艾里纳基斯;苏布拉马尼，K。

勘误表：“分析线性算术理论的受限片段”。 （英语） Zbl 1393.68054号

安。数学。Artif公司。智力。 79，第4期，371-392（2017）.
MSC公司：2015年第68季度 2015年3月1日 90C05（二氧化碳）
PDF格式BibTeX公司 XML格式引用
\textit{P.Wojciechowski}等人，《数学年鉴》。Artif公司。智力。79，第4号，371--392（2017；Zbl 1393.68054）
全文： 内政部
丹尼尔·佩鲁奇;玛丽·弗朗索瓦斯·罗伊

基于Thom编码和符号确定的基本递归量词消除。 （英语） Zbl 1373.14060号

Ann.纯粹应用。逻辑 168，第8期，1588-1604（2017）.
审核人：Pawe Gładki（卡托维兹）
MSC公司：第14页 03C10号机组 2014年第20季度 第12天15
PDF格式BibTeX公司 XML格式引用
\textit{D.Perrucci}和\textit{M.-F.Roy}，Ann.纯粹应用。逻辑168，No.8，1588--1604（2017；Zbl 1373.14060）
全文： 内政部 arXiv公司
彼得·沃伊切霍夫斯基;帕夫洛斯·艾里纳基斯;苏布拉马尼，K。

分析线性算术理论的限制片段。 （英语） Zbl 1390.68318号

安。数学。Artif公司。智力。 79，编号1-3245-266（2017）; 勘误表同上79，第4号，371-392（2017）。
MSC公司：2015年第68季度 2015年3月1日 90C05（二氧化碳）
PDF格式BibTeX公司 XML格式引用
\textit{P.Wojciechowski}等人，《数学年鉴》。Artif公司。智力。79，编号1--3，245--266（2017；Zbl 1390.68318）
全文： 内政部
梅德利纳·埃拉什库

特殊实量词消除的高效简化技术及其在优化数值算法综合中的应用。 （英语） Zbl 1453.12002年

Gerdt，Vladimir P.（编辑）等人，《科学计算中的计算机代数》。2016年9月19-23日在罗马尼亚布加勒斯特举行的2016年中国社会科学院第18届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9890193-211（2016）中所述。
MSC公司：12-08 03C10号机组 65H10型
PDF格式BibTeX公司 XML格式引用
\textit{M.Erašcu}，莱克特。注释计算。科学。9890193-211（2016年；兹bl 1453.12002）
全文： 内政部
马克西米利安·亚罗斯切克;巴勃罗·费德里科·多巴尔;帕斯卡·方丹

采用实量词消除方法进行冲突集计算。 （英语） Zbl 1471.68248号

Lutz，Carsten（编辑）等人，《组合系统的前沿》。第十届国际研讨会，FroCoS 2015，波兰弗罗茨瓦夫，2015年9月21-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9322, 151-166 (2015).
MSC公司：68T20型 03B25号 03C10号机组
PDF格式BibTeX公司 XML格式引用
\textit{M.Jaroschek}等人，Lect。注释计算。科学。9322，151--166（2015；Zbl 1471.68248）
全文： 内政部 arXiv公司 哈尔
詹姆斯·H·达文波特。;英格兰，马修

真实几何推理的最新进展。 （英语） Zbl 1434.68701号

Botana，Francisco（编辑）等人，《几何中的自动演绎》。2014年7月9日至11日在葡萄牙科英布拉举行的ADG 2014第十届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9201, 37-52 (2015).
MSC公司：68瓦30 03B35型 03G15年
PDF格式BibTeX公司 XML格式引用
\textit{J.H.Davenport}和\textit{M.英格兰}，莱克特。注释计算。科学。9201,37-52（2015；Zbl 1434.68701）
全文： 内政部 arXiv公司
佛罗里达州科齐留斯;艾丽卡·阿尔布拉汉姆

SMT求解的虚拟替代。 （英语） Zbl 1342.68282号

Owe，Olaf（编辑）等人，《计算理论基础》。2011年8月22日至25日在挪威奥斯陆举行的FCT 2011第18届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22952-7/pbk）。计算机科学课堂讲稿6914，360-371（2011）。
MSC公司：68吨15 03B20型 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{F.Corzilius}和\textit{E.ábrahám}，莱克特。注释计算。科学。6914，360-371（2011；Zbl 1342.68282）
全文： 内政部
帕斯莫尔，格兰特·奥尼;保罗·B·杰克逊。

现实存在论的组合决策技术。 （英语） Zbl 1247.03018号

Carette，Jacques（编辑）等人，《智能计算机数学》。2009年7月6日至12日，在加拿大大本德举行了2009年第16届Calculemus研讨会，2009年第8届MKM国际会议，作为2009年CICM的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02613-3/pbk）。计算机科学课程讲稿5625。人工智能课堂讲稿，122-137（2009）。
MSC公司：03B35型 03B25号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{G.O.Passmore}和\textit{P.B.Jackson}，莱克特。注释计算。科学。5625122-137（2009年；Zbl 1247.03018）
全文： 内政部 链接
梅·盖尔克;弗拉基克·克里诺维奇;伯纳黛特·布琼·梅尼尔

命题模糊逻辑：某些（代数）算子的可判定性；对于更复杂的情况，无法确定。 （英语） Zbl 0942.03036号

《国际情报杂志》。系统。 14，第9期，935-947（1999）.
审核人：M.Matłoka（波兹南）
MSC公司：03B52号 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{M.Gehrke}等人，《国际情报杂志》。系统。14，第9号，935--947（1999；Zbl 0942.03036）
全文： 内政部
乔斯·海因茨;玛丽·弗朗索瓦斯·罗伊;巴勃罗·索勒诺

关于塔斯基-赛登堡原理的复杂性。（塔尔斯基-塞登堡原则综合报告） （法语） Zbl 0767.03017号

牛市。社会数学。法语。 118，No.1，101-126（1990）.
MSC公司：03C10号机组 14国道25号 65年第68季度 03C60型 12升12
PDF格式BibTeX公司 XML格式引用
\textit{J.Heintz}等人，公牛。社会数学。Fr.118，No.1，101--126（1990；Zbl 0767.03017）
全文： 内政部 Numdam编号 欧洲DML

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件