Английская Википедия:Difference bound matrix: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

27 февраля 2024

  • текущ.пред. 08:5608:56, 27 февраля 2024‎ EducationBot обсуждение вклад‎ 25 838 байт +25 838‎ Новая страница: «{{Английская Википедия/Панель перехода}} 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...»
Источник — http://wikihandbk.com/wiki/Английская_Википедия:Difference_bound_matrix