Certloom: Браузерный инструмент для проверки численных решений линейных систем точной арифметикой.
Браузерный инструмент для проверки численных решений линейных систем точной арифметикой.
Главное в цифрах
- Стадия: ранний проект
Как это работает
Проверяет решение solver-а с помощью точной арифметики и строгой диагональной доминантности, выдаёт границы погрешности и переносимый ZIP с независимым Python-чекером на стандартной библиотеке.
Почему мы это показываем
Полезная нишевая идея с честной проверяемостью, но аудитория узкая, а полезность ограничена линейными системами и требует понимания математики; интереса сообщества в материалах не указано.
Источник: Reddit
Стартап-радар
Такие новости первыми, в Telegram