12,140
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 12:42, 27 September 2010
, 12:42, 27 September 2010→Praeclarum theorema: split up monolithic graphic + proof animation + re-number figures
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
| [[Image:PERS_Figure_14.jpg|500px]] || (1)
| [[Image:Praeclarum Theorema 1.0 Splash Page.png|500px]] || (17)
|}
|}
And here's a neat proof of that nice theorem.
And here's a neat proof of that nice theorem.
{| align="center" cellpadding="10"
{| align="center" cellpadding="8"
| [[Image:PERS_Figure_15.jpg|500px]] || (2)
|
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
|-
| [[Image:Praeclarum Theorema 1.0 Marquee Title.png|500px]]
|-
| [[Image:Praeclarum Theorema 1.0 Storyboard 1.png|500px]]
|-
| [[Image:Equational Inference Rule Reflect ad(bc).png|500px]]
|-
| [[Image:Praeclarum Theorema 1.0 Storyboard 2.png|500px]]
|-
| [[Image:Equational Inference Rule Weed a, d.png|500px]]
|-
| [[Image:Praeclarum Theorema 1.0 Storyboard 3.png|500px]]
|-
| [[Image:Equational Inference Rule Reflect b, c.png|500px]]
|-
| [[Image:Praeclarum Theorema 1.0 Storyboard 4.png|500px]]
|-
| [[Image:Equational Inference Rule Weed bc.png|500px]]
|-
| [[Image:Praeclarum Theorema 1.0 Storyboard 5.png|500px]]
|-
| [[Image:Equational Inference Rule Quit abcd.png|500px]]
|-
| [[Image:Praeclarum Theorema 1.0 Storyboard 6.png|500px]]
|-
| [[Image:Equational Inference Rule Cancel (( )).png|500px]]
|-
| [[Image:Praeclarum Theorema 1.0 Storyboard 7.png|500px]]
|-
| [[Image:Equational Inference Marquee QED.png|500px]]
|}
| (18)
|}
The steps of the proof are replayed in the following animation.
{| align="center" cellpadding="8"
|
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
|-
| [[Image:Praeclarum Theorema 2.0 Animation.gif]]
|}
| (19)
|}
|}