At the Massachusetts Institute of Technology (MIT), which expert system was developed to solve symbolic mathematical problems such as algebra and calculus manipulation?

Introduction / Context:
Expert systems and computer algebra systems were foundational demonstrations of artificial intelligence in academic labs. MIT pioneered one such system focused on symbolic mathematics. Recognizing the correct historical name helps connect AI history with modern tools like computer algebra packages used today in education and research.

Given Data / Assumptions:

• The system originates from MIT.
• Domain: symbolic mathematical problem solving.
• We must distinguish among several research project acronyms.

Concept / Approach:
MACSYMA (Project MAC’s SYmbolic MAnipulator) is the MIT-developed system for symbolic algebra, differentiation, integration, simplification, and equation solving. Other options refer to different institutions or domains: MOLGEN relates to molecular genetics work at Stanford, ISIS and RAND are organizations or projects unrelated to the specific MIT math system, and CMU denotes Carnegie Mellon University, not a system name here.

Step-by-Step Solution:

Verification / Alternative check:
Historical accounts of Project MAC document MACSYMA as one of the earliest general-purpose computer algebra systems that influenced later tools.

Why Other Options Are Wrong:

Common Pitfalls:
Confusing institution names and project acronyms with product names; always map domain and institute together.

Final Answer:
MACSYMA