11–20 of 53 posts
I never learned matrix calculus so I find this tool helpful for following technical papers that involve some matrix calculus
Along the same lines, does there exist an "algebra checker" that could, say, take in two successive lines of latex, with perhaps a hint of how to get from one to the other, and confirm that there are no algebra errors?
I think there used to be a open source tool called Maxima or something that would simplify equations. Havent used it for the last 10 years and never used it much anyway.
Along the same lines, does there exist an "algebra checker" that could, say, take in two successive lines of latex, with perhaps a hint of how to get from one to the other, and confirm that there are no algebra errors?
Methods are highly heuristic, and some languages (all expressions with,say, \pi, and exp function, or something similar) are in general undecidable.
I can see that x' means $x^T$ (x transposed) but it's not mentioned in the documentation — where does this notation come from?
I can see that x' means $x^T$ (x transposed) but it's not mentioned in the documentation — where does this notation come from?
Unfortunately, several other notations are commonly used, as summarized in the following table. The notation Aᵀ is used in this work.
Aᵀ — This work; Golub and Van Loan (1996), Strang (1988)
à — Arfken (1985, p. 201), Griffiths (1987, p. 223)
A' — Ayres (1962, p. 11), Courant and Hilbert (1989, p. 9)
Along the same lines, does there exist an "algebra checker" that could, say, take in two successive lines of latex, with perhaps a hint of how to get from one to the other, and confirm that there are no algebra errors?
Mathematica can probably do that
Implies[x^2 + 2 x + 1 == 0, x == -1] // FullSimplifyI can see that x' means $x^T$ (x transposed) but it's not mentioned in the documentation — where does this notation come from?
Matlab/octave
Along the same lines, does there exist an "algebra checker" that could, say, take in two successive lines of latex, with perhaps a hint of how to get from one to the other, and confirm that there are no algebra errors?
If you want to start with LaTeX then the parser from this library might be useful: https://github.com/Khan/KAS