Pinboard (rafaeldff)
https://pinboard.in/u:rafaeldff/public/
recent bookmarks from rafaeldffSAT Solvers Google+ post sequency2016-07-20T19:45:05+00:00
https://plus.google.com/+ArnaudSpiwack/posts/ivu3vjPrgEu
rafaeldfflogic sat satsolver solver blog post google+ g+ introduction booleanalgebra mathmaticshttps://pinboard.in/https://pinboard.in/u:rafaeldff/b:76a28c2d09e0/Bootstrap2014-07-31T20:57:41+00:00
http://www.bootstrapworld.org/
rafaeldffeducation math programming scheme teaching edtech mathmatics bootstrap PLT rackethttps://pinboard.in/https://pinboard.in/u:rafaeldff/b:205802756150/Philosophy and the practice of Bayesian statistics2013-05-01T22:26:37+00:00
http://www.stat.columbia.edu/~gelman/research/unpublished/philosophy.pdf
rafaeldffpaper pdf statistic statistics philosophy Bayes Bayesian theory analysys BaeysianStatistics AndrewGelman CosmaRohillaShalizi CosmaShalizi mathmatics mathhttps://pinboard.in/https://pinboard.in/u:rafaeldff/b:b50bbb64f6ec/Big Data and the Topologist | Low Dimensional Topology2013-03-30T14:33:14+00:00
http://ldtopology.wordpress.com/2012/04/11/big-data-and-the-topologist/
rafaeldffbigdata machinelearning data stat statistics DataMining topology math mathmaticshttps://pinboard.in/https://pinboard.in/u:rafaeldff/b:2bbe1242ca53/carlo angiuli (blog) » Blog Archive » Introduction2013-01-05T20:05:35+00:00
http://www.carloangiuli.com/blog/introduction/
rafaeldffintroduction tutorial type types TypeSystem math mathmatics CategoryTheory PL PLT language theory formal formalismhttps://pinboard.in/https://pinboard.in/u:rafaeldff/b:7588ce62641c/QuickStart - scalala - Getting stated in Scalala in ten minutes - Google Code2009-06-14T01:03:44+00:00
http://code.google.com/p/scalala/wiki/QuickStart
rafaeldffscala library scalala LinearAlgebra math mathmatics DSL internal InternalDSL project OpenSourcehttps://pinboard.in/u:rafaeldff/b:31550bdfcd3e/A Free Linear Algebra text (by Jim Hefferon)2007-04-19T02:04:18+00:00
http://joshua.smcvt.edu/linearalgebra/
rafaeldffbook online free math LinearAlgebra algebra mathmatics cc GPL CreativeCommons JimHefferonhttps://pinboard.in/u:rafaeldff/b:98e2cc7f4b27/A History of Natural Deduction and Elementary Logic Textbooks (pdf)2006-12-08T02:57:41+00:00
http://www.sfu.ca/~jeffpell/papers/pelletierNDtexts.pdf
rafaeldffpaper FrancisJeffryPelletier FrancisPelletier proof logic history NaturalDeduction philosophy mathmaticshttps://pinboard.in/u:rafaeldff/b:18af82e4e2b3/Proof Theory and Philosophy (pdf)2006-12-08T02:53:54+00:00
http://consequently.org/papers/ptp.pdf
rafaeldffbook online GregRestall free textbook logic philosophy proof ProofTheory theory modal propositional predicate mathmatics math pdfhttps://pinboard.in/u:rafaeldff/b:1cda7eacc96c/Looking out for number one2006-10-29T20:34:45+00:00
http://plus.maths.org/issue9/features/benford/index.html
rafaeldffarticle interesting story math mathmatics statistic statistics stochastic distribution randomness Newcomb SimonNewcomb number numbers digithttps://pinboard.in/u:rafaeldff/b:8d865fe826cc/Greg Chaitin, Elegant LISP Programs (The Limits of Mathematics)2006-07-04T07:04:48+00:00
http://www.umcs.maine.edu/~chaitin/lisp.html
rafaeldffpaper article Chaitin CS ComputerScience math mathmatics foundations computation computing complexity algorithm algorithmic information theory lisp turingmachine TM UTM incompleteness metamathmatics meta GJChaitin GregoryJChaitin GregoryChaitin turinghttps://pinboard.in/u:rafaeldff/b:7887f7cd75bb/Ars Mathematica » Blog Archive » Opinions of Category Theory2006-07-03T06:09:47+00:00
http://www.arsmathematica.net/archives/2006/06/24/opinions-of-category-theory/#comments
rafaeldffmath mathmatics CT CategoryTheory Category theory discussion thread blog post formal formalism system abstraction abstract arsmathematicahttps://pinboard.in/u:rafaeldff/b:0317e4b86b0d/Introduction to Finite Mathematics2006-07-02T05:30:18+00:00
http://math.dartmouth.edu/~doyle/docs/finite/cover/cover.html
rafaeldffmath online free book mathmatics logic settheory sets probability theory algebra LinearAlgebra LinearProgramming counting combinatorics statistics game GameTheory finite discrete JohnGKemeny JLaurieSnell GeraldLThompson JohnKemeny LaurieSnell JSnell GeraldThompson academic textbook academia Darthmouthhttps://pinboard.in/u:rafaeldff/b:065f9c2fd54e/Dijkstra - Why Numbering should start at zero (EWD1019)2006-06-11T22:58:00+00:00
http://www.cs.utexas.edu/users/EWD/ewd10xx/EWD1019.PDF
rafaeldffdijkstra notation convention language design arithmetic number natural numbers index indices bound bounds code style EWD 1019 EWD1019 edu EdsgerDijkstra essay math mathmaticshttps://pinboard.in/u:rafaeldff/b:04c1fc09c950/Proofs are Programs: 19th Century Logic and 21st Century Computing | Lambda the Ultimate2006-05-02T21:32:37+00:00
http://lambda-the-ultimate.org/node/1447
rafaeldffproof programming logic functional computerscience theory computing lambda calculus LambdaCalculus LtU paper PhilipWadler history math mathmatics CS Curry-Howard type typing Frege Church Gentzenhttps://pinboard.in/u:rafaeldff/b:4584451213bd/Home Page of Dr. Eitan Bachmat2006-04-21T19:09:06+00:00
http://www.cs.bgu.ac.il/~ebachmat/
rafaeldffprofessor academia academic EitanBachmat Bachmat system systems research I/O performance math mathmatics analysis statistics stats storagehttps://pinboard.in/u:rafaeldff/b:99182e535553/The Integrator--Integrals from Mathematica2006-03-30T16:24:00+00:00
http://integrals.wolfram.com/index.jsp
rafaeldffcalculator calculus integration integral mathematica math mathmatics wolfram site web toolhttps://pinboard.in/u:rafaeldff/b:9705fbc1854f/Stevey's Blog Rants: Math For Programmers2006-03-18T06:05:12+00:00
http://steve-yegge.blogspot.com/2006/03/math-for-programmers.html
rafaeldffmath programming mathmatics SteveYegge blog post teaching learning eduhttps://pinboard.in/u:rafaeldff/b:0ecefca09f61/Princeton professor foresees computer science revolution2006-02-21T19:06:55+00:00
http://www.physorg.com/news10957.html
rafaeldffcomputing computerscience cs science math mathmatics academia article education princeton algorithmhttps://pinboard.in/u:rafaeldff/b:256e595d09b6/New Scientist Breaking News - Computer generates verifiable mathematics proof2006-02-20T15:14:13+00:00
http://www.newscientist.com/article.ns?id=dn7286
rafaeldffmath mathmatics graph graphs GraphTheory theorem proof 4colour FourColour 4color FourColor conjecture mathematics cs logic language coq Microsoft research MicrosoftResearchhttps://pinboard.in/u:rafaeldff/b:0eda4eb49382/New Scientist Breaking News - Mathematical proofs getting harder to verify2006-02-20T15:12:43+00:00
http://www.newscientist.com/article.ns?id=dn8743&feedId=online-news_rss20
rafaeldffmath mathmatics article NewScientist proof logic theorem computation cs ComputerScience computinghttps://pinboard.in/u:rafaeldff/b:c50206a59ae5/Sun researcher work with interval aritmetic and computation2006-02-16T04:50:35+00:00
http://research.sun.com/minds/2004-0527/
rafaeldffsun research science math mathmatics numerical computing algorithm algorithms interval arithmethic arithmetic BillWalsterhttps://pinboard.in/u:rafaeldff/b:30616b627c2d/