Abstract: The first linear programming bound is the best known asymptotic upper bound for binary codes, for a certain subrange of distances. Starting from the work of Friedman and Tillich (2005), ...

Abstract: In this paper we present our research and teaching methods related to solving word problems by computer programming. We have experience in secondary school projects in computer science ...