巴斯蒂安·海仁;杰林,约翰;亚历克斯·格德斯 指定交互式练习的重写策略。 (英语) Zbl 1205.68184号 数学。计算。科学。 3,第3号,349-370(2010).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Heeren}等人,《数学》。计算。科学。3,第3号,349--370(2010;Zbl 1205.68184) 全文: 内政部
科恩,A.M。;H.库珀斯。;R.Verrijzer。 交互式文档中的数学上下文。 (英语) Zbl 1205.68489号 数学。计算。科学。 3,第3号,331-347(2010).MSC公司:68单位15 97单位50 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Cohen}等人,《数学》。计算。科学。3,第3号,331--347(2010;Zbl 1205.68489) 全文: 内政部
大卫·阿斯皮纳尔;丹尼·埃文;克里斯托夫·吕斯 分级证明的策略。 (英语) Zbl 1205.68359号 数学。计算。科学。 3,第3号,309-330(2010).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Aspinall}等人,数学。计算。科学。3,第3号,309--330(2010;Zbl 1205.68359) 全文: 内政部
海因里希·斯坦默约翰斯;迈克尔·科尔哈斯;德扬·基涅夫;大卫,加泰罗尼亚语;米勒,布鲁斯 将大量科学出版物转换为XML。 (英语) Zbl 1205.68490号 数学。计算。科学。 3,第3号,299-307(2010).MSC公司:68单位15 PDF格式BibTeX公司 XML格式引用 \textit{H.Stamerjohanns}等人,数学。计算。科学。3、编号3、299--307(2010;Zbl 1205.68490) 全文: 内政部
赤雄藤桥;铃木、Masakazu;内田圣一 基于无上下文树语法的数学公式识别的语法验证。 (英语) Zbl 1205.68338号 数学。计算。科学。 3,第3号,279-298(2010).MSC公司:68吨10 65年第68季度 68单位15 PDF格式BibTeX公司 XML格式引用 \textit{A.Fujiyoshi}等人,数学。计算。科学。3,第3号,279--298(2010;Zbl 1205.68338) 全文: 内政部
Zamłyńska,卡塔日纳;亚历克·塔科夫斯基;托马斯·罗西克 波兰虚拟科学图书馆数学藏书的演变。 (英语) Zbl 1205.01020号 数学。计算。科学。 3,第3号,265-278(2010).MSC公司:01A65号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{K.Zamłyn ska}等人,《数学》。计算。科学。3、编号3、265--278(2010;Zbl 1205.01020) 全文: 内政部
米贾伊洛维奇,日亚尔科;佐兰·奥格尼亚诺维奇;阿列克桑达尔·佩约维奇 塞尔维亚数学版本的数字化。 (英语) Zbl 1205.01018号 数学。计算。科学。 第3期,第3期,第251-263页(2010年).MSC公司:01A65号 PDF格式BibTeX公司 XML格式引用 \textit{.Mijajlović}等人,《数学》。计算。科学。3,第3号,251--263(2010;Zbl 1205.01018) 全文: 内政部 链接
恩里克·马西亚斯·维戈斯;德拉维斯卡,R。 西班牙的数字化项目。 (英语) 兹比尔1205.01017 数学。计算。科学。 3,第3号,243-250(2010).MSC公司:01A65号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{E.Macías-Virgós}和\textit{R.de La Viesca},数学。计算。科学。3、编号3、243--250(2010;Zbl 1205.01017) 全文: 内政部
蒂埃里·布什 数字数学图书馆:好的,坏的,丑的。 (英语) Zbl 1205.00069号 数学。计算。科学。 第3期,第3期,第227-241页(2010年).MSC公司:00A99号 01A65号 PDF格式BibTeX公司 XML格式引用 \textit{T.Bouche},数学。计算。科学。3,第3号,227--241(2010;Zbl 1205.00069) 全文: 内政部 arXiv公司
谢尔盖·奥特西尔(编辑);彼得·索伊卡(编辑);铃木、Masakazu(编辑) 数学知识的创作、数字化和管理专题前言。 (英语) Zbl 1205.68004号 数学。计算。科学。 第3期,第225-226页(2010年).MSC公司:68-06 68页 PDF格式BibTeX公司 XML格式引用 \textit{S.Autexier}(编辑)等人,《数学》。计算。科学。3,第3号,225--226(2010;Zbl 1205.68004) 全文: 内政部