This site is supported by donations to
The OEIS Foundation
.
User:Jon Awbrey/ANIMATION
From OeisWiki
<
User:Jon Awbrey
Jump to:
navigation
,
search
Contents
1
Prime Animations
1.1
Riffs 1 to 60
1.2
Rotes 1 to 60
2
Proof Animations
2.1
Double Negation
2.2
Generation Theorem
2.3
Dominant Form Theorem
2.4
Peirce's Law : One-Way
2.5
Peirce's Law : Two-Way
2.6
Two-Thirds Majority Function
2.7
Praeclarum Theorema (Leibniz)
2.8
Praeclarum Theorema : Proof by CAST
Prime Animations
Riffs 1 to 60
Rotes 1 to 60
Proof Animations
Double Negation
Generation Theorem
Dominant Form Theorem
Peirce's Law : One-Way
Peirce's Law : Two-Way
Two-Thirds Majority Function
Praeclarum Theorema (Leibniz)
Praeclarum Theorema : Proof by CAST
Navigation menu
Views
User page
Discussion
View source
History
Personal tools
Log in
Request account
Navigation
OEIS
Wiki Main Page
Community portal
System Status
Recent changes
Random page
Help
Search
Advanced search
Tools
What links here
Related changes
User contributions
Logs
View user groups
Special pages
Printable version
Permanent link
Page information