Write an intro text for MWS front page

[kohlhase]

We should have an intro text on the MWS front-end page (e.g. for http://arxivsearch.mathweb.org)

MWS is ...; 
the search mechanism for formulae is unification search, that means..., 
to search for a math object just ..., 
the results are ranked by .... highlighted, 
<a href="more.html">... more</a>

This text should be displayed on the front page where the results will go, And there should be a web page with a longer description. (under more.html, this text should also be linked from all result pages as "help". more.html could also contain tips and tricks for searching.

@Raduh, @cprodescu I guess I will write a first draft and then you can deploy it.

When we have this text, we should probably also tell our friends from ZBMath, so that they can reuse our efforts.

[kohlhase]

OK, here is a first instance of the text, could you please deploy it? And tell me where it is in the sources, so that I can update it later?

<p>The <a href="https://trac.mathweb.org/MWS/wiki">MathWebSearch</a> system (MWS) is a content-based search engine for mathematical formulae. It indexes ​MathML formulae, using a technique derived from automated theorem proving: Substitution Tree Indexing.</p>
<p>MWS performs mathematical full-text search, combining key phrase search with unification-based formula search. Enter a comma-separated list of key phrases into the top search bar and a set of formulae schemata (written in LaTeX with ?a, ?b, ... for query variables; they are marked in red in the formula preview).</p>
<p>A formula schema in a query matches any formula in the MWS index that has an instance  schema as a subformula. Query variables with the same name must be instantiated with the same formula, see the examples for inspiration. <a href="more.html">... more</a>
</p>

It would be great, if we could crosslink the word "examples" in there to the examples button (but I am not sure how that works. @tkw1536 can you help?

The more.html should (eventually) link to the github wiki page that explains about the LaTeX formula syntax and the query semantics (see #88, #89, #90).

[Raduh]

The source file that you can update is at [1] For now, more... is linking to the (empty) MWS wiki.

[1] https://github.com/KWARC/mws-frontend/blob/master/index.html

[kohlhase]

sorry for reopening. But this is better, but very very ugly.

I would like to separate the text into two parts. The first one until "unification-based formula search." (in one

) should go to the right of the red box (which should become left aligned; no more centering please).

And the rest of the text should go below the two search slots. also left aligned.

I suspect that this will look much much better.

[Raduh]

How is it now?

[kohlhase]

much much better, but it would be nice to put the red box to the left and the first text to the right of it to conserve vertical space.

[Raduh]

how about now?

[kohlhase]

wonderful, closing.