# Program for writing proofs?

I need a program which would allow me write equations interspersed with text for writing mathematical proofs. This semester I'm taking theoretical linear algebra and discrete mathematics, both of which are entirely proof based. Both professors are into neatness and rewriting, so doing on the computer instead of by hand would be awesome. I'm new to macs (Marvin the Mac is only a few weeks old ) and I'm not sure if there's a program that can do this. I'd

*really*like something that wouldn't require shelling out lots of money if possible.

Thanks!

## Comments

3,219memberTeXis designed to do. You may install the freeteTeXbackend and the freeTeXShopGUI. You can also use MicrosoftWordandEquation Editor. You may use the full-fledged equation editor,MathType. Personally, I preferMathEQ.8,760memberI have been wrestling with Word and it's POS Equation Editor for the past week to do a book chapter that literally took me less than an hour to format in TeXShop. In the end? I ended up rendering the equations in LaTeX to PDFs, using ghostscript to convert them to EPS files, and sending it all off to the publisher.

Avoid Word, avoid Equation Editor, and simply go with TeXShop. It has a small learning curve, but it makes perfect sense once you start using it - after all, it was created by scientists, not marketing wonks.

Toss in Equation Service, and it's a dream.

I did a 400 pg CS dissertation with a few hundred equations, and it was slick as hell. If you're going into mathematics at all, it is THE standard.

9member7,311member3,219memberSplinemodelLyX is a nice program that uses TeX. I think there's a Mac OS X binary too.

There is.

8,760memberSplinemodelLyX is a nice program that uses TeX. I think there's a Mac OS X binary too.

I never got into LyX, though I know people who swear by it - it felt to me like it suffered from a case of trying to manage entire 'projects' within it, and lord help you if you stepped outside the tool's domain (say, Terminal or Finder) to work on files. *shrug* Personally, I prefer the simplicity and cleanliness of TeXShop, but if you're looking for a Word-for-LaTeX type app (or maybe DreamWeaver-for-LaTeX?) it's supposed to be the best.

61memberKickahaLaTeX, LaTex, LaTex, LaTeX. Hands down, period, end of story, fin.

Second that, I used TeXShop for my thesis a couple of months ago. It was a great program making complex cryptographic math typesetting easy as using, erm... a Mac!

Plus, it looks awesome when it's all printed. All professional and stuff!

44memberdavy sezAwesome! Thanks a bunch. I'm looking forward to combining my two favorite things, Mathematics and Macs !

Macmatics. Now I would of definitly taken that class. What could be better?