diff --git a/potential-members.md b/potential-members.md deleted file mode 100644 index 0232486622594db26a62bde2f018c7d59d3e2d76..0000000000000000000000000000000000000000 --- a/potential-members.md +++ /dev/null @@ -1,24 +0,0 @@ -## Potential Members -initial members I can see include (please extend) - -- KWARC of course -- Magda Wolska at Tübingen Universitz -- Moritz Schubotz and his various collaborators at Konstanz University -- Bley/Lafferty and their project -- Richard Zanibbi (Rochester Institute of Technology) -- Lee Giles (Penn State) -- NIST (Bruce Miller with DLMF and Howard Cohl with DRMF) -- Akiko Aizawa and Goran Topic -- Various Corpus providers like zbMATH (they are moving towards an open content policy), maybe even arXiv. -- maybe Math corporations like WIRIS and Authorea and Volker Sorge's Accessibility outfit? -- Aarne Ranta and friends -- Arnold Neumaier and the Concise Group at Vienna University -- Josef Urban at Prague University has a project in this direction -- there is a group at Google who wants to do automated formalization via Deep Neural Networks -- Jordi Saludes (he die Math Grammars in Molto project and is rumored to start things again) -- Andreas Strotmann (he too). - -And the [International Mathematical Knowledge Trust (IMKT)](http://imkt.org) could provide admin/political support. - - -