1. FE-44-3 , FE-45-1 (2002) , FE-45-2 , FE-45-3 , FE-46-1 (2003) , FE-46-2 , FE-46-3 , FE-47-1 (2004) , FE-47-2 , FE-47-3 , FE-48-1 , FE-48-2
  2. OHPs [Dagstuhl workshop (2001)]
  3. Funkcialaj Ekvacioj (Electronic version) in the infty PDF format. This is an experimental project. The official page of the Funkcialaj Ekvacioj is here
  4. MathLibre
  5. MathLibre-all
  6. MathLibre-amd64
  7. MathLibre-src
  8. MathLibre-iso-vm
  9. MathLibre-doc
  10. MathLibre-2012
  11. MathLibre-amd64-2012
  12. MathLibre-2012-doc
  13. MathLibre-2011
  14. MathLibre-amd64-2011
  15. MathLibre-2011-doc