Difference between revisions of "Sharing theories"
imported>Nicolas m (New page: Rodin 2.0+ with theory plug-in makes it possible to define extensions to the standard mathematical language, that is new operators and datatypes. This page explains ho...) |
imported>Nicolas m |
||
| Line 1: | Line 1: | ||
Rodin 2.0+ with [[Theory_Plug-in | theory plug-in]] makes it possible to define extensions to the standard mathematical language, that is new operators and datatypes. | Rodin 2.0+ with [[Theory_Plug-in | theory plug-in]] makes it possible to define extensions to the standard mathematical language, that is new operators and datatypes. | ||
This page explains how to share your theories with the community and how to get theories developed by other people. | This page explains how to share your theories with the community and how to get theories developed by other people. | ||
| + | |||
| + | == A SourceForge tracker for Theories == | ||
| + | |||
| + | A new tracker has been created in the SourceForge site of the Rodin project: | ||
| + | |||
| + | [http://sourceforge.net/tracker/?group_id=108850&atid=1558661 http://sourceforge.net/tracker/?group_id=108850&atid=1558661] | ||
| + | |||
| + | This can be viewed as a repository for sharing theories. | ||
| + | |||
| + | == Sharing a Theory == | ||
| + | |||
| + | Sharing a theory can be achieved the same way as adding an item in any other SourceForge tracker: by clicking the "Add new" link, then filling the form. | ||
| + | |||
| + | As much as possible, non related theories should be provided in different artifacts (tracker items). | ||
| + | Before posting a new theory, it is recommended to check if the same or a similar one already exists. In this case, if your theory has something slightly different that you think worth sharing, please do so in the same tracker item, in order to keep related works together. | ||
| + | |||
| + | A theory item is basically made of: | ||
| + | * a relevant title, clearly stating what kind of mathematical extensions are provided; | ||
| + | * a brief description of the contents (in the initial comment); | ||
| + | * a category indicating the area of the theory; if no existing category fits your contribution, leave the field at "None" and indicate in the comment the name of the new category you would like | ||
| + | * a group, indicating which version of Rodin the theory has been developed with | ||
| + | * one or more archives (see [[Exporting and importing archives containing theories]] for generating these archives) | ||
Revision as of 15:06, 16 November 2010
Rodin 2.0+ with theory plug-in makes it possible to define extensions to the standard mathematical language, that is new operators and datatypes. This page explains how to share your theories with the community and how to get theories developed by other people.
A SourceForge tracker for Theories
A new tracker has been created in the SourceForge site of the Rodin project:
http://sourceforge.net/tracker/?group_id=108850&atid=1558661
This can be viewed as a repository for sharing theories.
Sharing a Theory
Sharing a theory can be achieved the same way as adding an item in any other SourceForge tracker: by clicking the "Add new" link, then filling the form.
As much as possible, non related theories should be provided in different artifacts (tracker items). Before posting a new theory, it is recommended to check if the same or a similar one already exists. In this case, if your theory has something slightly different that you think worth sharing, please do so in the same tracker item, in order to keep related works together.
A theory item is basically made of:
- a relevant title, clearly stating what kind of mathematical extensions are provided;
- a brief description of the contents (in the initial comment);
- a category indicating the area of the theory; if no existing category fits your contribution, leave the field at "None" and indicate in the comment the name of the new category you would like
- a group, indicating which version of Rodin the theory has been developed with
- one or more archives (see Exporting and importing archives containing theories for generating these archives)
