I've translated to hebrew some articles about the geometry of paperfolding .
An article i wrote for the course "Automated Theorem Proving" in the Tel-Aviv University . Currently only the Hebrew version is available. However, the article is based on parts of an article written in English, Solving SAT and SAT Modulo Theories: from an Abstract Davis-Putnam-Logemann-Loveland Procedure to DPLL(T) (sections 2 and 3 and a bit of 4.3 and 4.4).
Sound Translation is a kind of translation aiming to preserve the sound of the original text, rather than its meaning.
Some bonuses for Arabic learners. .
Some Hebrew subtitles files to be used in conjunction with various videos available online.
The icons used for navigating in this site are taken from Laurie McCanna's Site.