Kinetic
发表于 2025-3-30 11:18:06
A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularityhe proof data structure, which has to maintain the current proof state and which has to allow the flexible interplay of various components including the human user. We describe a parameterized proof data structure for the management of proofs, which includes our experience with the development of tw
falsehood
发表于 2025-3-30 14:18:25
http://reply.papertrans.cn/63/6262/626187/626187_52.png
赔偿
发表于 2025-3-30 18:09:37
http://reply.papertrans.cn/63/6262/626187/626187_53.png
thrombus
发表于 2025-3-31 00:42:19
Semantic Matching for Mathematical Servicescovery problem for client agents wishing to discover Web Services to perform tasks. We discuss a prototype mathematical service broker and look at an approach to circumventing the ambiguities arising from alternative but equivalent mathematical representations occurring in mathematical descriptions
LIKEN
发表于 2025-3-31 03:21:05
Mathematical Knowledge Browser with Automatic Hyperlink Detectionanned from mathematical documents. In this paper a method for detecting hyperlinks, e.g. formula links, from mathematical OCR output is described. We also experimentally demonstrated the effectiveness of the method. By using the method we implemented a prototype system of a mathematical knowledge br
Organization
发表于 2025-3-31 07:52:33
A Database of Glyphs for OCR of Mathematical Documentsever, development of such tools is currently hindered by the weakness of optical character recognition systems in dealing with the large range of mathematical symbols and the often subtle but important distinctions in font usage in mathematical texts. Research on developing better systems for mathem
milligram
发表于 2025-3-31 09:53:51
Toward an Object-Oriented Structure for Mathematical Textequires much expertise. We believe it is useful to support computerization that adds some structural and semantic information, but does not require jumping directly from the word-processing level (e.g., LATEX) to full formalization (e.g., Mizar, Coq, etc.). Although some existing mathematical langua
污秽
发表于 2025-3-31 16:03:39
http://reply.papertrans.cn/63/6262/626187/626187_58.png
MILK
发表于 2025-3-31 19:10:29
http://reply.papertrans.cn/63/6262/626187/626187_59.png
Loathe
发表于 2025-3-31 22:36:17
http://reply.papertrans.cn/63/6262/626187/626187_60.png