On a tree-like representation for symbolic-numeric data and its use in Galois lattice method | IEEE Conference Publication | IEEE Xplore