В системе MathCAD реализованы алгоритмы поиска эффективных алгоритмов вывода символьных уравнений, то есть логико-интеллектуальный поиск символьных решений различных выражений в общем буквенном виде, будь то одиночное уравнение, либо система уравнений. В отличие от математических численных методов символьные методы позволяют решать сложные логические задачи.
С помощью специальных интеллектуальных алгоритмов, встроенных в движок MathCAD находят аналитические или полные решения уравнений и систем, вычисляют в производные и неопределенные интегралы, а также проводят преобразования сложных выражений (например, упрощение). Иначе говоря, при таком подходе можно получить результат в виде некоторой функции. В программе MathCAD при проведении символьных преобразований конкретные значения, присвоенные переменным, игнорируются - переменные рассматриваются как неопределенные параметры, что делает получаемые выводы применимыми к любым численным значениям, то есть общетеоретическими.
Знаете ли Вы, что "тёмная материя" - такая же фикция, как черная кошка в темной комнате. Это не физическая реальность, но фокус, подмена.
Реально идет речь о том, что релятивистские формулы не соответствуют астрономическим наблюдениям, давая на порядок и более меньшую массу и меньшую энергию. Отсюда сделан фокуснический вывод, что есть "темная материя" и "темная энергия", но не вывод, что релятивистские формулы не соответствуют реалиям. Подробнее читайте в
FAQ по эфирной физике.