LATExml 2012 - A Year of LATExml

机译：乳胶2012年 - 一年的乳胶

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

LATEXML, a TEX to XML converter, is being used in a wide range of MKM applications. In this paper, we present a progress report for the 2012 calendar year. Noteworthy enhancements include: increased coverage such as Wikipedia syntax; enhanced capabilities such as embeddable JavaScript and CSS resources and RDFa support; a web service for remote processing via web-sockets; along with general accuracy and reliability improvements. The outlook for an 0.8.0 release in mid-2013 is also discussed.

机译：LateXML是TEX到XML转换器，用于广泛的MKM应用程序。在本文中，我们为2012年日历年提供了一份进度报告。值得注意的增强包括：增加覆盖范围，如维基百科语法;增强功能，例如嵌入的JavaScript和CSS资源和RDFA支持;通过Web套接字进行远程处理的Web服务;以及一般准确性和可靠性改进。还讨论了2013年中期0.8.0发布的前景。

著录项

来源
《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》|2013年||共4页
会议地点
作者
Deyan Ginev; Bruce R. Miller;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TP18-53;
关键词

相似文献

外文文献
中文文献
专利

1. China December 2012 / January 2013: Twin hikes for feedstocks and thermoplastics / PS notations set new record / Last push before Chinese New Year hiatus / Petrochemical sector's pre-tax profit down 8% year-on-year over 2011 [J] . plastics information europe Group plastics information europe . 2013,第875期

机译：中国2012年12月/ 2013年1月：原料和热塑性塑料的两次加息/ PS符号创下新纪录/农历新年休假前的最后一次推动/石化行业的税前利润比2011年同比下降8％
2. A comparison of TEC predicted by IRI-2012 with that measured at three different stations in low latitude Indian region for the years (2010-2012) [J] . Karia Sheetal Piyush, Patel N. C., Pathak K. N. Advances in space research . 2017,第2期

机译：IRI-2012预测的TEC与多年来（2010-2012）印度低纬度地区三个不同站点测得的TEC的比较
3. Influenza Vaccine Effectiveness for Fully and Partially Vaccinated Children 6 Months to 8 Years Old During 2011–2012 and 2012–2013: The Importance of Two Priming Doses [J] . Thompson, Mark G The Pediatric infectious disease journal . 2016,第3期

机译：2011 - 2012年至2012-2013期间，全部和部分接种的儿童的流感疫苗有效6个月至8岁：两种引发剂量的重要性
4. LATexml 2012 - A Year of LATexml [C] . Deyan Ginev, Bruce R. Miller Intelligent computer mathematics . 2013

机译：LATexml 2012-LATexml的一年
5. The Making of a Nationally Recognized Band in a Small, Private Liberal Arts University: The Historical Significance of the Bobby L. Adams Years, 1987-2012 [D] . Blair, Joshua David 2018

机译：小型私立文科大学中国家认可乐队的制作：Bobby L. Adams年的历史意义，1987-2012
6. Influenza Vaccine Effectiveness for Fully and Partially Vaccinated Children 6 months to 8 Years Old during 2011–2012 and 2012–2013: The Importance of Two Priming Doses [O] . Mark G. Thompson, Jessie Clippard, Joshua G. Petrie, -1

机译：2011–2012年和2012–2013年期间6个月至8岁的完全和部分接种疫苗的儿童的流感疫苗有效性：两种启动剂量的重要性
7. LaTeXML 2012 - A Year of LaTeXML [O] . Ginev, Deyan, Miller, Bruce R. 2014

机译：LaTeXmL 2012 - LaTeXmL年

LATExml 2012 - A Year of LATExml

摘要

著录项

相似文献

相关主题

期刊订阅