User contributions
MyWikiBiz, Author Your Legacy — Saturday October 04, 2025
Jump to navigationJump to search- 05:54, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Animation.gif current
- 05:53, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 01.png current
- 05:52, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 02.png current
- 05:52, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 03.png current
- 05:52, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 04.png current
- 05:52, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 05.png current
- 05:51, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 06.png current
- 05:51, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 07.png current
- 05:51, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 08.png current
- 05:51, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 09.png current
- 05:50, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 10.png current
- 05:50, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 11.png current
- 05:50, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 12.png current
- 05:50, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 13.png current
- 05:49, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 14.png current
- 05:49, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 15.png current
- 05:49, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 16.png current
- 05:49, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 17.png current
- 05:48, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 18.png current
- 04:36, 21 March 2010 diff hist 0 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Variations on a theme of transitivity: reumber figures
- 04:20, 21 March 2010 diff hist +7 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Analysis of contingent propositions: renumber figures
- 04:11, 21 March 2010 diff hist 0 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Logic as sign transformation: renumber figures
- 03:50, 21 March 2010 diff hist +302 User:Jon Awbrey/ANIMATION →Proof Animations
- 01:56, 21 March 2010 diff hist -25 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Praeclarum theorema : Proof by CAST: renumber figures
- 01:46, 21 March 2010 diff hist 0 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Discusssion: renumber figures
- 01:42, 21 March 2010 diff hist 0 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Formal extension : Cactus calculus: renumber figures
- 01:40, 21 March 2010 diff hist +92 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Majority function example: renumber figures
- 01:34, 21 March 2010 diff hist -1 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Praeclarum theorema : Proof by CAST: fix heading
- 01:30, 21 March 2010 diff hist +29 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Example
- 23:00, 20 March 2010 diff hist +330 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Example: + animation
- 22:48, 20 March 2010 diff hist 0 N File:Praeclarum Theorema CAST Animation.gif current
- 22:18, 20 March 2010 diff hist 0 N File:Praeclarum Theorema CAST Frame 18.png current
- 22:17, 20 March 2010 diff hist 0 N File:Praeclarum Theorema CAST Frame 17.png current
- 22:16, 20 March 2010 diff hist 0 N File:Praeclarum Theorema CAST Frame 16.png current
- 22:15, 20 March 2010 diff hist 0 N File:Praeclarum Theorema CAST Frame 15.png current
- 22:14, 20 March 2010 diff hist 0 N File:Praeclarum Theorema CAST Frame 14.png current
- 22:13, 20 March 2010 diff hist 0 N File:Praeclarum Theorema CAST Frame 13.png current
- 22:12, 20 March 2010 diff hist 0 N File:Praeclarum Theorema CAST Frame 12.png current
- 22:11, 20 March 2010 diff hist 0 N File:Praeclarum Theorema CAST Frame 11.png current
- 22:10, 20 March 2010 diff hist 0 N File:Praeclarum Theorema CAST Frame 10.png current
- 22:09, 20 March 2010 diff hist 0 N File:Praeclarum Theorema CAST Frame 09.png current
- 22:08, 20 March 2010 diff hist 0 N File:Praeclarum Theorema CAST Frame 08.png current
- 22:07, 20 March 2010 diff hist 0 N File:Praeclarum Theorema CAST Frame 07.png current
- 22:06, 20 March 2010 diff hist 0 N File:Praeclarum Theorema CAST Frame 06.png current
- 22:05, 20 March 2010 diff hist 0 N File:Praeclarum Theorema CAST Frame 05.png current
- 22:04, 20 March 2010 diff hist 0 N File:Praeclarum Theorema CAST Frame 04.png current
- 22:03, 20 March 2010 diff hist 0 N File:Praeclarum Theorema CAST Frame 03.png current
- 22:02, 20 March 2010 diff hist 0 N File:Praeclarum Theorema CAST Frame 02.png current
- 22:01, 20 March 2010 diff hist 0 N File:Praeclarum Theorema CAST Frame 01.png current
- 16:08, 20 March 2010 diff hist -89 User:Jon Awbrey/ANIMATION →Proof Animations
