novelresearchinstitute.org

Software Development Projects

As part of its mission, the Noosphere research institute develops and maintains several free software packages. Currently, we are working on the following projects:

Noosphere:
A software platform for supporting knowledge communitites which includes factilities for collaborative editing of documents as well as communication channels such as for and email with supporting web services.

Arxana—Semantic Hypertext
An advanced computer hypertext system built upon the scholium-based document model which allows for flexible linking, including links to links and building up documents by transclusion.

Universal Free Library Books Generation Program

Proofreading Platform
A software platform which will support collaborative proofreading of documents containing mathematical and physics formulae in TeX which will be used in connection with preparing numerous electronic editions of books in the public domain.

This version will go into more detail of the Arxana project in several sections (currently under development).

arxana
code loader
installer
database: text, triples, places
queries
triggers
semantic annotation of various kinds
theories
storing markup
specific semantics for multiple users
task manager application
monster mountain
programs for live interaction

search engine
emacs frontend
importing documents
editing documents
browsing documents
showing markup and commentary
exporting documents
web frontend
Lisp interface to Apache
documentation
theoretical foundations
relationship to the semantic web
user manual
relationship to other emacs programs

HomePage RecentChanges
Comments-onSemantic Hypertext This page is read-only View other revisions Administration
Last edited 2009-06-08 19:17 UTC by jcorneli (diff)

Location

PlanetX.net

Hours

24-7

Phone

(0) 000-0000

Website

http://wikispot.org/novelresearchinstitute.org

Owner(s)

NRI

Established

(April 26, 2009)

Interactive Methods

(Scientific cooperations)

HomePage RecentChanges
Linguistics of Mathematics
Most of mathematics being written in natural language, it needs to be translated into formal language before it can be processed by a computer. As a first step towards automatic translation, I am studying how mathematical writing works from the grammatical point of view by examining examples.

In order to further simplify the task to manageable proportions, I shall restrict the class of mathematical statements considered to those which are equivalent to formal mathematical expressions as opposed to ones which describe mathematical ideas generally and convey intuition. For instance, the sentence "The integral of the form over the boundary of the domain equals the integral of the exterior derivative of the form over the domain." means the same thing as an integral equation, whilst the sentence "Stokes' theorem may be seen as a generalization of the fundamental theorem of calculus to more than one variable." is not equivalent to a mathematical expression, but rather describes the thought processes of a mathematician. While trying to understand mathematical intuition, let alone trying to implement it on a computer is a fascinating and important subject, it is also quite difficult (I am not even sure where I would begin in studying this topic.), so restricting attention to figuring out how to translate certain statements in natural language into their formal equivalents sounds like a reasonable way to get started.

http://www.novelresearchinstitute.net
http://wikispot.org/Interwiki_Bookmarks
Main page on The Novel Research Institute server

No Interwiki entry for: mathematicaproj

No Interwiki entry for: nri.net

Upload new file "Literature references.rtf"

Upload new file "Calendar.vcs"
Upload new file "DNA Structure and Dynamics-19p.pdf"
[[Biodynamics and Complexity Theories.pdf]]
Upload new file "DNA Essentials_pdf.pdf"

http://www.novelresearchinstitute.org
http://wikispot.org/novelresearchinstitute.net

http://wikispot.org/novelresearchinstitute.net

http://www.metameso.org/nri/home.html

whatever you want down here!
http://wikispot.org/Orphaned_Pages

Note that http://local.google.com is sometimes a good and easy place to find times/phone.

Comments:

Please describe the wiki, its history, or just generally about it here. Also take a screenshot and upload it as an image.

<html>

<head>

<title>


Other Novel Research Institute Websites:

http://www.metameso.org/nri/home.html

http://www.novelresearchinstitute.org

Coming soon : http://www.novelresearchinstitute.net


</title>

Comments:

2009-06-09 06:55:47   Please add on changes without erasing the current version. Thank you. —Bai

2009-06-09 07:05:48   Um, again I'm going to point out that you haven't yet created a wiki, and you're editing pages on the Wiki Directory site for all of Wiki Spot. If you create a wiki, you can edit the settings, graphics, etc. Right now you're just creating pages all over the hub wiki that serves as a directory for all the wikis hosted here. You need to create a wiki and then go there to edit it. —JabberWokky

2009-07-03 18:56:49   How? —98.212.149.73

2009-07-03 22:49:33   Follow the link to Create A Wiki. Read the instructions there. —JasonAller