The Novel Research Institute.org
and
The Novel Research Institute.net
Welcome to a Novel Research Institute .org (NRI.org) Internet site !
Users
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.
The Arxana Project: Semantic Hypertext
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 |
|
|
| Owner(s) |
| NRI |
| Established |
| (April 26, 2009) |
| Interactive Methods |
| (Scientific cooperations) |
Noosphere platform
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.
NRI Related Websites
http://nri.wikispot.org/NRIPeople
http://www.novelresearchinstitute.net
Spectroscopy
http://nir.wikispot.org/Front_Page
http://wikispot.org/Interwiki_Bookmarks
http://demonstrations.wolfram.com/: Main page for Mathematica Demo Projects]
RELATED
[
NRI page: Main page on wiki is:
Front page of wiki server is:
http://wikispot.org/
Related External Links
http://www.PlanetMath.org
http://www.PlanetPhysics.org
Missing Files (previous wiki uploads)
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"
NRI Mirror Websites
http://www.novelresearchinstitute.org
http://www.metameso.org/nri/home.html
http://wikispot.org/novelresearchinstitute.net
http://nri.wikispot.org/
http://wikispot.org/novelresearchinstitute.org
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:
Note: You must be logged in to add comments
Making new pages!
To create a new page, simply search for the name of the page you wish to create and then click the "Create a new page with this title" link. Another way to create a new page is by making a link to the page you wish to create from a page that already exists, following the link, and clicking "Create this page."
2009-10-27 15:27:02 Please describe the wiki, its history, or just generally about it here. Also take a screenshot and upload it as an image.
HTML Code of Home Pages
<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>
The Novel Research Institute.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.
X-Ray Diffraction Example
TEXT TRANSFER TEST:
(Please ignore repeated text that is being used for testing the Editing mode)
The Arxana Project: Semantic Hypertext
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 |
|
|
| Owner(s) |
| NRI |
| Established |
| (April 26, 2009) |
| Interactive Methods |
| (Scientific cooperations) |
Noosphere platform
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.
NRI Related Websites
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 "DNAEssentials.pdf"
http://www.novelresearchinstitute.org
http://wikispot.org/novelresearchinstitute.net
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:
Note: You must be logged in to add comments
Please describe the wiki, its history, or just generally about it here. Also take a screenshot and upload it as an image.
HTML Code of Home Pages
<html>
<head>
<title>
Other Novel Research Institute Websites:
http://www.metameso.org/nri/home.html
http://www.novelresearchinstitute.org
New NRI Mirror web site:
http://www.novelresearchinstitute.net
</title>
2009-10-27 19:06:51 Please do not delete any more pages without discussing it first, as this is an important beta testing stage for us. Thank you. —Bai






