Theorem Linker is a program used to visualize references between theorems in a paper written using LaTeX. Using a .tex document (and a .aux file, created by the LaTeX compiler), Theorem Linker will search through a paper, find theorems, and find references to other theorems within a theorem's "proof". It will then create a digraph in a .dot file (to be opened with programs such as Graphviz or OmniGraffle) that will display each theorem as a node, with directed edges to describe the relations between the theorems. A path highlighted in red describes the longest path in the graph. Theorem Linker will also create folders containing graphs to individually show relations of each theorem in a paper.
PicoRSS is a complete RSS reader and aggregator for Java (J2ME, MIDP 2.0) or Symbian cellphones. It supports the ability to search for feeds using keywords, top 10 daily feeds, real time headlines, viewing of articles, an integrated HTML browser, the ability to save articles for offline viewing, sharing of articles using Twitter, SMS, and MMS, zoom, full-size, save, and OCR for images, compression to reduce wireless data charges, and support for Unicode and many character encodings.