mathematical and computer science techniques which are used to further the knowledge in