Вампир (обеспечивает теорема)
Вампир (доказательство теоремы) Обзор 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 — это бесплатная библиотека для арифметики произвольной точности, написанная