A computational technology company behind Mathematica and the Wolfram Language, building symbolic, numeric, and machine learning tools for research.