|
But, unlike conventional proofs, in which adding more detail can make a proof more confusing, structured proofs accommodate as much detail as desired. Structured proofs are longer than conventional ones. Although the formatting is partly responsible, structured proofs are longer mainly because they include more detail.
|
research.microsoft.com/en-us/um/people/lamport/pubs/lam...
research.microsoft.com/en-us/um/people/lamport/pubs/lamport-how-to-write.pdf
|
|
|
|
QED - 11 definitions - Originally Latin meaning "quod erat demonstrandum" or "which was to be shown or proven", now used mainly by physics students... ... buy qed mugs, tshirts and hoodies...
|
www.urbandictionary.com/define.php?term=QED
www.urbandictionary.com/define.php?term=QED
|
|
|
|
Euclid established a style in his Elements that, for better or worse, has come down to us as the definitive one for presenting mathematical proofs. A Theorem or Problem (that is, something to be proved or constructed, respectively) is first stated, ... QED stood for either quod erat demonstrandum or quod est demonstatum,
|
www.paultaylor.eu/proofs/QEDdoc
www.paultaylor.eu/proofs/QEDdoc
|
|
|
might nish the proof, which is too late for \qed to do its stu . ... QED.sty supports this. In the case where the Proof is absent (because it is obvious ...
|
www.paultaylor.eu/proofs/QEDdoc.ps.gz
www.paultaylor.eu/proofs/QEDdoc.ps.gz
|
|
|
|
Oct 27, 2009 ... Foundations of Mathematics > Theorem Proving > Proofs > ... Several symbols are occasionally used as synonyms for Q.E.D. These include a ...
|
mathworld.wolfram.com/QED.html
mathworld.wolfram.com/QED.html
|
|
QED.sty | right-justied end-of-proof mark; Paul Taylor; 1994; 1 Introduction; Euclid established a style in his Elements that, for better or worse, has come down to us as the denitive one for presenting mathematical proofs.
|
paultaylor.eu/proofs/QEDdoc.pdf
paultaylor.eu/proofs/QEDdoc.pdf
|
|
Apr 12, 1994 ... Unfortunately, this may still be in the wrong place % if the proof ends with a display or itemisation. % To solve this, \qed may be put ...
|
www.dcs.ed.ac.uk/home/latex/latex/proofs/QED.txt
www.dcs.ed.ac.uk/home/latex/latex/proofs/QED.txt
|
|
\qed also \QED \QEF and \QEI % WARNING: \qed which doesn't follow \Proof will not print the square. % Each properly nested Proof/endProof pair gets a single % \qedsymbol at the end, on the far right hand side. % Unfortunately, this may still be in the wrong place % if the proof ends with a display or itemisation.
|
gd.tuwien.ac.at/publishing/tex/CTAN/macros/generic/proo...
gd.tuwien.ac.at/publishing/tex/CTAN/macros/generic/proofs/taylor/QED.sty
|
|
