×

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

最新的 引文 关联
乔里斯·范德霍温;格雷戈伊尔Lecerf;丹尼斯·劳克斯

编辑数学公式时保持语法正确性。 （英语） Zbl 1383.68095号

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，459-471（2017）。
MSC公司：68单位15 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{J.van der Hoeven}等人，Springer Proc。数学。Stat.198，459--471（2017；Zbl 1383.68095）
全文： 内政部 哈尔
马西米利亚诺·古比内利;乔里斯·范德霍温;弗朗索瓦州普兰;丹尼斯·劳克斯

GNU TeX\（_{\mathrm{MACS}}\）朝向科学办公套件。 （英语） Zbl 1434.68632号

Hong，Hoon（编辑）等人，《数学软件——ICMS 2014》。第四届国际会议，韩国首尔，2014年8月5日至9日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8592, 562-569 (2014).
MSC公司：68单位15 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{M.Gubinelli}等人，Lect。注释计算。科学。8592，562——569（2014年；兹比尔1434.68632）
全文： 内政部
费尔鲁兹Kamareddine;威尔斯，J.B。

用MathLang计算数学课文。 （英语） Zbl 1277.68288号

Ayala-Rincón，M.（ed.）等人，《逻辑和语义框架及其应用第二次研讨会论文集》（LSFA 2007），巴西乌罗普雷托，2007年8月28日至29日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记205，5-30（2008）。
MSC公司：68单位15 第68页第15页 68立方英尺 68-02
PDF格式BibTeX公司 XML格式引用
\textit{F.卡马雷丁}和\textit{J.B.威尔斯}，电子。注释Theor。计算。科学。205，5--30（2008；Zbl 1277.68288）
全文： 内政部
多米尼克·迪特里希;埃瓦里斯特·舒尔茨;马克·瓦格纳

通过交互式证明结构和文本编辑器中的验证来编写验证过的文档。 （英语） Zbl 1166.68342号

Autexier，Serge（编辑）等人，《智能计算机数学》。2008年7月28日至8月1日，在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85109-7/pbk）。计算机科学课堂讲稿5144。人工智能课堂讲稿，398-414（2008）。
MSC公司：第68页第15页 60年第68季度 68单位15
PDF格式BibTeX公司 XML格式引用
\textit{D.Dietrich}等人，Lect。注释计算。科学。5144398--414（2008年；Zbl 1166.68342）
全文： 内政部
马克·瓦格纳;谢尔盖·奥特西尔;克里斯托夫·本兹穆勒

小块地{\（\Omega\）}：文本编辑器和证据辅助系统之间的中介。 （英语） Zbl 1278.68284号

Autexier，Serge（编辑）等人，第七届定理证明器用户界面研讨会论文集（UITP 2006），西雅图，华盛顿州，美国，2006年8月21日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第2期，87-107（2007）。
MSC公司：第68页第15页 68立方英尺 68单位15
PDF格式BibTeX公司 XML格式引用
\textit{M.Wagner}等人，《电子》。注释Theor。计算。科学。174，第2号，87--107（2007；Zbl 1278.68284）
全文： 内政部
谢尔盖·奥特西尔;阿明·菲德勒;托马斯·诺伊曼;马克·瓦格纳

在将科学文本编辑器与证据辅助系统集成时，支持用户定义的符号。 （英语） Zbl 1202.68372号

Kauers，Manuel（编辑）等人，《走向机械化数学助手》。2007年6月27日至30日，第14次研讨会，2007年Calculemus，第6次国际会议，2007年MKM，奥地利哈根堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73083-5/pbk）。计算机科学课堂讲稿4573。人工智能课堂讲稿，176-190（2007）。
MSC公司：第68页第15页 68单位15
PDF格式BibTeX公司 XML格式引用
\textit{S.Autexier}等人，Lect。注释计算。科学。4573、176--190（2007年；Zbl 1202.68372）
全文： 内政部
约格·西克曼;克里斯托夫·本兹穆勒

\（Omega）MEGA：计算机支持的数学。 （英语） Zbl 1132.68682号

Biundo，Susanne（编辑）等人，KI 2004：人工智能进展。第27届德国AI年会，KI 2004，德国乌尔姆，2004年9月20日至24日，会议记录。柏林：施普林格出版社（ISBN 978-3-540-23166-0/pbk）。计算机科学课堂讲稿3238。人工智能课堂讲稿，3-28（2004）。
MSC公司：第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{J.Siekmann}和\textit{C.Benzmüller}，莱克特。注释计算。科学。3238，3--28（2004；Zbl 1132.68682）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件