Help:Contents
From ProofWiki
|
If you still need help or just want to ask a general question about ProofWiki editing please post it on the questions page. |
Contents |
[edit] General Guidelines for Posting a Proof
When posting a new proof there are some basic guidelines we ask that you adhere to to ensure the clarity and quality of the post.
Any new post should contain a brief description of the purpose and use of the proof, and should also include the proof itself. If there is a related proof or method please link to it and describe the relation. Please make the title clear to help facilitate searches and please try to ensure accuracy. Please do not submit copyrighted work without permission.
Have something that you think should be added but don't know how to prove yourself? Add it to this page. Please note, however, that ProofWiki is a compendium of proofs, not an online math homework help service.
Generally pages follow this format:
==Theorem== State the theorem here. ==Proof== State the proof here. ==References== <references/> [[Category:The Category]]
[edit] How to write a mathematical proof
[edit] Math specific
[edit] ProofWiki specific
Since the amount of space needed for a proof is not an obstacle, be sure to provided adequate spacing. I.e. Make sure that you add line breaks (single blank line in the code) between different thoughts, sections, and steps. This will help anybody reading the proof to ensure that they can follow along much easier.
[edit] Page Creation
[edit] How to Create a Page
Pages can be created several different ways.
[edit] By Searching
First, search for the page name which you would like to create. If this page has not already been created then you will see something that looks like this
There is no page titled "Proof Name". You can create this page.
Clicking on create this page will open the page editing window.
[edit] Direct HTML
If you know for sure that the proof is not on the site, then simply type that name into the URL (it is acceptable to replace spaces with underscores). For example, if you wanted to prove the Riemann Hypothesis, you would type
http://www.proofwiki.org/wiki/Riemann_Hypothesis
If this page does not exist then, you will get a single line saying
There is currently no text in this page, you can search for this page title in other pages or edit this page.
Clicking edit this page will open the editing page where you can edit the page.
[edit] Page Naming
For all types of pages, major words in the title of the page should be capitalized. For example: Subring Generated by Unity of Ring with Unity. It is also generally better not to start a page name with "A" or "The", as this makes it significantly harder to find pages alphabetically in their categories. For example: Pythagorean Theorem, not The Pythagorean Theorem.
[edit] Naming a Proof
It is not necessary to begin the name with "Proof of ....", and should be avoided if possible. Since ProofWiki is a collection of proofs, it should be assumed that each page is going to be a proof of something. This also makes searching for articles much easier.
If the name of a page contains mathematical statements, the following formatting practices should be adhered to:
- Put no spaces between numbers/elements that are added, subtracted, divided, or multiplied together.
Eg: (1+2)*3.
- Do, however, put spaces between elements that are put into equality or inequality with one another, and please use != to signify inequality.
Eg: 1 = 3/3 != 3/4.
[edit] Naming a Definition
When you would like to create a page for a definition, all you have to do different from naming a proof is to add "Definition:" in front of the name. So for example if you wanted to create a page for the definition of calculus you would name the page:
Definition:Calculus
Also, after you create the page, be sure to add the definition to the "Definitions" category and giving it a sorting key(Since page name starts with Definition, all pages will show up under 'D', using a sorting key allows the page to appear under a different letter). To have set the sort key to the definition name add the following as the category assignment:
[[Category:Definitions|{{SUBPAGENAME}}]]
[edit] Naming an Axiom or a Symbols page
The same method that is used for Definitions is also used to name and categorize axiom and symbols pages. Simply substitute Symbols or Axioms for Definitions in the page name and category name.
[edit] Characters
The following characters should not be used in page names:
# < > [ ] | { } * & $ @
[edit] Page Editing and Syntax
[edit] Wiki syntax and LaTeX syntax
See this page for guidelines and instructions to page editing.
[edit] Discussion Pages
When you post on a discussion page be sure to include your signature. This includes your username(with a link to your user page), and a timestamp of when the edit was made. You can include your signature by pressing the signature button the on taskbar above the editing window (second button from the right). You can also manually insert your signature.
| Wiki Code | Appearance | Description |
|---|---|---|
| ~~~ | User | Username with link to user page |
| ~~~~ | User 12:34, 1 Janruary 2012 (UTC) | Same as above with timestamp |
Signatures are often preceded by -- (two dashes) to separate the signature from the text body, although this is not necessary.
[edit] Sandbox
The ProofWiki sandbox is a great place to test out your LaTeX and wiki skills without having to tamper with an actual page.
If you don't want to use the main sandbox, you can always create your own personal one at: [[User:your_username/Sandbox]]
- ie. www.proofwiki.org/wiki/User:your_username/Sandbox
[edit] Categories
[edit] Assigning A Category
Each page should reference at least one category, referenced by placing [[Category:CategoryName]] in the page code. For organizational purposes this is usually added at the bottom of the page.
So for example, a proof about the properties of sets could go under the category "Set Theory", ie.[[Category:Set Theory]].
Categories relating to the field of mathematics should precede the categories relating to the type of proofs contained on the page. For example, 1+2+...+n = n(n+1)/2 is listed first as in "Number Theory" and second in "Direct Proofs". In other instances, the ordering of listed categories is left to user discretion.
Example:
[[Category:Direct Proofs]][[Category:Number Theory]]
[edit] Category Pages
Each new category page must be referenced to to the main Proofs page. This can be done by editing the page, and adding the category [[Category:Proofs]] or if a category is a subcategory of something else, then add that something else as a category.
[edit] References
References can easily be created by enclose the reference inside a <ref></ref> tag in the area you would like referenced. Then near the end of your article include this: <references/> . This will be where the references are actually listed. For an example see below:
According to scientists, the Sun is pretty big.[1] The Moon, however, is not so big.[2]
Notes
- ↑ E. Miller, The Sun, (New York: Academic Press, 2005), 23-5.
- ↑ R. Smith, "Size of the Moon", Scientific American, 46 (April 1978): 44-6.
The code for this:
According to scientists, the Sun is pretty big.<ref>E. Miller, The Sun, (New York: Academic Press, 2005), 23-5.</ref> The Moon, however, is not so big.<ref>R. Smith, "Size of the Moon", Scientific American, 46 (April 1978): 44-6.</ref> '''Notes''' <references/>
[edit] Page Templates
These are templates that are included on a page to let readers/editors know something about that page. Templates can be used by adding {{template_name}} to the page where it is needed.
The following is a list of templates with their uses:
- Stub template is used on pages that have not yet been completed, but have been started.
- Proofread template is used on pages that need to be proofread for mathematical/grammatical errors.
- Tidy template is used on pages that need a better/new style, either in terms of LaTeX or general organization.
- Explain template is used on pages that need a specific idea/topic clarified, or where more details need to be added.
- Mergeto template is used to propose a merger of two or more pages.
