= 27d567bc2d48d9f40e9ccc20ea370b15)
RichardKennaway comments on Open thread, Oct. 12 - Oct. 18, 2015 - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (250)
Why isn't there a good way of doing symbolic math on a computer?
I want to brush up on my probability theory. I hate using a pen and paper, I lose them, they get damaged, and my handwriting is slow and messy.
In my mind I can envisage a simple symbolic math editor with keyboard shortcuts for common symbols, that would allow you to edit nice, neat latex style equations, as easily as I can edit text. Markdown would be acceptable as long as I can see the equation in it's pretty form next to it. This doesn't seem to exist. Python based symbolic math systems, like 'sagemath', are hopelessly clunky. Mathematica, although I can't afford it, doesn't seem to be what I want either. I want to be able to write math fast, to aid my thinking while proving theorems and doing problems from a textbook, not have the computer do the thinking for me. Latex equation editors I've seen are all similarly unwieldy - waiting 10 seconds for it to build the pdf document is totally disruptive to my thought process.
Why isn't this a solved problem? Is it just that nobody does this kind of thing on a computer? Do I have to overcome my hatred of dead tree media and buy a pencil sharpener?
Would any of these be useful? That's just a list I found by Googling /MathJax editor/. I'm not familiar with any of them. MathJax is a Javascript library for rendering mathematics on web pages. The mathematics is written in MathML.
I use pen and paper, and switch to LaTeX when I have something I need to preserve. It's not very satisfactory, but since anything I might want to publish will have to go through LaTeX at some point, there's no point in using any other format, unless it had a LaTeX exporter. And pen and paper is far more instant than any method I can imagine of poking mathematics in through a keyboard.
Yeah... I think I just have to bite this bullet. If you do math professionally and the people you know work onto pen and paper, then that's the answer.
It's just.... I feel like I can imagine a system that would be better than pen and paper. There's so much tedious repetition of symbols when I do algebra on paper, and inevitably while simplifying some big integral I write something wrong, and have to scratch it out, and the whole thing becomes a confusing mess. writing my verbal thoughts down with a keyboard is just as quick and intuitive as a pen and paper. There must be a better way...
That means there's a possible startup.
Ha, in theory, but it looks like the guys at TeXmacs are already selling the product for free, so no dice...
I made with my Kindle the experience that it's better than regular paper books while reading books on a smartphone isn't. Currently most mathmaticians use paper. If someone would design a mathematical editor that's better than paper, I think that could be a huge commercial success.
Would it make sense to write on a tablet and have the computer do OCR? (Hypothetical system.)
Yes, that would also be great, but I a) I can't afford such a tablet, and b) I strongly suspect that the OCR would be inaccurate enough that I'd end up wishing for a keyboard anyway. Hell accurate voice recognition would be better, but I'm still waiting for that to happen...
Now that I think about it, OCR would be much harder for math than for text.
Kinda-toy example