linear arithmetic - German English Dictionary