数学网络搜索

此软件的关键字
zbMATH中的参考文献(参考文献 20条 , 2标准条款 )
阿塔瓦,O.M。; Serebryakov,弗吉尼亚州。; Tuchkova,N.P.:数理分支:识别混合型方程(2019) 吉迪,费鲁乔; Sacerdoti Coen,Claudio:数学知识检索调查(2016) 科哈塞,迈克尔; 拉贝,弗洛里安:QED重新加载:走向多元形式的数学知识库(2016) 卢日尼卡、恩塞尔; Kohlhase,Michael:整数序列在线百科全书中的公式语义化和自动关系查找(2016) 弗洛里安·拉贝:《逻辑的未来:基金会独立》(2016) 考尔,霍华德S。; 舒博茨,莫里茨; 麦克莱恩,马乔里A。; 桑德斯,博尼塔五世。; 邹雪莉。; 穆罕默德,阿泽姆S。; Danoff,Alex A.:利用通用资源发展数学公式的数字存储库(2015) 安库,米娜; Kohlhase,Michael:通过诱导材料进行数学素养知识管理(2015) 扎尼比,理查德; Orakwue,Awelemdy:面向大众的数学搜索:多模式搜索界面和基于外观的检索(2015) 卡利斯齐克,塞扎里; 拉贝,弗洛里安:迈向霍尔莱特的知识管理(2014) 明渠Ngheim; 克里斯提安托,乔瓦尼·洋子; 托皮奇,戈兰; Aizawa,Aiko:哪一个更好:基于表示的还是基于内容的数学搜索? (2014年) 张群; Youssef,Abdou:数学相似性搜索方法(2014) 安库,米娜; 科哈塞,迈克尔; 拉贝,弗洛里安; 厄本,约瑟夫:OMDoc中的Mizar数学图书馆:翻译与应用(2013) 科哈塞,迈克尔; 马蒂坎,博格丹A。; Prodescu,Corneliu Claudiu:MathWebSearch 0.5:缩放开放式公式搜索引擎(2012) 拉贝,弗洛里安:正式数学图书馆的查询语言(2012) 斯坦默约翰斯,海因里希; 科哈塞,迈克尔; 吉涅夫、德扬; 大卫,加泰林; Miller,Bruce:将大量科学出版物转换为XML(2010) 吉塞瓦,雅娜; 兰格,克里斯托夫; Rabe,Florian:将web服务集成到活动数学文档中(2009) 阿尔塔米,穆迪·埃布拉赫姆; Youssef,Abdou:一种带有扩展通配符集的数学查询语言(2008) 米苏特卡,约泽夫; Galamboš,Leo:扩展数学内容全文搜索引擎(2008) 科哈塞,迈克尔; Sucan,Ioan:数学公式搜索引擎(2006) 利布雷希特,保罗; 梅利斯,埃里卡:在ActiveMath中访问和检索数学内容的方法(2006)