Skip to content

Integrate MathWebSearch into MathHub #3

Open
Open
Integrate MathWebSearch into MathHub#3
Labels
internal-prio-topCurrently working on thisproject-OpenDreamKitRelated to the OpenDreamKit projecttracker-projecta top-level project, which can have sub-issues.

Description

@tkw1536
tkw1536
opened on Apr 3, 2019

We want to integrate MathWebSearch into MathHub and allow searches directly from the MathHub interface.

  • Run a simple MathWebSearch Instance
  • Run a TemaSearch Instance
  • Update the Frontend
  • Build a generic OMDOC harvester
  • Package, Deploy and Scale

Metadata

Metadata

Assignees

No one assigned

    Labels

    internal-prio-topCurrently working on thisproject-OpenDreamKitRelated to the OpenDreamKit projecttracker-projecta top-level project, which can have sub-issues.

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions