|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Method and apparatus for quick search for identities applicable to specified formulaпатент
- Авторы: Zolotykh A.A., Gasanov E.E., Podkolzin A.S., Kudryavtsev V.B.
- Номер: US 6,637,011
- Дата публикации патента: 21 октября 2003 г.
-
Реферат (описание изобретения):
The present invention is a method for searching an identity base for identities that can be applied to a given formula. The method includes transforming the formulas from an identity base into a standard form, creating a set of code words for said identity base, constructing a lexicographical tree of a code word set of said identity base, and outputting a list of formula numbers from said identity base.
- Добавил в систему: Гасанов Эльяр Эльдарович