Galois Wiki (математический справочник)
ПрологUniquation - это математическая поисковая система, которая ищет решения среди уравнений, неравенств и прочих математических объектов, размещенных в интернете. Потрогать прототип можно здесь: uniquation.ru. Подробности ищите в презентации (http://uniquation.s3.amazonaws.com/presentation/pages/about.html) и статье на хабре (http://habrahabr.ru/blogs/i_am_advertising/71523/).
На hackday мы хотим добавить в поисковик компонент, который по частной задаче будет находить решение общей. Например, по запросу x^2+3x+2=0 можно будет найти решение для ax^2+bx+c=0, уточнить его для конкретных коэффициентов и показать в выдаче. Необходимо создать микроформат для описания таких классов задач.
Проект
Сайт проекта: http://code.google.com/p/galoiswiki/
Предлагаем поучаствовать в разработке первого открытого (код под GPL, контент по CC-BY) математического справочника, поддерживающего этот микроформат, а, следовательно, и уникальный поиск. Справочник будет создан в wiki стиле, то есть любой человек сможет его редактировать.
Мы считаем, что данную задачу реально сделать за hackday weekend, и она принесёт реальную пользу интернет-сообществу в качестве математического справочника с удобным поиском и структурированным доступом.
Для реализации разыскиваются:
1. web-программист (желательно C# и ASP.NET (*), если есть опыт под mono, то вообще супер)
2. программист, умеющий писать сервисы (daemon) под linux (debian) на каком-либо скриптовом языке из TCL, Ruby или Python и знакомый с TeX'ом.
3. дизайнер/верстальщик
4. человек, знающий, что такое ODE/PDE, и владеющий слогом (умеющий писать внятные тексты - копирайтер?)
Система контроля версий: Mercurial
База данных: MySQL
(*) в любом другом случае важно, чтобы программист хорошо умел настраивать под него (язык) web server.
После hackday проект будет хоститься на сервере Uniquation и станет доступным для использования и дальнейшего развития.





