Skip to content
Snippets Groups Projects
Normal view Permalink
2015-07-22-New-Demo-OEIS.md 327 B
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    new
    Michael Kohlhase committed
    1 2 
    ---
layout: post
    Tom Wiesing's avatar
    Proper author  
    Tom Wiesing committed
    3 
    author: mkohlhase
    Michael Kohlhase's avatar
    new
    Michael Kohlhase committed
    4 5 
    title: New Demo - Text and Formula search for OEIS
tags:
    Tom Wiesing's avatar
    Make posts nicer  
    Tom Wiesing committed
    6 
        - Demos
    Michael Kohlhase's avatar
    new
    Michael Kohlhase committed
    7 8 9 10 
    ---
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