(rigorous procedure for refereeing) ASCM: Asian Symposium on Computer Mathematics, in series Lecture Notes in Computer Science Conference