Loosely matching rhymes for mathematical software