4
votes
1answer
1k views

Conflict between ntheorem and amsthm

I am using etoolbox and ntheorem packages to have a custom numbering of theorems and equations. Everything works but these side errors occur: \qedhere command is unknown (EDIT: following some ...
5
votes
2answers
592 views

New ideas for writing a thesis [closed]

As many of us, I am willing to write a thesis full of maths, fancy environments and all that. Each time I investigate the internet for ideas I find myself ending on the same websites with boring ...
1
vote
0answers
117 views

Is there a guide to the various theorem packages? [duplicate]

Possible Duplicate: Theorem packages: which to use, which conflict? I'm relatively new to LaTeX, and a complete novice when it comes to theorems in LaTeX. But I need to put some some ...
11
votes
1answer
355 views

Which packages/practices are relevant for writing Structured Derivations? (similar to Dijkstra's calculational style of proofs)

Does anyone know of any packages that support this style of writing proofs? The only things that I've found are: tex-ewd, a bunch of plain TeX macros on CTAN written specifically with Dijkstra in ...
13
votes
4answers
8k views

box around theorem statement

Is there an easy way to put a box around a theorem in LaTeX? For example to state an important theorem. I tried using page 20 of the ntheorem documentation ...
11
votes
1answer
296 views

Is there an “endproof” package?

You may be familiar with the endfloat package, which moves all figures and tables to the end of your document. Is there a similar package for achieving that kind of results with proof environments ...
61
votes
3answers
5k views

Theorem packages: which to use, which conflict?

As far as I know, one can create theorem environments using any of amsthm, ntheorem, thmtools and probably more. How should I define my theorem environments? Is one package clearly superior? Which ...