منابع مشابه
Narrative Structure of Mathematical Texts
There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (e.g., chapter, section, theorem or proof ) and identifying statements according to their logical importance (e.g., theorem is more important than lemma). Such narrative/structuring labels guide the reader’s navigation of the te...
متن کاملDislocation Intermediate Cuneiform with Fracture Medial Cuneiform
INTRODUCTION Dislocation of intermediate cuneiform is a rare injury in English language literature. Dislocation of intermediate cuneiform with undisplaced medial cuneiform fracture has been reported only once. We report the first case of dislocation intermediate cuneiform with displaced medial cuneiform fracture. CASE REPORT A 43-year-old male was diagnosed of dislocation of intermediate cune...
متن کاملToward Automatically Assembling Hittite-Language Cuneiform Tablet Fragments into Larger Texts
This paper presents the problem within Hittite and Ancient Near Eastern studies of fragmented and damaged cuneiform texts, and proposes to use well-known text classification metrics, in combination with some facts about the structure of Hittite-language cuneiform texts, to help classify a number of fragments of clay cuneiform-script tablets into more complete texts. In particular, I propose usi...
متن کاملConditionals and Pseudo-Conditionals in Mathematical Texts
Conditionals are the basic ingredient of a mathematical argument. We present an analysis of conditionals and pseudo-conditional in mathematical discourse, and then propose a computational framework for the (re-)construction and semantic representation of conditional dependencies.
متن کاملEnabling Large Scale Coherency Among Mathematical Texts∗
Mathematical and program-code text is unique because significant portions of it can be anchored to counterparts in formal logical theories that are implemented by computer systems. These systems check formal proofs for correctness and trace logical dependencies among assertions. When elements of expository text, such as definitions and theorems, are formally linked to their implemented counterp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Cuneiform Studies
سال: 1948
ISSN: 0022-0256
DOI: 10.2307/1359232