Математическа търсачка

[sgeorgiev]

Искам да ви представя математическата търсачка която съм ръзработил.

адреса е: www.math-search.com

Търсачката предлага удобен интерфейс за въвеждане на математически формули.

Очаквам вашите мнения относно полезноста на търсачката.

Подържа Firefox и Internet Explorer. За да я използвате с IE ви е необходим MathPlayer. На сайта има подробни инструкции.

Надявам се разработката да ви хареса.

[xyz]

Хубаво е да кажеш логиката на която търси търсачката.

По принцип в момента няма свястна търсачка за математическото търсене. Ето първото нещо, което трябва да направиш (ако вече не е реализирано):

Ако търсиш израз "(a+b)^2=a^2+2ab+b^2", то трябва да намериш също така и изрази от вида: "(x+y)^2=x^2+2xy+y^2". Променливите в математиката не са от значение.

Може и много други идеи да се дадат. Като начало може ли търсачката да търси в формулите в Wikipedia?

Междо другото само с формули едва ли ще е нещо полезно. Освен формули, то трябва и текст да се търси. Ами и трябва по-интелигентно да се прави. Така да се каже ще имаш доста работа в бъдеще. Освен това търсачките са и скъпо нещо - трудно ще обходиш цялото Интернет пространство - вероятно си се ограничил само на някои сайтове...

[sgeorgiev]

Търсачката търси формули който са публикувани в уеб страниците чрез стандарта MathML. Формулата се представя чрез MathML по следния начин:

<math xmlns="http://www.w3.org/1998/Math/MathML">

 <mi>x</mi>

 <mo>=</mo>

 <mfrac>

  <mrow>

   <mrow>

	<mo>-</mo>

	<mi>b</mi>

   </mrow>

   <mo>&PlusMinus;</mo>

   <msqrt>

	<msup>

	 <mi>b</mi>

	 <mn>2</mn>

	</msup>

	<mo>-</mo>

	<mrow>

	 <mn>4</mn>

	 <mo>&InvisibleTimes;</mo>

	 <mi>a</mi>

	 <mo>&InvisibleTimes;</mo>

	 <mi>c</mi>

	</mrow>

   </msqrt>

  </mrow>

  <mrow>

   <mn>2</mn>

   <mo>&InvisibleTimes;</mo>

   <mi>a</mi>

  </mrow>

 </mfrac>

</math>

Едитора на уеб сайта генерира MathML представяне на формулата която въвеждат потребителите. Когато натисне бутона Search се прави максимално текстово съпоставяне между формулите в базата данни и тази въведена от потребителя. Формулите в резултатната страница се сортират по коефицента на съвпадане. Колкото е по голям коефицента толкова по напред излиза формулата.

Формулете в Wikipedia както и в WWW в поголямата си част са представени чрез изображения. Този начин за представяне на формули чрез изибражения е изключително пагубен за всички търсачки. Разпознаването на формули от изображения изискво прекалено много процесорно време.

Буквите с който се представят неизвастните(променливите) зависят силно от контекста в които се намира самата формула. В едни случаи буквата "а" може да се тълкува като константа а в други като променлива.

Как би трябвало да изглежда една заявка към математическа търсачка за да бъде полезна.

Очаквам да споделите и останалите идей които имате.

[xyz]

Едитора на уеб сайта генерира MathML представяне на формулата която въвеждат потребителите. Когато натисне бутона Search се прави максимално текстово съпоставяне между формулите в базата данни и тази въведена от потребителя. Формулите в резултатната страница се сортират по коефицента на съвпадане. Колкото е по голям коефицента толкова по напред излиза формулата.

Какво значи максимално текстово съпоставяне? "(x+y)^2" ще го съпостави ли на "(a+b)^2"?

Формулете в Wikipedia както и в WWW в поголямата си част са представени чрез изображения. Този начин за представяне на формули чрез изибражения е изключително пагубен за всички търсачки. Разпознаването на формули от изображения изискво прекалено много процесорно време.

Ако човек си регистрира акаунт в Wikipedia, то след това от настройките може да поиска формулите да се представят в MathML формат. Ако е позволено на ботовете да се регистрират, то това ще реши един важен проблем на търсачката - в Wikipedia ужасно много качествена математика (говоря за английската такава, а не за българската).

Относно картинките, то наистина отнемат голямо процесорно време, но пък от друга страна MathML не успява особено да се наложи като стандарт, така че и сега 98% от математическите сайтове са с картинки. Неналагането като стандарт е логично, защото математиците рядко ползват някакви тежки приложения за да си генерират страниците, а обикновето знаят малко HTML и си пишат страниците директно с текстов редактор. MathML е твърде тромав стандарт, пък и не са известни средства за генериране на формулите. Може да направиш онлайт помощна страница за превръщането от LaTex към MathML.

Буквите с който се представят неизвастните(променливите) зависят силно от контекста в които се намира самата формула. В едни случаи буквата "а" може да се тълкува като константа а в други като променлива.

Това обяснение, че извършването на субституции е безмислено ли беше? По-скоро е обратното, т.е. трябва да се мисли сериозно за контекста, а това означава изкуствен интелект например.

Как би трябвало да изглежда една заявка към математическа търсачка за да бъде полезна.

Очаквам да споделите и останалите идей които имате.

Работата е там, че понякога ми е отнемало и повече от ден за да търся нещо, което при това най-накрая го намирам. Какво съм търсил и как съм го намери не си спомням, но ако го правих на момента, то веднага можех да дам "инструкции" какво трябва да знае тъпата търсачка, за да не си загубя толкова време.

Понякога проблем на търсачките е, че не използват синоними.

При математическа търсачка, то ще трябва според мен да разпознаваш математическите сайтове по ключови думи. Примерно сайтовете в които има MathML формули са математически, откъдето се анализират думите, а сайтове в които се срещат подобни думи вероятно и те са математически. Освен това картинки с различни размери в текстовете обикновено означава математически формули.

А и както споменах не е добре да се търсят само формули, а и смисъла на ограждащия текст. Иначе търсенето единствено на формули се превръща леко като самоцел. Ето пример - да можеш да намираш доказателства на теореми. В гугъл, като търсиш "доказателство", не става. В повечето случаи открива изречение от вида: "Такова доказателство може и да не може да бъде намерено". Очевидно в подобно изречение не се доказва нищо...