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