jonjonc's tags

algorithm_equivalence associativity bialgebras calculus catalan categories cft chu_construction cirquent classical_logic cobordism coherence commutativity complicial computability dichotomy formal_methods games geometry geometry_group globular_sets groups homotopy invariant iterated_monoidal linear logic modal monads monoidal monoids multicategories noncommutative omega_categories operads polycategories proof_theory pseudo_algebra quasicategories representable rewriting rewriting_logic sat simplicial spans star_autonomous topology tqft trees universal_algebra varieties

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.