BibSonomy ::  concept ::

This forum helps people with their computer problems. They offer free forum based support to help you clean your computer of spyware, viruses, and other malware. In another forum post they also mentioned "We will have several exciting events since we have a Grand Opening, and this will be a fun and exciting community." I'm looking forward to these! :)

Hmm. I should mention that I dual boot with Windows sometimes, and in fact it's currently completely broken in there - Fn+F5 doesn't even show it (it shows the other two functions) and my Vodafone program can't turn it on. I tried leaving it on in Linux and then booting into Windows, to no avail.

The Mizar project started around 1973 as an attempt to reconstruct mathematical vernacular in a computer-oriented environment. Since 1989, the most important activity in the Mizar project, apart from continual improvement of the Mizar System, has been the development of a database for mathematics. International cooperation (the main partners: Shinshu University in Nagano and University of Alberta in Edmonton) resulted in creating a database which includes more than 7000 definitions of mathematical concepts and more than 40000 theorems (see Merak MML Browsing for more statistics).

Soeben wurde sein Buch "Bauchentscheidungen" als bestes Wissenschaftsbuch des Jahres 2007 ausgezeichnet. Dem U_mag hat Autor Gerd Gigerenzer bereits im Oktober verraten, warum wir uns beim Verlieben auf unsere Intuition verlassen können, beim Verachten dagegen nicht.