Dictionary markup (encoding) is one of the concerns of TEI (Text Encoding Initiative), an international project for text encoding. In this paper, we investigate ways to use and extend TEI encoding scheme for the markup of Korean dictionary entries. Since TEI suggestions for dictionary markup are mainly for western language dictionaries, we need to cope with problems to be encountered in encodin...

Let X = { x 1 ,</mm...

Purpose – The paper aims to describe an electronic text project involving a scholarly history journal, and to share findings related to the encoding of serials using the text encoding interchange (TEI) guidelines. Design/methodology/approach – The project was completed using a combination of in-house and outsourced digitization and encoding, employing a variety of methods for quality control an...

In this paper, we prove a series of results on group embeddings in groups with small number generators. We show that each finitely generated G G </inline...

In our paper [Proc. Amer. Math. Soc. Ser. B 8 (2021), pp. 86–99] we showed that a Tychonoff space X X is alttext="normal upper Delta"> ...

A generalized metric on a manifold M M , i.e., pair alttext="left-parenthesis g comma upper H right-parenthesis"> <mml:mo str...

Let f t ( z stretchy="false">) = <mml:msup...

Let k k be a field and alttext="upper T"> T encoding="application/x-tex">T an algebraic -t...

We consider a rank one group G = ? A , B stretch...