科恩,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) 全文: 内政部 OA许可证
乔治·戈瓜泽 互动练习的表现。 (英语) Zbl 1247.97038号 Carette,Jacques(编辑)等人,《智能计算机数学》。2009年7月6日至12日,在加拿大大本德举行了2009年第16届Calculemus研讨会,2009年第8届MKM国际会议,作为2009年CICM的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02613-3/pbk)。计算机科学课程讲稿5625。人工智能课堂讲稿,294-309(2009)。MSC公司:97单位50 68立方英尺 68层35 97D60型 PDF格式BibTeX公司 XML格式引用 \文本{G.Goguadze},Lect。注释计算。科学。5625294--309(2009年;Zbl 1247.97038) 全文: 内政部