NTCIR / IR Systems / European Spreadsheet Risks Interest Group / Zentralblatt / /
Country
Japan / / /
Facility
Jacobs University / Mizar Mathematical Library / /
IndustryTerm
killer applications / open-source full text search engine / fulltext search capabilities / search using exact matches / to find any solutions / text search / formula search engine / search practice / search button / search data / web application / similarity search / search intent / search functionality / web service / open source software / content-based full-text search engine / text search engine / keyword search / math search engine / web interface / web-based formula search engines / Web Search Interfaces / profile information systems / Search front-ends / formula search / Web Consortium / formula search system / simultaneous full-text search / Web Search / typed search / search query / separate web user interface / web front-end / unification search queries / /
MarketIndex
SET 100 / MWS / SET 50 / /
OperatingSystem
GNU / /
Organization
Cornell / International Congress / Jacobs University / Leibniz association / /
Person
Heinrich Stamerjohanns / Masakazu Suzuki / Deyan Ginev / John Doe / Andrea Kohlhase / Bogdan A. Matican / Tom Wiesing / James Davenport / Iadh Ounis / Stephan Watt / Corneliu Prodescu / Johan Jeuring / Petr Sojka / Corneliu-Claudiu Prodescu / Christian Liguda / Michael Kohlhase / Serge Autexier / Daniel Hasegan / Corneliu C. Prodescu / Bruce Miller / Ron Ausbrooks / Mihnea Iancu / Michael Kohlhase Corneliu Prodescu / /
Position
TReC evaluator / /
Product
Apache / /
ProgrammingLanguage
XHTML / HTML / /
PublishedMedium
Zentralblatt Math / the Zentralblatt Math / Lecture Notes in Computer Science / /
Technology
XML / JSON / API / search engine / HTML / pdf / HTTP / done using a RESTful HTTP API / /