12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 03:00, 25 March 2010
, 03:00, 25 March 2010→Praeclarum theorema : Proof by CAST: animation resized to 500 x 389 px
{| 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"
{| 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 CAST 2.0 Animation.gif]]
| [[Image:Praeclarum Theorema CAST 500 x 389 Animation.gif]]
|}
|}
| (2)
| (2)