Algorithms R&D at Wolfram.