Mathematical formula similarity comparing based on tree structure | IEEE Conference Publication | IEEE Xplore