Archives for Mathematics and Computer Science