Essentially there is growing interest in the "formal" math community (combinatorics, mining, etc ..) to do exactly this.