Related Tags

_to_review abstract ae algebra algorithm analysis applied argumentation behavioral calculus-of-constructions categorical category-theory communication composition computability computer concurrency confluence context control convolution cs curvature deduction dependence didactic differential differential-calculus distributed domain-theory ea experimental exploratory fixed-point formalism formalization function functional geometry gmx graphs happiness historical information-flow inquiry jfk lambda language languages lattice learning logic machine manifolds math mathematical mathematics mean measure milner multidimensional natural of ownit partial-order pervasive pi pi-calculus pnc practice predicate probability process programming proof pvs real reasoning refinement regge rewriting rewriting-logic rule semantics sequent sierpinski-triangle situation statements stochastic streams structure syntax teaching tensor theory theta-function type untyped vector verification

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.