CNLMath : Introduction