(rigorous procedure for refereeing) Intelligent Computer Mathematics, series: Lecture Notes in Computer Science Conference