First of all, welcome to my new blog. Being this my first post, I will present myself, give you some background on what I am doing and explain what are my intentions about this blog. My name is João Fernando Ferreira and I am a research student at the Foundations of Programming research group at [...]
-
‹ Home
Contents
-
Categories
-
Tags
Algorithms blog calculational check combinatorics correction distributivity domain Education fibonacci grid irrationality joaoff.com knuth Links Mathematics Methodology Opinion Perl Personal Programming proof proofs puzzles research university
-
Archives
-
Subscribe
Subscribe Joao's blog to stay informed of changes and new posts. You can also receive notifications by email. Blogs
Links
-
RSS Feeds