new

_posts/2015-07-22-New-Demo-OEIS

+---
+layout: post
+author: Michael Kohlhase
+title: New Demo - Text and Formula search for OEIS
+tags:
+    - demo
+---
+Search engine for the [On-line Encyclopedia of Integer Sequences](https://oeis.org) based on [MathWebSearch](https://search.mathweb.org) and [MMT](https://trac.kwarc.info/MMT).
+
+Try it at: http://oeissearch.mathweb.org