Hot list

• HOL 4 Home Page
• Isabelle Home Page
• MONA Home Page
• Coq Proof Assitant Home Page
• FFTW Home Page
• BANE Home Page
• CDuce Home Page
• GETA Home Page
• Eric Weisstein's world of Mathematics
• Digital Math by Alphabet
• The World Wide Web Virtual Library: Formal Methods
• Solving Traveling Salesman Problems
• Robbin Algebras are Boolean
• The Hello World Collection

Online bibliography

• ResearchIndex (Citeseer)
• DBLP Bibliography
• Science Direct
• ACM Digital Library
• Zentralblatt MATH
• e-Print archive
• Computer Science Bibliography
• Webcat
• Webcat Plus
• Researchers in rewriting
• Digital Time-Stamping

Misc

• Japan Science and Technology Agency  PRESTO  Information and Systems
• Viscuit
• Cultural Heritage Online in Japan