Вампир (обеспечивает теорема)
Вампир (доказательство теоремы) Обзор Vampire Vampire – это автоматическое средство доказательства теорем для классической логики первого порядка. Разработано на факультете […]
Вампир (доказательство теоремы) Обзор Vampire Vampire – это автоматическое средство доказательства теорем для классической логики первого порядка. Разработано на факультете […]
Сегун (набор инструментов) Обзор библиотеки Shogun Shogun – это библиотека машинного обучения с открытым исходным кодом на C++. Предлагает множество
Dasher (программное обеспечение) Описание Dasher Dasher – это метод ввода текста без использования клавиатуры, используя мышь или другие устройства. Может
Открытый офис Apache История и развитие Apache OpenOffice Apache OpenOffice – офисный пакет с открытым исходным кодом, разработанный Apache Software
Mozilla Thunderbird История и развитие Thunderbird Thunderbird был создан как Minotaur, но стал популярным после успеха Firefox. В 2004 году
Призма Mozilla История и концепция Mozilla Prism Prism был проектом, интегрирующим веб-приложения с настольными компьютерами. Проект прекратил свою активность в
Библиотека классов для чисел Обзор библиотеки классов для чисел (CLN) CLN – это бесплатная библиотека для арифметики произвольной точности, написанная
APT (программное обеспечение) Основы APT APT – это система управления пакетами для Debian и других дистрибутивов Linux. APT позволяет устанавливать,