Wolframalpha + Wikipedia =ガロア/ Wiki

Maple、Maxima、またはMathematicaを想像してください。仕事のルールは百科事典の記事であり、逆に百科事典はそれを補完し、コンピューター代数の仕事を改善します。 この考えは、 Galois / Wiki （Galois / Wiki）-インテリジェント検索を備えた数学百科事典の根底にあります。







アプローチは非常に簡単です。セマンティックマークアップのおかげで、システムは記事のどの式が方程式であり、どの式がその解決策であるかを「認識」します。 この情報に加えて、どの変数がパラメーター化された方程式のファミリーに関する記事のパラメーターであるかを示すことができ、このファミリーの任意の方程式によってこの記事を見つけることができます（そして、それで解決策となります）。 このアプローチを図に示します。



方程式とその解に関する記事に加えて、システムは数学オブジェクトとそのプロパティに関する記事、および数式に関する記事をサポートしています。



Galois / Wikiプロジェクトは、 Habrですでに書いた数学的検索エンジンUniquationのスピンオフとして開発されています。 「数学検索エンジンUniquation」および「数式の視覚的入力を備えた数学検索システム」

ウィキペディアを補完できるのに、なぜ百科事典を作成するのですか？

残念ながら、ウィキペディアはそのメタデータを実装および制御できず、プロジェクトの機能はそれらに依存しています。



一方、ウィキペディアの記事では、微分方程式や積分の分類などの一般的な数学的概念について説明していますが、特定の方程式や等式については説明していません。

既にコンピューター代数システム（CAS）を持っているのに、なぜガロア/ウィキを作成するのですか？

CASは定式化された質問に答えることができるため、探したいものがわかっている場合に役立ちます。 しかし、明確な疑問がなく、オブジェクトのプロパティを知りたい場合、コンピューター代数システムは適切ではありません。



もう1つの利点は、すべてのアルゴリズムにシンボリック計算アルゴリズムがあるわけではないため、何かを自動的に計算できない場合でも、答えが見つからないという意味ではありません。



第三に、探したいものを正確に知っていても、CASで表現することが難しい場合があります。 検索の場合、知りたいオブジェクトを入力し、結果を表示するだけです。



しかし、主な利点は、編集に対するオープン性であり、したがって、明日は今日よりもシステムが良くなるということです。 たとえば、Wolframalphaで再帰シーケンス 'f（x）= 5 f（x-1）（1-f（x-1））'（ results ）に関する情報を見つけてみましょう。貴重な結果がないことがわかります。 Galois / Wikiでの検索はオブジェクト（ 結果 ）についての情報を提供しますが、もちろん、ハブに書き込む前にこのメモを追加しましたが、これは利点です。

計画

私が説明したのは、すでに機能しているテクノロジーですが、塗りつぶしのレベルによっては、百科事典ではなく、リファレンスでもありません。 したがって、計画はまず第一に、参考としてガロア/ウィキに記入しています。 これを支援する最初のアルファテスターをハブで見つけることを望んでいます（wikiの積分から始めることができます- 積分のリスト ）。



次に、記事のディスカッション/コメントなどのソーシャル機能を追加して、サイトの周りにコミュニティを作成し、ガイドを百科事典に変える必要があります。