# Help:Editing/House Style/Sources

(Redirected from Help:Sources)

## Citations

It is good to indicate where the information comes from. This is done in $\mathsf{Pr} \infty \mathsf{fWiki}$ in the last of the page in a section called Sources.

If there are multiple sources, they are to be listed first in chronological order, then alphabetically on the name of the (first) author.

As stated on Help:Page Editing, the sources should be using a bulleted list, ordered by date of publication of the edition cited, and after that alphabetically, sorted on the surname of the (first) author.

For example (an excerpt of the Sources section of Definition:Set Union):

== Sources ==

* {{BookReference|Naive Set Theory|1960|Paul R. Halmos|prev = Union of Singleton|next = Union with Empty Set}}: $\S 4$: Unions and Intersections
* {{BookReference|Abstract Algebra|1964|W.E. Deskins|prev = Equality of Sets|next = Definition:Set Intersection}}: $\S 1.1$: Definition $1.2$
* {{BookReference|Point Set Topology|1964|Steven A. Gaal|prev = Definition:Set Union/General Definition|next = Union is Commutative}}: Introduction to Set Theory: $1$. Elementary Operations on Sets
* {{BookReference|Sets and Groups|1965|J.A. Green|prev = Empty Set Subset of All|next = Intersection Subset Union}}: $\S 1.4$
* {{BookReference|Modern Algebra|1965|Seth Warner|prev = Associative and Anticommutative|next = Definition:Set Intersection}}: $\S 3$


## Types of sources

There are several templates that can be used:

### Hardcopy Sources

Template:BookReference
This is used to reference a specific book which will have been documented in the Books page. The idea of this is that if you have sourced the information for a page directly from a book, then it should be possible to provide the details of that book.

Example:

which can be found on the page Characteristic times Ring Element is Ring Zero.

Template:Citation
This is used to reference a specific article in a journal. This is still under development, as the individual Journal entries still need to be worked on.

Examples of their use can be found on various Mathematicians pages, for example:

• 1908: Mathematical Logic as Based on the Theory of Types (Amer. J. Math. Vol. 30: 222 – 262)

which appears on the page for Bertrand Russell.

The style of this is still evolving.

### Online Sources

There are templates for the following online sources. Each one has been crafted so as to produce a reference in the style requested by the online source in question.

Template:MathWorld
This provides a direct link to a page on the http://mathworld.wolfram.com/ website.

Example:

which can be found in the page Area of Sector.

Template:Planetmath
This provides a direct link to a page on the http://planetmath.org/ website.

Example:

which can be found in the page Urysohn's Lemma.

An alternative format for the same link is:

Template:MacTutor Biography
This provides a direct link to a page on the http://www-history.mcs.st-andrews.ac.uk/history/index.html website.

Example:

which can be found in the page for Hanna Neumann. Note that the link presentation is taken from the page the template is invoked from.

Example:

which can be found in the page Limit of Sine of X over X/Geometric Proof.

WARNING: They have since changed their style of citation linking, so until this is fixed in $\mathsf{Pr} \infty \mathsf{fWiki}$, we will not be able to link to them using the current template.

This is work in progress.

Template:Metamath
This provides a direct link to Metamath.

Example:

which can be found in the page Principle of Transfinite Recursion.

Template:Mizar
This provides a direct link to Mizar.

Example:

which can be found in the page Characterization of Boundary by Basis.

Template:OEIS
This provides a direct link to the On-Line Encyclopedia of Integer Sequences.

Example:

which can be found in the page Square Root of 2 is Irrational.

Template:TORI
This provides a direct link to the TORI source site.

Example:

which can be found in the page Definition:Tetration.

• UPDATE: It is believed that this site may have closed down, as its links now 404.

Template:SpringerOnline
This provides a direct link to a page on the Springer Online Encyclopedia of Mathematics.

Example:

which can be found in the page Definition:Ring (Abstract Algebra).

Template:Stackexchange
This provides a direct link to a page on Mathematics Stack Exchange.

Example:

which can be found in the page Derivative of Sine Function/Proof 5.

### Acceptability of Online Sources

NOTE: The above are currently the ONLY web resources which are to be used as general citation sources.

Others may be added to the above as and when they come to our attention as being particularly useful.

So feel free to challenge this assertion if you find something which appears to be a particularly rich and productive resource.

Scholarly papers which are available online may usually also be cited.

What are not generally acceptable include:

Lecture notes for university courses available online (because they do not stay online forever, and this causes dead links)
Links to pages in homework help forums
Discussion pages in any web forum
Wikipedia -- not because we don't like them, but because as they are self-proclaimed tertiary source, there is no need to do so -- we would rather go to the actual source works. See also Wikipedia:Citing Wikipedia.

## Splitting sources

In some cases it is necessary to split a referenced theorem, proof or definition into multiple pages, because for example:

a theorem contains multiple statements
a proof contains in fact multiple proofs
a definition defines multiple concepts at once.

If so, the source has to be referenced at every page, and its process flow is updated according to the order in which the elements appear in the source.