{theorems} are environments which are commonly numbered. They are extensively used in math texts. Examples of such environments are theorems, corollaries, lemmas, propositions, remarks and definitions. Popular packages are {amsthm}, {ntheorem}, and {thmtools}. Covers discussion on proofs too.

learn more… | top users | synonyms

6
votes
0answers
287 views

How to create a framed proof attached to a theorem?

I am trying to create a customized "proof" environment attached to a theorem. It looks like this: So there is first the theorem, and then a gray bar starts on the inner margin. It ends, when the ...
2
votes
0answers
124 views

How to set the bold font of the keyword Definition using IEEEtran without introducing package ntheorem?

I am writing a paper with the recommended template IEEEtran.sty. IEEEtran has its own theorem environment such as definitions, theorems, axioms, corollaries, lemmas, and so on. I want to set the bold ...
2
votes
0answers
100 views

Section with answers created automatically

My question is quite similar to this one, but I think a slightly different approach is needed. I have a document with a lot of exercices and I'd like to add aswers and hints to them in a certain ...
1
vote
0answers
62 views

Mark end of Theorem

In this answer Palatino text font is used together with the AMS Euler (eulervm) math font. The following statement is reasonable: Note also that because the "Euler" fonts have an upright rather ...
1
vote
0answers
95 views

Faint text after new theorem

This code using \newtheorem produces faint text afterwards. What's the remedy? \documentclass[xcolor=dvipsnames]{beamer} \usetheme[height=9mm]{Rochester} \setbeamertemplate{items}[ball] ...
1
vote
0answers
52 views

How should one format a proof inside a proof, or 'inner proof'

I've come across this a few times and have yet to find a general consensus on how to format a proof inside of a proof. Should there be a proof environment within the proof environment that is ...
1
vote
0answers
49 views

Starting a theorem or a proof with an equation and vertical spacing

Is it bad practice to begin the statement of a theorem or of a proof with an equation? If it is acceptable, what is your opinion on the resulting spacing in the three cases, in the code below? In the ...
1
vote
0answers
84 views

What's the correct way to place theorems and pictures side by side?

Okay so I have a definition using the amsthm theorem environments, and a tikzpicture which I want to see side by side. The material inside the definition is not too big, so I expect the final height ...
1
vote
0answers
139 views

restatables and \listoftheorem

I am using the restatable environment from the thm-restate package ofthmtools. I am also using \listoftheorems command to give me a list of the theorems. However, my restatable theorem is appearing ...
0
votes
0answers
43 views

Theorem Style in text

This is a typographical question as opposed to a tex question. I want to standardise my theorem style when typing in normal text. Some of my theorems have names: Mordell-Weil Theorem, BSD Conjecture ...
0
votes
0answers
36 views

How can I make a numbering as for theorems and lemmas for postulate?

We write \begin{theorem} the theorem \end{theorem} for theorems, lemmas, corollaries and so on. For reasons of content I want to do the same for postulates. How?
0
votes
0answers
30 views

Hyperlinking theorems in smfart

Edit: The class smfart is one of several classes created by the Société Mathématique de France for typesetting mathematics. Here is its CTAN page, where it lies under smflatex, and here is the ...
0
votes
0answers
77 views

Spacing around thm environments when parskip is changed

I am a beginner with LaTeX and have this probably tyro problem - when I use asmthmpackage environments in combination with \parskip, the (vertical) spacing above and below theorems, definitions, etc ...
0
votes
0answers
445 views

loading mps to pdf converter latex

\documentclass[a4paper,11pt,english,openright]{book} \usepackage[ansinew]{inputenc} \usepackage[english]{babel} \usepackage{babel} \usepackage[T1]{fontenc} \usepackage[centertags]{amsmath} ...
0
votes
0answers
96 views

nopagebreak between rule and custom theorem env

I'm making a custom theorem environment. Here's a minimal example of my problem, with some filler text borrowed from the GPL: \documentclass{scrbook} \usepackage[dvipsnames]{xcolor} ...