Questions tagged [proof-package]
This tag is meant for packages to display and typeset proofs. This can be proof environments like being defined from `amsthm` with `\newtheorem` or more algorithm-like scenarios. The package `proof` is an example.
128
questions
0
votes
0
answers
19
views
Align proof tombstone with itemize/enumerate/align
When using an itemize/enumerate/align environment inside of a proof environment, the tombstone is awkwardly placed on the line below the end of the final line. What is the cleanest way to get the ...
- 249
1
vote
1
answer
18
views
Multiple inference rules aligned
I'm trying to write several inference rules aligned like this but I've run into some difficulties and haven't found a suitable way to do it.
Any ideas ?
Thanks for your help.
5
votes
3
answers
928
views
Why the Q.E.D. symbol show after the sentence end and can't show right aligned (as picture below)?
\documentclass[twoside,11pt]{book}
\usepackage[left=2.5cm,right=2cm,top=2cm,bottom=2cm,papersize={15.5cm,23.5cm}]{geometry}
\renewcommand{\thechapter}{\Roman{chapter}}
\renewcommand{\thesection}{\...
- 1,329
0
votes
1
answer
48
views
How to use \qed in a mathematical equation in LaTeX? [closed]
I like to place a \blacksquare or a \Box at the end of a worked example. This does not pose any problem in a text sentence in LaTeX. But when I type \qed in a mathematical equation at the end, LaTeX ...
- 469
0
votes
2
answers
44
views
Missing } inserted. \end{proof}
I get a bunch of errors telling me:
line 417: Missing { inserted. \end{proof}
line 417: Missing } inserted. \end{proof}
line 426: Missing { inserted. \end{proof}
line 426: Missing } inserted. \end{...
- 1
1
vote
1
answer
56
views
Centered vs aligned equations
I was writing a research paper and did some proof. I am not happy with how the equations are placed in the pdf. Some of them are in the center, and some of them are far left of the page.
There are ...
- 97
2
votes
1
answer
41
views
Center proof goal and "QED" below prooftree
I am using the Clea F. Rees' prooftrees package in order to typeset tableau proofs in LaTeX. Things are working just fine, but there are two caveats I do not know how to deal with. Firstly, the "...
0
votes
0
answers
30
views
Chapter with image and format section
I would like to get chapters with image, section with dot line under and left box cover, def with shadow box and upper + lower straight lines for every proof as in the picture.
Could you please help ...
1
vote
1
answer
32
views
tex4ht: strange rendering of inline math in subsection
MSE:
\documentclass{amsart}
\begin{document}
\section{Test C}
\subsection{Test Ca}
\begin{proof}
\end{proof}
Let $x\in\mathbb R$ be a real number, then we have $x^2\ge0$.
\end{document}
The output ...
- 669
0
votes
2
answers
39
views
How to stop numbering the word proof in my document and to put the square at the end of my proofs?
Here is my document from the beginning:
\documentclass{book}
\usepackage[margin=1in]{geometry}
\usepackage{datetime2}
\usepackage{lipsum}
\DTMsetstyle{mmddyy}
\DTMsetup{datesep=/}
\usepackage{...
- 353
1
vote
1
answer
103
views
How to change the title of the 'proof' environment?
I want to change the title of my proof environment, so that instead of Demostración., the proof starts with Proof. I attach a screenshot to help explain myself better.
Please help. Thank you :D.
- 125
0
votes
0
answers
48
views
Proof redefinition not working
My proof redefinition command does not work on some cases and I cannot see the pattern nor the reason. These are the more reduced MN(N)E I could get. They were reproduced on Overleaf.
MWE 1:
\...
- 267
0
votes
1
answer
283
views
Journal Springer nature 2021 latex template and proof environment
I am using the latex template of Springer Nature from here. Even though \usepackage{amsthm} is defined,
\begin{proof ... \end{proof} is not recognized and gives this error:
Missing $ inserted. \end{...
- 139
4
votes
3
answers
308
views
Creating new environment with ifthenelse
I want to make it so all proofs in my document are conditional using the ifthen package. So far I have
\usepackage{ifthen}
\newboolean{proofs}
\setboolean{proofs}{true}
...
\ifthenelse{\boolean{...
0
votes
2
answers
126
views
Comment proofs without qed symbol
I am using the comment package in order to hide all proofs when needed. Whenever I comment all proofs, the \qed symbol remains, which I would want to avoid. I could remove the qed symbol altogether ...
- 1
0
votes
1
answer
53
views
Proof without numbering
I am trying to remove the number from proof, but I could not. When I used amsthm package I got several errors. How to remove numbering of proofs without using amsthm package?
\documentclass[11pt]{...
- 1
2
votes
1
answer
40
views
center big proof in a vertical side
I'm an occasional user of latex, and I'm autogenerating code to make a proof with the proof package.
Now I have the problem, with big proof I'm not able to center it in the pdf and also avoid the ...
- 267
2
votes
2
answers
70
views
How can I manually indent environments like theorem, corollary, etc.?
I am submitting a paper to a journal that requires labels like theorems, corollaries, proofs, and lemmas to be indented. Right now, these environments are flush to the left margin. How can I make this ...
- 123
1
vote
2
answers
104
views
Make this inference rule more readable
Following code produces something like this:
\usepackage{proof}
\infer[(\implies I)]
{
(q \land r \land ¬s ) \implies ( u \lor r )
}
{
\infer[(\lor I r)]
{
\\u \lor r
}
{
\infer[(\land E_{2}...
- 11
6
votes
2
answers
670
views
Equational Reasoning for Functional Programming
How can I create equational reasoning proof like the ones in CS literatures:
A + (B + C)
= { Associativity }
(A + B) + C
= { Commutativity }
(B + A) + C
I can't seem to find the right ...
- 171
1
vote
1
answer
57
views
How to modify the proof-environment
I wonder if it's possible to make the QED symbol in the proof environment clickable, to redirect to some given website.
Concretely, the syntax would be something like this:
\begin{proof}[Sketch of the ...
0
votes
0
answers
47
views
I get an error when I use proof environment
I am writing a paper using the Journal of Physics Conference Series's template which can be obtained through this link:
https://drive.google.com/drive/folders/17dfkKChHJOHbx1HT-uVMZsA41l2IthiW
I get ...
- 915
0
votes
2
answers
53
views
I changed "proof" to "solution" in environment but it's not updating? I think it has to do with babel?
\usepackage [english]{babel}
\usepackage [autostyle, english = american]{csquotes}
\MakeOuterQuote{"}
\addto\english{\renewcommand*{\proofname}{Solution}}
I successfully change my double quotes ...
2
votes
1
answer
45
views
Logicproof Package and Axiomatic proof, issues with Layout
I am using the logicproof package in order to write proof in axiomatic style. The problem is that, if a line of the proof is too long, the whole block exceeds page margins.
Here is a the code:
\...
2
votes
2
answers
152
views
The square symbol does not appear in the end of proof
\documentclass{article}
\usepackage{amsthm}
\renewenvironment{proof}{{\bfseries Proof.}}{}
\renewcommand{\qedsymbol}{$\blacksquare$}
\newtheorem{theorem}{Theorem}[section]
\begin{document}
\begin{...
- 1,329
0
votes
1
answer
124
views
On making a real analysis book
I am in the process of making a book for my own and not to be published of course about introductory real analysis, my main concern is about the format that I have to set in order to ensure maximum ...
0
votes
0
answers
86
views
Seeking a Good Latex Package for Formal Proof in Mathematics
In most textbooks and theoretical papers, proofs are presented in natural language. Although it is impossible to present proofs in pure object language in our daily writing, presenting proofs line by ...
- 103
-1
votes
1
answer
57
views
Changing qed for separate proofs [closed]
I am using Latex, and I can't share my specific code for privacy reasons, but I want to remove the qed symbol for separate proofs, but not change every proof in the document. The only thing is don't ...
2
votes
1
answer
162
views
Nice alignment across nodes in logic proof trees typeset with forest
In this answer, user cfr offers the following code which gives output as in the following image:
\documentclass[border=11pt]{standalone}
\usepackage[linguistics]{forest}
\usepackage{amsmath,amssymb}
\...
- 600
1
vote
0
answers
492
views
How to continue the proof in the next slide
How to continue the contents of a slide?
I want to do a beamer presentation of a proof of a theorem.
But the problem is I can't fit the proof of the theorem in a single slide as its a big proof.
Also ...
- 933
0
votes
0
answers
15
views
Consistent spacing with proof environment in level-1 and level-2 enumerate
\documentclass[letterpaper,12pt]{article}
\usepackage{empheq} % loads »mathtools«, which in turn loads »amsmath«
\usepackage{enumitem}
\usepackage{graphicx}
\usepackage{fancyvrb}
\...
- 315
1
vote
1
answer
96
views
Changing the formatting of the Theorem and Proof environment
I ask the question directly in the code.
\documentclass[
11pt,
]{scrbook} % KOMA-Script book
\usepackage[T1]{fontenc}
\usepackage[linedheaders,parts,...
- 521
0
votes
1
answer
45
views
need a square sign the same size as proof's environment square
There is a square sign in the end of proof environment. I proved something outside of proof environment. Because I had to have 'Proof of Theorem 3',
I need to put a square as the same size as proof ...
- 433
2
votes
2
answers
138
views
Spacing in proof environment with \item
\documentclass[letterpaper,12pt]{article}
\usepackage{empheq} % loads »mathtools«, which in turn loads »amsmath«
\usepackage{enumitem}
\usepackage{graphicx}
\usepackage{fancyvrb}
\...
- 315
0
votes
0
answers
51
views
Aligning proof rules
The following code:
\documentclass[10pt,journal,a4paper]{IEEEtran}
\usepackage{proof}
\usepackage{float}
\begin{document}
\begin{figure}
\infer[\textnormal{axiom} \, C]
{ C }...
- 439
2
votes
3
answers
73
views
Left align the "Proof." at the beginning of the proof environment containing a Tikz picture
Here is some code that should run,
\documentclass{article}
\usepackage{amsthm}
\usepackage{tikz}
\begin{document}
\noindent\textbf{Identity 1.} \textit{For $n \geq 2$,}
\[
{\color{blue} {n \choose 2}...
- 461
1
vote
1
answer
118
views
Share long proofs in beamer to many frames [duplicate]
Hi everyone please I am writing a proof in beamer with
\begin{proof} \end{proof}
but the proof is too long so I can't have it in one frame, I wanted to share the proof to many frames but it didn't ...
- 31
2
votes
1
answer
134
views
Why is my proof not working with a matrix?
I was writing up a proof on a LaTex article, which required me to utilise a number of matrices in it.
However, I quickly discovered that when I hit \end{proof}, at the end of my proof, it would not ...
- 319
0
votes
0
answers
342
views
Where to find good templates for mathematical proofs?
Where can we find very good examples of templates for mathematical proofs using LaTeX?
Specially if we would aim to send something for the Annals of Mathematics?
Let's say, by hypothesis, that we ...
- 2,981
1
vote
1
answer
116
views
How can I use the semantic and proof-at-the-end packages simultaneously?
I would like to use the semantic package to write inference rules, and I would also like to use the proof-at-the-end package to put proofs of my theorems in the appendix. However, when I use these two ...
- 115
2
votes
1
answer
158
views
How do I line-wrap justifications in a proof?
How would I line-wrap justifications in the proof/align environment in LaTeX?
E.g., I have a justification for an equation, but the justification veers off into the page and doesn't line wrap. I'd ...
- 21
0
votes
0
answers
33
views
Two different `proof' environments with different headings and qed symbols
In my book, I am using two different proof environments. The original proof environment in the AMS packages has been modified to the following:
\renewcommand{\qedsymbol}{$\blacksquare$}
\makeatletter
...
- 712
0
votes
1
answer
259
views
Labelling a section or "subproof" within a proof
Does anyone have ideas on labelling a section in a proof that can be referenced later?
Just to be clear I would like to do a "subproof" in a proof environment.
- 670
0
votes
0
answers
28
views
Redefining the symbol for the end of proof to \blackbox [duplicate]
In a .cls file, which is referenced by my latex code, I have the following definition for the end of proof symbol:
\newcommand\qedsymbol{\hbox{\rlap{$\sqcap$}$\sqcup$}}
\newcommand\qed{\relax\ifmmode\...
- 1
2
votes
1
answer
68
views
Proof environment in the svmult class
I'm using the svmult class. If I write
\begin{proof}[Proof of Proposition 1]
what I get is
"Proof(Proof of Proposition 1)"
How can i get "Proof of Proposition 1" only?
Thank you for the ...
- 147
2
votes
1
answer
42
views
Trying to split frame without repeating Title
Below I am trying to split a frame without repeating the title and in a particular place but it doesn't seem to be happening.
\begin{frame}[allowframebreaks]{A result about multiples}
\large
...
- 51
2
votes
2
answers
362
views
Missing $ inserted despite inserting $
I have a problem with
\infer{$\forall x\in A. P(x)$}{$\forall x\in A.(\forall y\in A.x\xrightarrow{+}y\implies P(y))\implies P(x)$}
I have looked at this answer but couldn't find it helpful
- 132
2
votes
1
answer
300
views
End of proof box is not shown
When I use the proof environment, the output does not show the tombstone informs3 class.
The class can be download here by selecting INFORMS Journal on Computing Style Files.
I tired the ...
- 374
1
vote
1
answer
369
views
having issue with the proof environment
I am using theorem, lemma,corollary, and proof environments with the following way.
\newtheorem{theorem}{Theorem}
\newtheorem{corollary}{Corollary}[theorem]
\newtheorem{lemma}[theorem]{Lemma}
\...
- 374
6
votes
3
answers
269
views
Quantification in the infer command of the proof package
I'm trying to write this inference rule using the infer command of the proof package:
For that I'm using the command:
$\infer{s = s'}{%
R \subseteq A^{\omega} \times A^{\omega}
& ...
- 439