"Mathlohe"@cs .