代数和微积分有哪些可用的宏？

Question

如果我仅提供多项式，该polynom包可以提供多项式长除法的所有步骤：

\documentclass{article}
\usepackage{polynom}
\begin{document}
\polylongdiv{x^4-3x^3-5x^2+x-4}{x-3}
\end{document}

生成：

有没有矩阵的包或者宏？比如，我们输入一个矩阵，编译后，文档会展示逆矩阵，或者求一个增广矩阵的REF的步骤。

有没有向量的包或宏？点积、叉积、线性组合。

是否有针对导数和积分的包或宏？