dmitri83's tags

acquaintances algebraic-geometry algebraic-logic algebraic-topology algorithms arithmetic book category-theory combinatorics computational-complexity descriptive-set-theory finite fo-logic fun functional-anlysis functional-programming games general-culture geometry graphs hol hybrid-logic knowledge lambda-calculus lecture-notes lie-groups linear-logic modal-logic model-theory navier-stokes neighborhood-semantics number-theory physics proof-theory quantum-computation quantum-logic representation-theory set-theory survey tcs textbook theorem-proving topology ultrafinitism

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.