Group items tagged

SWiM is a semantic wiki for collaboratively building, editing and browsing a mathematical knowledge base. Its pages, containing mathematical theories, are stored in OMDoc, a markup format for mathematical knowledge. Our long-term objective is to develop a software that facilitates the creation of a shared, public collection of mathematical knowledge (e.g. for education) and serves work groups of mathematicians as a tool for collaborative development of new theories.

The nLab is a collaborative wiki which has grown out of the desire (I, II) of an on-line community communicating via the weblog The n-Category Café of people interested in discussion of expository and research nature about mathematics, physics and philosophy in the light of category theory and higher category theory (the "n" in "nLab") to have a place for development (the "Lab" in "nLab") and indexed archivation of the ideas and concepts that were, are and will be subject of or that developed out of the discussion at the weblog.

RPI's Tetherless World Constellation will address this emerging area of "Web Science," focusing on the World Wide Web and it's future use. Faculty in the constellation will explore the research and engineering principles that underlie the Web, will enhance the Web's reach beyond the desktop and laptop computer, and will develop new technologies and languages that expand the capabilities of the Web. We will use powerful scientific and mathematical techniques from many disciplines to explore the modeling of the Web from network- and information- centric views. Our goals will include making the next generation web natural to use while being responsive to the growing variety of policy and social needs, whether in the area of privacy, intellectual property, general compliance, or provenance. The Tetherless World Constellation will design new techniques to explore social, scientific, and legal impacts of the evolving technologies deployed on the Web.

The Bibliographic Knowledge Network (BKN) is a project to develop a suite of tools and services to encourage formation of virtual organizations in scientific communities of various types. BKN is a project started in September 2008 with funding by the NSF Cyber-enabled Discovery and Innovation (CDI) Program. The major participating organizations are the American Institute of Mathematics (AIM), Harvard University, Stanford University and the University of California, Berkeley.