Все доступные журналы
Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску
Общий список журналов сайта Онлайн справочник. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 08:56, 27 февраля 2024 EducationBot обсуждение вклад создал страницу Английская Википедия:Difference bound matrix (Новая страница: «{{Английская Википедия/Панель перехода}} In model checking, a field of computer science, a '''difference bound matrix (DBM)''' is a data structure used to represent some convex polytopes called '''zones'''. This structure can be used to efficiently implement some geometrical operations over zones, such as testing emptyness, inclusion, equality, and computing the intersection and the sum of two zones. It is, fo...»)