I am curious about the algorithm or formula behind the scene. For example, the manual says that the operator / (matrix division) is more stable than the inverse. A curious question is posed: what is behind the scene, how Stan computes inverse using / or what method that Stan uses to compute the inverse matrix. This is just a question. I have many like this when seeing a new operator, such as matrix_exp.
So my main question here is that: Could anyone please let me know the document that Stan lists all mathematical formulas or the algorithm behind the scene that the manual does not show.
Thank you so much for any help!