Imaginary mathematics for computer science. (2018)