×

找到518个文档(结果1-100)

数学和ChatGPT。技术奇点脚下的会合点。(Mathematik und ChatGPT.Ein Rendezvous am Fuße der technologischen Singularität.) (德语) Zbl 07796262号

柏林:施普林格演讲(ISBN 978-3-662-68208-1/pbk;978-3-562-68209-8/电子书)。xiv,第290页。(2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

应用数学和计算机科学与系统的当前问题,APAMCS。根据2022年俄罗斯斯塔夫罗波尔会议上的发言选出的论文。 (英语) Zbl 07760544号

网络与系统课程讲稿702.查姆:施普林格(ISBN 978-3-031-34126-7/pbk;978-3-331-34127-4/电子书)。xiii,第522页。(2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算机是一种新颖的数学现实。一: 个人账户。 (英语。俄文原件) Zbl 1519.01027号

多克。数学。 107,编号2,130-141(2023); 翻译自Komp'yut。仪器。奥布拉佐万。2020年,第2期,第5-27页(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

编程会促进几何中“GeoGebra”的使用吗? (英语) Zbl 1524.68455号

PDF格式BibTeX公司 XML格式引用
全文: 内政部

自动生成用于自动扣除的考试表。 (英语) Zbl 1485.68283号

Kamaredine,Fairouz(编辑)等人,《智能计算机数学》。2021年7月26日至31日,罗马尼亚蒂米苏拉第十四届国际会议,CICM 2021。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12833, 185-196 (2021).
MSC公司:68伏15 97天60
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

学术界的高级LaTeX。在研究和教育中的应用。 (英语) Zbl 1491.68005号

查姆:施普林格(ISBN 978-3-030-88955-5/hbk;978-3-0.30-88958-6/pbk;978-10-88956-2/电子书)。xi,第239页。(2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用GeoGebra的圆环体和二次曲面相交。 (英语) Zbl 1464.68418号

Cheng,Liang-Yee(编辑),ICGG 2020–第19届几何和图形国际会议论文集,巴西圣保罗,2021年1月18日至22日。查姆:斯普林格。高级集成电路。系统。计算。1296, 484-493 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

大圆对构建可伸缩多面体的贡献。 (英语) Zbl 1461.00060号

Cheng,Liang-Yee(编辑),ICGG 2020–第19届几何和图形国际会议论文集,巴西圣保罗,2021年1月18日至22日。查姆:斯普林格。高级集成电路。系统。计算。1296, 430-445 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

枫叶在数学教育和研究方面。2019年10月15日至17日,加拿大安大略省滑铁卢,第三届枫叶会议,MC 2019。诉讼程序。 (英语) Zbl 1468.65002号

计算机与信息科学中的通信1125.查姆:施普林格(ISBN 978-3-030-41257-9/pbk;978-3-0030-41258-6/电子书)。xi,第363页。(2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Automata Tutor v3。 (英语) Zbl 1478.97002号

Lahiri、Shuvendu Kumar(编辑)等人,《计算机辅助验证》。第32届国际会议,CAV 2020,美国加利福尼亚州洛杉矶,2020年7月21日至24日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12225, 3-14 (2020).
PDF格式BibTeX公司 XML格式引用

数据集描述:Mizar初等数论的形式化。 (英语) Zbl 1455.68259号

Benzmüller,Christoph(编辑)等人,《智能计算机数学》。第十三届国际会议,CICM 2020,意大利贝蒂诺罗,2020年7月26-31日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12236, 303-308 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

框架IT:在严肃游戏中从游戏设计中分离知识管理。 (英语) Zbl 1455.68266号

Benzmüller,Christoph(编辑)等人,《智能计算机数学》。第十三届国际会议,CICM 2020,意大利贝蒂诺罗,2020年7月26-31日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12236, 173-189 (2020).
MSC公司:68伏30 97U70型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

OntoMath:一个基于语言的教育数学本体论。 (英语) Zbl 1455.68265号

Benzmüller,Christoph(编辑)等人,《智能计算机数学》。第十三届国际会议,CICM 2020,意大利贝蒂诺罗,2020年7月26-31日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12236, 157-172 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

虚拟测角仪:一种测量碎片骨和结石三维模型角度的新方法。 arXiv:2011.04898年

预印本,arXiv:2011.04898[math.NA](2020)。
MSC公司:68瓦99 97兰特 68单位05 65天18分
BibTeX公司 引用
全文: arXiv公司

数学研究和教学中的证明技术。 (英语) Zbl 1451.97008号

数字时代的数学教育14.查姆:施普林格(ISBN 978-3-030-28482-4/hbk;978-3-0.30-28485-5/pbk;988-3-030-28483-1/电子书)。viii,第379页。(2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

计算科学导论。引言由罗伯特·范德贝撰写。 (英语) Zbl 1425.65001号

运筹学与管理科学国际系列278.查姆:施普林格(ISBN 978-3-030-15677-0/hbk;978-3-0030-15679-4/电子书)。十六、470页。(2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用R进行多级建模。第二次修订和更新版本。 (英语) Zbl 1418.62004号

查普曼和霍尔/CRC社会和行为科学系列统计佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-138-48071-1/hbk;978-1-138-148067-4/pbk;968-1-351-06226-8/电子书)。九、242页。(2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

学生介绍Mathematica和Wolfram语言。第三版。 (英语) Zbl 1409.00005号

剑桥:剑桥大学出版社(ISBN 978-1-108-40636-9/pbk;978-1-108-19093-7/电子书)。xiii,534页。(2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

几何代数计算导论。 (英语) Zbl 1397.00009号

佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-4987-4838-4/hbk;978-0-367-57132-0/pbk)。十八、193页。(2019).
PDF格式BibTeX公司 XML格式引用

教学工具中的计算关系代数证明CalcCheck(计算检查). (英语) Zbl 1462.68216号

Desharnais,Jules(编辑)等人,《计算机科学中的关系和代数方法》。第17届国际会议,RAMiCS 2018,荷兰格罗宁根,2018年10月29日至11月1日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11194, 366-384 (2018).
MSC公司:68伏15 97U70型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

将建模和分析课堂讲稿中的数学内容形式化。 (英语) Zbl 1418.97001号

弗洛里安·拉贝(编辑)等人,《智能计算机数学》。2018年8月13日至17日,第11届国际会议,CICM 2018,奥地利哈根堡。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11006, 125-130 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

CalcCheck:用于教授“离散数学的逻辑方法”的校对程序。 (英语) Zbl 1462.68215号

Avigad,Jeremy(编辑)等,交互式定理证明。2018年7月9日至12日在英国牛津举行的2018年第九届国际会议ITP,作为联邦逻辑会议的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10895, 324-341 (2018).
MSC公司:68伏15 97U70型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于在数学电子学习系统中编写教材的智能编辑器。 (英语) Zbl 1396.97030号

Davenport,James H.(编辑)等人,《数学软件——ICMS 2018》。第六届国际会议,美国印第安纳州南本德,2018年7月24日至27日。诉讼程序。商会:施普林格出版社(ISBN 978-3-319-96417-1/pbk;978-3-319-96418-8/电子书)。计算机科学课堂讲稿10931,431-437(2018)。
MSC公司:97U70型 68单位35
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于互联网的新型动态数学系统。 (英语) Zbl 1395.97004号

Davenport,James H.(编辑)等人,《数学软件–ICMS 2018》。第六届国际会议,2018年7月24日至27日,美国印第安纳州南本德。诉讼程序。查姆:施普林格(ISBN 978-3-319-96417-1/pbk;978-3-3169-96418-8/电子书)。计算机科学课堂讲稿10931389-396(2018)。
MSC公司:97U70型 68单位35
PDF格式BibTeX公司 XML格式引用
全文: 内政部

顺从! (英语、德语、法语、意大利语、俄语) 1390.00009兹罗提

Springer视频MATH柏林:施普林格出版社(ISBN 978-3-662-56399-1/NTSC;978-3-319-73473-6/PAL)。DVD(15分钟)(2018年)。
PDF格式BibTeX公司 XML格式引用

通过(\ell_1,\ell_0)和变换惩罚学习稀疏神经网络的松弛变量分裂方法的收敛性。 arXiv:1812.05719

预印本,arXiv:1812.05719[math.OC](2018)。
MSC公司:90C26型 97R40型 68T05型
BibTeX公司 引用
全文: arXiv公司

基于大数据的数学大学低年级课程及格率优化方法。 arXiv:1809.09724

预印本,arXiv:1809.09724[econ.GN](2018)。
BibTeX公司 引用
全文: arXiv公司

将动态几何软件和图形处理单元结合在一起。 arXiv:1808.04579

预印本,arXiv:1808.04579[cs.MS](2018)。
BibTeX公司 引用
全文: arXiv公司

从数学输入的线性字符串中预测数学公式的算法。 (英语) Zbl 1395.97002号

Kotsireas,Ilias S.(编辑)等人,《计算机代数的应用》,希腊卡拉马塔,2015年7月20日至23日。查姆:施普林格(ISBN 978-3-319-56930-7/hbk;978-3-3169-56932-1/电子书)。《Springer Proceedings in Mathematics&Statistics》198、137-148(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从前有一个算法。故事如何解释计算。 (英语) Zbl 1511.00001号

马萨诸塞州剑桥:麻省理工学院出版社(ISBN 978-0-262-03663-4/hbk;978-0-262/54529-7/pbk)。xii,319页。(2017).
PDF格式BibTeX公司 XML格式引用

构建数学证明的基于辩论的学习游戏。 (英语) Zbl 1491.68197号

安东努奇(Antonucci)、亚历山德罗(Alessandro)等,《不确定性推理的符号和定量方法》。2017年7月10日至14日,第14届欧洲会议,ECSQARU 2017,瑞士卢加诺。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10369, 36-45 (2017).
MSC公司:68T27型 97立方
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用Aspen Plus进行随机流程优化。 (英语) Zbl 1375.90005号

佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-4987-8510-5/hbk;978-1-4977-8511-2/电子书)。十七、223页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 链接

认知和复杂性。 (英语) Zbl 1388.00014号

Burgin,Mark(编辑)等人,《信息与复杂性》。新泽西州哈肯萨克:世界科学(ISBN 978-981-3109-02-5/hbk;978-981-3 109-04-9/电子书)。《信息研究世界科学丛书》6,338-352(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

交互式数值分析。了解taramath的基础知识、探索模型和应用方法。(Numerik interaktiv.Grundlagen verstehen,Modelle erfschen und Verfahren anwenden mit taramath) (德语) Zbl 1358.65002号

海德堡:施普林格演讲(ISBN 978-3-662-52939-3/pbk;978-3-62-52940-9/电子书)。xiv,第252页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从KeTpic到KeTCindy的图形编程风格。 (英语) Zbl 1434.68623号

Greuel,Gert-Martin(编辑)等人,《数学软件——ICMS 2016》。第五届国际会议,德国柏林,2016年7月11-14日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9725, 386-393 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

KeTCindy在教育中的实际使用。 (英语) Zbl 1434.68607号

Greuel,Gert-Martin(编辑)等人,《数学软件——ICMS 2016》。第五届国际会议,德国柏林,2016年7月11-14日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9725, 342-350 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件