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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...