Symbolic computations in the lattice space Rnc


  • G.G. Ryabov Lomonosov Moscow State University
  • V.A. Serov Lomonosov Moscow State University


lattice space Rnc, representations of k-faces in n-cube, Hausdorff-Hamming metrics, symbolic operations


The methods of cubic structure coding for an n-cube and a cubic n-neighborhood in the lattice space Rnc are developed in a more general context of the language formalism. The choice of an alphabet and its relation to the above problems on cubic structures for a cubic n-neighborhood of radius r (r is integer) are considered with the aim of computer constructing of cubic structures and manifolds with prescribed properties. The mapping of subsets of the set Z onto the finite Hausdorff metric spaces whose points are all k-dimensional faces of an n-cube is analyzed. The efficiency of symbolic computations is discussed in the context of computer implementation. This work was supported by the Russian Foundation for Basic Research (project no. 09-07-12135-ofi_m).

Author Biographies

G.G. Ryabov

V.A. Serov


  1. Долбилин Н.П., Штанько М.А., Штогрин М.И. Кубические многообразия в решетках // Изв. РАН. Сер. матем. 1994. 58, вып. 2. 93-107.
  2. Деза М.А., Штогрин М.И. Вложение графов в гиперкубы и кубические решетки // Успехи матем. наук. 1997. 52, N 6. 155-156.
  3. Бухштабер В.М., Панов Т.Е. Торические действия в топологии и комбинаторике. M.: МЦНМО, 2004.
  4. Stanley R. Combinatoric and commutative algebra. Boston: Birkhäuser, 1996.
  5. Kontchakov R., Pratt-Hartmann J., Wolter F., Zakharyaschev M. Spatial logics and connectedness predicates // Log. Methods in Comp. Science. 2010. 6. 1-43.
  6. Marshall J., Adcroft A., Campin J-M., Hill C. Atmosphere-ocean modeling exploiting fluid isomorphisms // Monthly Weather Review. 2004. 132, N 12. 2882-2894.
  7. Manin Yu.I. Classical computing, quantum computing and Shor’s factoring algorithm. March 1999 (arXiv: quant-ph/9903008v1).
  8. Gaifullin A.A. Construction of combinatorial manifolds with the prescribed sets of links of vertices. January 2008 (arXiv: 0801.4741v1 [math.GT]).
  9. Melikhov S.A. Uniform polyhedra. June 2011 (arXiv: 1106.3249v1 [math.GT]).
  10. Рябов Г.Г. О четверичном кодировании кубических структур // Вычислительные методы и программирование. 2009. 10, N 2. 154-161.
  11. Рябов Г.Г. Хаусдорфова метрика на гранях n-мерного куба // Фундаментальная и прикладная математика. 2010. 16, N 1. 151-155.
  12. Рябов Г.Г., Серов В.А. О метрико-топологических вычислениях в конструктивном мире кубических структур // Вычислительные методы и программирование. 2010. 11, N 2. 146-155.



How to Cite

Рябов Г.Г., Серов В.А. Symbolic Computations in the Lattice Space Rnc // Numerical Methods and Programming (Vychislitel’nye Metody i Programmirovanie). 2012. 12. 409-416



Section 1. Numerical methods and applications

Most read articles by the same author(s)