בפגישה היום 21 .11 2012  של המכון לחקר האינטרנט של אוניברסיטת תל אביב  התקיים סמינר פתיחת השנה בנושא מנועי חיפוש ופער דיגיטלי.

 אחת ההרצאות  הייתה הרצאתה של מיכל אבני  בנושא Symbolab  –  מנוע חיפוש סמנטי חדש למתמטיקה ולמדעים – פיתוח ישראלי של חברת EqsQuest שמיכל נמנית על מייסדיו. . לצערי לא התאפשר לי להיות  נוכחת בהרצאה  והדיווח על המנוע הוא על סמך המידע באתר המנוע  ובבלוג הנלווה והתנסות קצרה  עם המנוע. .

 Symbolab     מאפשר חיפוש משוואות, נוסחאות וביטויים באמצעות סימנים מתמטים ומדעיים בנוסף לחיפוש טקסט. מנוע החיפוש שם לו למטרה לספק את התוצאות הרלוונטיות ביותר לשאילתות מסוג זה ולשם כך הוא משתמש באלגוריתם חכם  שמנסה להבין את המשמעות וההקשר של שאילתות החיפוש. הוא כולל באינדקס שלו  טקסט מלא ונוסחאות ממגוון  מקורות מידע  מקוונים חופשיים – אנציקלופדיות, מילונים, פרסומים אקדמיים, הרצאות, ספרים ומקורות נוספים עדכניים בתחומים מתמטיקה, פיזיקה וכימיה.

 מקורות המידע שלהלן :Wikipedia, Wikibooks,  Wikiversity, MIT OCW ,  Stanford SEE, MathWorld, Scienceworld, Khan Academy, הם רק חלק ממקורות המידע שכלולים באינדקס של המנוע.

 באתר יש  עורך שמאפשר בקלות להזין בתיבת החיפוש  נוסחאות מתמטיות . מנוע החיפוש מספק פתרונות וגרפים לשאילתות שמבוססות על נוסחאות מתמטיות כאשר זה ישים  וגם מידע טקסטואלי רלוונטי.

אפשר להגביל מראש את תוצאות החיפוש למקור מסוים ואפשר גם לעדן את השאילתות ולסנן את תוצאות החיפוש על פי מקורות המידע השונים וקטגוריות נושאיות.

 כמו כן  יש אפשרות להתקין תוסף תוכנה Quick Search  לדפדפנים  Chrome ו- Firefox  שמציג אייקון ליד נוסחאות במספר אתרים נתמכים: Wikipedia, Wikibooks , StakExchange MathOverflow .לחיצה על האייקון תציג מידע על הנוסחה.  בעתיד הכוונה להרחיב את מספר האתרים הנתמכים.

 לאתר המנוע