User contributions
22 March 2010
File:Praeclarum Theorema CAST 2.0 Animation.gif
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 01.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 02.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 03.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 04.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 05.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 06.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 07.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 08.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 09.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 10.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 11.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 12.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 13.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 14.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 15.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 16.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 17.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 18.png
no edit summary
21 March 2010
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: reumber figures
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Analysis of contingent propositions: renumber figures
+7
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Logic as sign transformation: renumber figures
User:Jon Awbrey/ANIMATION
Proof Animations
+302
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Praeclarum theorema : Proof by CAST: renumber figures
-25
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Discusssion: renumber figures
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Formal extension : Cactus calculus: renumber figures
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Majority function example: renumber figures
+92
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Praeclarum theorema : Proof by CAST: fix heading
-1
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Example
+29
20 March 2010
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Example: + animation
+330
File:Praeclarum Theorema CAST Animation.gif
no edit summary
File:Praeclarum Theorema CAST Frame 18.png
no edit summary
File:Praeclarum Theorema CAST Frame 17.png
no edit summary
File:Praeclarum Theorema CAST Frame 16.png
no edit summary
File:Praeclarum Theorema CAST Frame 15.png
no edit summary
File:Praeclarum Theorema CAST Frame 14.png
no edit summary
File:Praeclarum Theorema CAST Frame 13.png
no edit summary
File:Praeclarum Theorema CAST Frame 12.png
no edit summary
File:Praeclarum Theorema CAST Frame 11.png
no edit summary
File:Praeclarum Theorema CAST Frame 10.png
no edit summary
File:Praeclarum Theorema CAST Frame 09.png
no edit summary
File:Praeclarum Theorema CAST Frame 08.png
no edit summary
File:Praeclarum Theorema CAST Frame 07.png
no edit summary
File:Praeclarum Theorema CAST Frame 06.png
no edit summary
File:Praeclarum Theorema CAST Frame 05.png
no edit summary
File:Praeclarum Theorema CAST Frame 04.png
no edit summary
File:Praeclarum Theorema CAST Frame 03.png
no edit summary
File:Praeclarum Theorema CAST Frame 02.png
no edit summary
File:Praeclarum Theorema CAST Frame 01.png
no edit summary
User:Jon Awbrey/ANIMATION
Proof Animations
-89