Tag mathematics in space exploration