ПРИМЕНЕНИЕ В GINV ДИНАМИЧЕСКОГО ПЕРЕРАСПРЕДЕЛЕНИЯ ПАМЯТИ

Обложка

Цитировать

Полный текст

Открытый доступ Открытый доступ
Доступ закрыт Доступ предоставлен
Доступ закрыт Доступ платный или только для подписчиков

Аннотация

Представлена новая версия GInv (Gröbner Involutive) по вычислению инволютивных базисов Грёбнера в виде библиотеки на языке C++11. В GInv для динамических структур данных, таких как списки, красно-черные и бинарные деревья, библиотеки GMP для вычислений с целыми числами с произвольной точностью использовано объектно-ориентированное перераспределение памяти. Интерфейс пакета оформлен в виде модуля языка Python3.

Об авторах

Ю. А. Блинков

Саратовский национальный исследовательский государственный университет имени Н.Г. Чернышевского; Российский университет дружбы народов (РУДН)

Email: blinkovua@info.sgu.ru
Россия, 410012, Саратов, ул. Астраханская, д. 83; Россия, 117198, Москва, ул. Миклухо-Маклая, д. 6

Е. Ю. Щетинин

Финансовый университет при Правительстве Российской Федерации

Автор, ответственный за переписку.
Email: riviera-molto@mail.ru
Россия, 125167, Москва, Ленинградский пр-т, д. 49

Список литературы

  1. Buchberger B. Gröbner bases: an Buchberger algorithmic method in polynomial ideal theory // Recent Trends in Multidimensional System Theory / Ed. by N.K. Bose. V. 6. Reidel, Dordrecht, 1985. P. 184–232.
  2. Жарков А.Ю., Блинков Ю.А. Инволютивные системы алгебраических уравнений // Программирование. 1994. № 1. С. 53–56.
  3. Gerdt V.P., Blinkov Yu.A. Minimal involutive bases // Mathematics and Computers in Simulation. 1998. V. 45. P. 543–560.
  4. Faugère J.-C. A new efficient algorithm for computing Gröbner bases (F4) // Journal of Pure and Applied Algebra. V. 139 (1–3). 1999. P. 61–88.
  5. Блинков Ю.А., Гердт В.П. Специализированная система компьютерной алгебры GINV // Программирование. 2008. № 2. С. 67–80.
  6. McCarthy J. Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I // Commun. ACM, 1960. № 4. P. 184–195.
  7. Bansal A., Goel S., Shah P., Sanyal A., Kumar P. Garbage Collection Using a Finite Liveness Domain // Proceedings of the 2020 ACM SIGPLAN ISMM, 2020. P. 1–15.
  8. Yang A.M., Österlund E., Wilhelmsson J., Nyblom H., Wrigstad T. ThinGC: Complete Isolation with Marginal Overhead //Proceedings of the 2020 ACM SIGPLAN ISMM, 2020. P. 74–86.
  9. Onozawa H., Ugawa T., Iwasaki H. Fusuma: Double-Ended Threaded Compaction //Proceedings of the 2021 ACM SIGPLAN ISMM, 2021. P. 94–106.
  10. Tripp C., Hyde D., Grossman-Ponemon B. FRC: A High-Performance Concurrent Parallel Deferred Reference Counter for C++ // Proceedings of the 2018 ACM SIGPLAN ISMM, 2018. P. 14–28.
  11. Seyri A., Pan A., Vamanan B. MemSweeper: Virtualizing Cluster Memory Management for High Memory Utilization and Isolation //Proceedings of the 2022 ACM SIGPLAN ISMM, 2022. P. 15–28.
  12. Гердт В.П., Янович Д.А., Блинков Ю.А. Быстрый поиск делителя Жане // Программирование. 2001. № 1. С. 32–36.
  13. Попов А.С. Кубатурные формулы на сфере, инвариантные относительно группы вращений икосаэдра // Сиб. журн. вычисл. математики / РАН. Сиб. отд-ние. Новосибирск, 2008. Т. 11. № 4. С. 433–440.

Дополнительные файлы

Доп. файлы
Действие
1. JATS XML
Скачать
2.

Скачать (160KB)
Метаданные

© Ю.А. Блинков, Е.Ю. Щетинин, 2023