Skip to content
Snippets Groups Projects
Commit 8aedbc97 authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

more

parent 58932959
Branches
No related tags found
No related merge requests found
Pipeline #1486 passed
......@@ -14,11 +14,11 @@ people:
- cprodescu
- rhambasan
- ahambasan
- twiesing
supported-by:
- mathsearch
- odk
- oaf
logo: public/kwarc_logo.svg
website: http://search.mathweb.org
......@@ -36,3 +36,10 @@ MWS is the [formula search engine](https://zbmath.org/formulae/) employed in
[Zentralblatt Math](http://zbmath.org); see a
[demo on a mathematical subset](http://arxivsearch.mathweb.org) of the
[arXMLiv data set](/projects/arXMLiv/) [further demos](http://search.mathweb.org).
The MathWebSearch system is Open Source,
[developed on GitHub](https://github.com/MathWebSearch), is (by now) easily deployable via
a set of docker containers. We can give your project a search interface like the
[nLab search](https://nlabsearch.mathweb.org/) for [nLab](https://ncatlab.org/) at the
cost of theming the [user interface](https://github.com/MathWebSearch/frontend) and
[building a harvester](https://github.com/MathWebSearch/nlab_harvester).
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment