• 已选条件：
 全选  【符合条件的数据共：11条】

1 Mathematical Computations for Linked Data Applications with OpenMath [会议论文]

作者:Ken Wenzel, Heiner Reinhardt

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：2  ]    

2 PlanetMath/Planetary [会议论文]

作者:Joseph Corneli1, Mircea Alexandru Dumitru2

会议时间:

预览  |  原文链接  |  全文  [ 浏览：2 下载：1  ]    

3 Skills Text Box A Tool to Access Resources by Mathematical Concepts [会议论文]

作者:Paul Libbrecht

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：2  ]    

4 JBIG2 Supported by OCR [会议论文]

作者:Radim Hatlapatka

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：1  ]    

5 An XML-Format for Conjectures in Geometry (Work-in-Progress) [会议论文]

作者:Pedro Quaresma

会议时间:

预览  |  原文链接  |  全文  [ 浏览：12 下载：1  ]    

6 MathDox Select: A tool for creating SCORM packages from existing exercises [会议论文]

作者:Hans Cuypers, Jan Willem Knopper

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：0  ]