PHYSICS JOURNEY / RESEARCH PATTERNS

Cross-Domain Discovery

Переносите методы между задачами, ищите контрпримеры и проверяйте вычисления.

Лаборатория

Вычисления и подписанные свидетельства сохраняются в этом браузере. Для переноса экспортируйте JSON. Node-версия сохраняет их в SQLite.

Результат и проверка

Готовим runtime
  1. План и критерии
  2. Вычисление
  3. Повтор и инварианты
  4. Запись свидетельств

Выберите задачу и запустите расчёт

Граф свидетельств
Критерии, вычисления и сертификаты
Ещё нет результата.

Оценка научной значимости

Численная проверка не оценивает новизну и пользу результата. Здесь можно сохранить собственную заметку для рецензента.

Проверить чужое свидетельство

Импорт проверяет подпись, хеши и параметры. Повторный запуск заново вычисляет результат и сравнивает его с импортированным.

Сохранённые исследования

Работы и границы воспроизведения

Основано на двух исследовательских подходах: перенос математических методов и направленный поиск доказательств. Ниже отдельно указаны доступные вычисления и требования полного воспроизведения.

Методы, схема задачи и расширение протокола · Проверка Киды для GAP