Question: Which American privately held corporation specializing in mathematical computing software supports a Professor of Mathematics at Massachusetts Institute of Technology?

full_context: Document 1: Mathematica Policy Research: Mathematica Policy Research is a policy research organization with offices in Princeton, New Jersey; Cambridge, Massachusetts; Chicago, Illinois; Washington, DC; Ann Arbor, Michigan; and Oakland, California. Mathematica has more than 1,000 employees and conducts program evaluation, policy research and interpretation, survey design and data collection, and performance measurement and data management. Mathematica works across the United States and in countries around the world for clients that include federal agencies, state and local governments, foundations, universities, and private-sector and international groups.
Document 2: VT MÄK: VT MÄK, also known as MÄK Technologies, Inc. is a software company based in Cambridge, Massachusetts that provides commercial off-the-shelf (COTS) modeling and simulation software. The company develops and sells software for distributed simulations that system integrators, governments, and research institutions use to build and populate 3D simulated environments. Users include medical, aerospace, defense, and transportation industries. In addition to offering COTS software, MÄK provides the following services: simulation content creation, software customization, interoperability, research and development, and training.
Document 3: Gilbert Strang: William Gilbert Strang (born November 27, 1934), usually known as simply Gilbert Strang or Gil Strang, is an American mathematician, with contributions to finite element theory, the calculus of variations, wavelet analysis and linear algebra. He has made many contributions to mathematics education, including publishing seven mathematics textbooks and one monograph. Strang is the MathWorks Professor of Mathematics at the Massachusetts Institute of Technology. He teaches Introduction to Linear Algebra and Computational Science and Engineering and his lectures are freely available through MIT OpenCourseWare.
Document 4: Computational mathematics: Computational mathematics involves mathematical research in areas of science where computing plays a central and essential role, emphasizing algorithms, numerical methods, and symbolic computations. Computation in research is prominent. Computational mathematics emerged as a distinct part of applied mathematics by the early 1950s. Currently, computational mathematics can refer to or include:
Document 5: Silvanus P. Thompson: Silvanus Phillips Thompson {'1': ", '2': ", '3': ", '4': "} (19 June 1851 – 12 June 1916) was a professor of physics at the City and Guilds Technical College in Finsbury, England. He was elected to the Royal Society in 1891 and was known for his work as an electrical engineer and as an author. Thompson's most enduring publication is his 1910 text "Calculus Made Easy", which teaches the fundamentals of infinitesimal calculus, and is still in print. Thompson also wrote a popular physics text, "Elementary Lessons in Electricity and Magnetism," as well as biographies of Lord Kelvin and Michael Faraday.
Document 6: SimCraft: SimCraft is a privately held company headquartered just outside Atlanta, Georgia and is in the business of motion simulation. The company offers a range of products in the category of full motion simulation that provide a tactile true motion experience for Motorsport Simulation (sometimes referred to as simracing) and flight simulation. The company's core innovation and technology is the simulation of vehicle (motorsport & aviation based) movement through proprietary physics based software interfaces and a patent pending hardware architecture based on Center of Mass principles of motion. The company's product applications range principally by variation in chassis design and material and are found in usage from military training/research, professional training, to individual simulation and gaming enthusiast entertainment.
Document 7: Satya N. Atluri: Satya Atluri is currently a Professor in the Department of Mechanical Engineering at Texas Tech University. His research focuses upon the areas of aerospace and mechanics. His teaching and research interests are in the disciplinary areas of: computational mathematics; theoretical, applied, and computational mechanics of solids and fluids at various length and time scales; computer modeling in engineering and sciences; meshless and other novel computational methods; structural longevity, failure prevention, and health management.
Document 8: Microsoft: Microsoft Corporation ( , abbreviated as MS) is an American multinational technology company with headquarters in Redmond, Washington. It develops, manufactures, licenses, supports and sells computer software, consumer electronics, personal computers, and services. Its best known software products are the Microsoft Windows line of operating systems, the Microsoft Office suite, and the Internet Explorer and Edge web browsers. Its flagship hardware products are the Xbox video game consoles and the Microsoft Surface tablet lineup. As of 2016, it is the world's largest software maker by revenue, and one of the world's most valuable companies. The word "Microsoft" is a portmanteau of "microcomputer" and "software".
Document 9: Intermetrics: Intermetrics, Inc. was a software company founded in Cambridge, Massachusetts in 1969 by several veterans of M.I.T.'s Instrumentation Laboratory who had worked on the software for NASA's Apollo Program including the Apollo Guidance Computer.
Document 10: Vladimir Mazya: Vladimir Gilelevich Maz'ya (Russian: Владимир Гилелевич Мазья ; born December 31, 1937) (the family name is sometimes transliterated as Mazya, Maz'ja or Mazja) is a Russian-born Swedish mathematician, hailed as "one of the most distinguished analysts of our time" and as "an outstanding mathematician of worldwide reputation", who strongly influenced the development of mathematical analysis and the theory of partial differential equations. His early achievements include: his work on Sobolev spaces, in particular the discovery of the equivalence between Sobolev and isoperimetric/isocapacitary inequalities (1960), his counterexamples related to Hilbert's 19th and Hilbert's 20th problem (1968), his solution, together with Yuri Burago, of a problem in harmonic potential theory (1967) posed by , his extension of the Wiener regularity test to p –Laplacian and the proof of its sufficiency for the boundary regularity. Maz'ya solved V. Arnol'd's problem for the oblique derivative boundary value problem (1970) and F. John's problem on the oscillations of a fluid in the presence of an immersed body (1977). In recent years, he proved a Wiener's type criterion for higher order elliptic equations, together with M. Shubin solved a problem in the spectral theory of the Schrödinger operator formulated by Israel Gelfand in 1953, found necessary and sufficient conditions for the validity of maximum principles for elliptic and parabolic systems of PDEs and introduced the so–called approximate approximations. He also contributed to the development of the theory of capacities, nonlinear potential theory, the asymptotic and qualitative theory of arbitrary order elliptic equations, the theory of ill-posed problems, the theory of boundary value problems in domains with piecewise smooth boundary.
Document 11: George Adomian: George Adomian (March 21, 1922 – June 17, 1996) was an American mathematician of Armenian descent who developed the Adomian decomposition method (ADM) for solving nonlinear differential equations, both ordinary and partial. The method is explained, among other places, in his book "Solving Frontier Problems in Physics: The Decomposition Method" (Kluwer, Dordrecht, 2004). He was a faculty member at the University of Georgia (UGA) from 1966 through 1989. While at UGA, he started the Center for Applied Mathematics. Adomian was also an aerospace engineer.
Document 12: Morton Gurtin: Morton E. Gurtin is a mechanical engineer who became a mathematician and "de facto" mathematical physicist. He is an emeritus professor of mathematical sciences at Carnegie-Mellon University, where for many years he held an endowed chair as the Alumni Professor of Mathematical Science. His main work is in materials science, in the form of the mathematical, rational mechanics of non-linear continuum mechanics and thermodynamics, in the style of Clifford Truesdell and Walter Noll, a field also known under the combined name of "continuum thermomechanics". He has published over 250 papers, many among them in Archive for Rational Mechanics and Analysis, as well as a number of books.
Document 13: List of mergers and acquisitions by Symantec: Symantec is an American computer software company founded on March 1, 1982. It is an international corporation that specializes in selling security and information management software, and is listed on the NASDAQ-100 stock market index and Fortune 1000 list of the largest American companies. Gary Hendrix founded the company in 1982 with the help of a National Science Foundation grant. Symantec was originally focused on artificial intelligence-related projects, and Hendrix hired several Stanford University natural language processing researchers as the company's first employees. After the company's initial public offering in 1989, Hendrix left the company in 1991 and moved to Texas. The company has acquired 57 companies, purchased stakes in 2 firms, and divested 26 companies, in which parts of the company are sold to another company. Of the companies that Symantec has acquired, 50 were based in the United States. Symantec has not released the financial details for most of these mergers and acquisitions.
Document 14: Efstratios N. Pistikopoulos: Professor Efstratios N. (Stratos) Pistikopoulos FREng is an alumnus of Professor Ignacio Grossmann from Carnegie Mellon University. He is a distinguished research Professor at the Department of Chemical Engineering at Texas A&M University, as well as the Associate Director of the Texas A&M Energy Institute. From 1991-2015, he was a Professor for Chemical Engineering at Imperial College, where he pioneered multi-parametric programming and invented the concept of explicit or multi-parametric model predictive control. He has authored and co/authored more than 350 peer reviewed journal articles, authored and/or edited 9 books and has been an invited speaker to many Academic conferences and lectures, including the 21st Professor Roger W. H. Sargent lecture at Imperial College London (held on the 4th of December 2014) entitled "Multi-Parametric Programming & Control 25 years later: what is next?". Additionally, Professor Pistikopoulos has been elected a fella of the Royal Academy of Engineering in 2013.
Document 15: MathWorks: The MathWorks, Inc. (branded as simply MathWorks) is an American privately held corporation that specializes in mathematical computing software. Its major products include MATLAB and Simulink, which support data analysis and simulation. As of June 2016, it employed over 3,600 people worldwide with 70% located at the company's headquarters in Natick, Massachusetts, United States.
ground_truth: MathWorks