Keyword:education tool

Publications
An Implementation of Integer Presburger Arithmetic in a Math Education Tool Antti Valmari and Mika Hirvensalo In:Proceedings of 16th International Workshop on the Implementation on Logics. Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning (short papers)