In this paper we give a new algebro-geometric proof to the semi-group theorem due to Abhyankar-Moh for the affine plane curves with one place at infinity and its inverse theorem due to Sathaye-Stenerson. The relations between various invariants of these curves are also explained geometrically. Our new proof gives an algorithm to classify the affine plane curves with one place at infinity with given genus by computer.
In most cases the current on-line journals in mathematics are supplied in the form of PDF with print images of papers in the front and OCR’ed hidden texts behind to provide with search facilily using key words. The embedded hidden texts usually does not include good information about mathematical formulae in the papers. We can say that, for the future development of DML, it is desirable to include, in the digitised journals, more structured information of the content of mathematical papers, e.g....
We report on a new project to design a semantic ground truth set for mathematical document analysis. The ground truth set will be generated by annotating recognised mathematical symbols with respect to both their global meaning in the context of the considered documents and their local function within the particular mathematical formula they occur. The aim of our work is to have a reliable database available for semantic classification during the formula recognition process with the aim of enabling...
Page 1