Лаборатория математической логики

Вид материала

Содержание

Подобный материал:

ЛАБОРАТОРИЯ МАТЕМАТИЧЕСКОЙ ЛОГИКИ

Ю.В.Матиясевич,Некоторые алгебраические методы вычисления количества раскрасок графов // Зап. Научн. Сем. ПОМИ.- 2001.- Т.283.- № 6.- с.193-205.

Yu.Matiyasevich, Some arithmetical restatements of the Four Color Conjecture // Theoretical Computer Science.- 2001.- Vol.257(1-2).- pp.167-183.

Yu.Matiyasevich, L.Boasson, P.Cegielski, I.Guessarian, Window-Accumulated Subsequence matching Problem is linear // Annals of Pure and Applied Logic.- 2001.- Vol. 113(1-3)

М.А.Всемирнов. Два элементарных доказательства теоремы Фуетера-Полиа о спаривающих многочленах // Алгебра и анализ.- 2001.-T.13.- N 5, с.1-15.

М.А.Всемирнов, Э.А.Гирш, Е.Я.Данцин, С.В.Иванов. Алгоритмы для пропозициональной выполнимости и верхние оценки их сложности // Зап. науч. семин. ПОМИ.- 2001.- T.277.- с.14-46.

M.A.Vsemirnov. A lower bound for the size of any 4-min-wise independent families of permutations // Actes du LLAIC. Universite d'Auvergne - Clermont 1.- 2001.- V.8.- pp.295-300.

M.A.Vsemirnov, The Woods-Erdos conjecture for polynomial rings // Annals of Pure and Applied Logic.- 2001.- V.113.- no.1-3.- pp.331-344.

M.A.Vsemirnov, V.Mysovskikh, C.Tamburini, Triangle groups as subgroups of unitary groups //J. of Algebra.- 2001.- V.245.- no.2.- pp.562-583

E.A.Hirsch, D.Grigoriev, Algebraic proof systems over formulas // Electronic Colloquim on Computational Complexity Report TR01-011.-2001;

E.A.Hirsch, E.Ya.Dantsin, S.V.Ivanov, M.A.Vsemirnov, Algorithms for SAT and upper bounds on their complexity. A survey // Electronic Colloquim on Computational Complexity Report TR01- 12.- 2001;

ftp://ftp.eccc.unitrier.de/pub/eccc/reports/2001/TR01-012

E.A.Hirsch, A.Kojevnikov, Solving Boolean satisfiability using local search guided by unit clause elimination // Proc. of the 7th Intern. Conf. on Principles and Practice of Constraint Programming - CP 2001 // Lect. Notes in Computer Science.- 2001.-Vol.2239.- pp.605-609

E.A.Hirsch, A.Kojevnikov, UnitWalk: A new SAT solver that uses local search guided by unit clause elimination // PDMI preprint 9/2001.

E.A.Hirsch, D.Grigoriev, Algebraic proof systems over formulas // Proc. of the Intern. Workshop on Logic and Complexity in Computer Science.- 2001.- pp.113-135

E.A.Hirsch, E.Dantsin, M.Gavrilovich, B.Konev, MAX SAT approximation beyond the limits of polynomial-time approximation // Annals of Pure and Applied Logic.-2001.- Vol. 113(1-3).- pp. 81-94

E.A.Hirsch, D.Grigoriev, D.V.Pasechnik, Complexity of semi-algebraic proofs // Electronic Colloquium on Computational Complexity, Report TR 01-103, 2001.

В.Б.Жижкун. Верхние оценки высоты термов в решении задачи квазиунификации // Зап. науч. семинаров ПОМИ.- 2001.-Т.277.- c.53-79, 2001.

Д.В.Карпов, Остовное дерево с большим количеством висячих вершин // Дискретная математика.- 2001.- T.13.- в.1.- с.63-72.

Б.Ю.Конев, Верхняя оценка высоты термов в выводах с сечениями по формулам ограниченной глубины связанных вхождений //Зап. науч. семин. ПОМИ.- 2001.- Т. 277.- c. 80-103.

B.Konev, T.Jebelean, Solution lifting method for handling Meta-variables in Theorema //Proc. of the 3rd Intern. workshop on Symbolic and Numeric Algorithms in Scientific Computing, Timisoara, October 2-5, 2001, Romania.

V.P.Orevkov, S.Soloviev, On Categorical Equivalence of Gentzen-style Derivations in IMLL // Proc. of the Intern. Workshop on Logic and Complexity in Computer Science. Universite Paris 12, Creteil, France.- 2001.- pp.223- 232.

А.В.Пастор, Об удалении ребер из k-связного графа без потери k-связности // Материалы VII Междунар. Семин. "Дискретная математика и ее приложения" Ч.2.- Москва: Изд-во МГУ, 2001.- с. 237-239

N.A.Shanin, On a finitary version of mathematical analysis. // Annals of Pure and Applied Logic.- 2001.- Vol.113.-n.1-3.- pp.261-295.

ЛАБОРАТОРИЯ АЛГЕБРЫ

И ТЕОРИИ ЧИСЕЛ

I.Panin, M.Ojanguren, The Witt group of Laurent Polinomials // L'Enseignment Mathematique.- 2001.- Vol. 46 .- pp. 361-383;

I.Panin, A.Smirnov, Push-forwards in oriented cohomology theories of algebraic varieties, // www.math.uiuc.edu/K-theory/0459, 44 pp;

I.Panin; S.Yagunov. Rigidity for Orientable Functors // www.math.uiuc.edu/K-theory

А.Н.Андрианов, Вокруг подъема Икеды // Функц. анализ и его приложения.- 2001.- T. 35 .- в. 2.- с. 70-74.

A.Andrianov, On functional equations satisfied by spinor Euler products for Siegel modular forms of genus 2 with characters // Abh. Math. Sem. Univ. Hamburg .- 2001.- Vol. 71.- pp. 1-20.

A.Andrianov, Diagonalization singular Frobenius operators on Siegel modular forms // Preprint. SFB 478, Math. Inst. Universitaet Muenster.- 2001.- Hft. 166.- pp. 1-27.

B.B.Venkov, Reseaux et design spheriques, ibid // l'Enseignement Mathematique.- 2001.- Vol. 37.-pp. 10-86,.

B.B.Venkov, C.Bachoc, Modular forms,lattices and spherical designs, ibid // l’Enseignment Mathematique.- 2001.- Vol.37.- pp. 87-111.

B.B.Venkov, J.Martinet, Les reseaux fortement eutactiques, ibid // l’Enseignment Mathematique.- 2001.- Vol.37.- pp.112-134.

B.B.Venkov, R.Bacher, Reseaux entiers unimodulaires sans racines en dimensions 27 et 28,ibid,212-267.

B.B.Venkov, P.de la Harpe, Groupes engendres par des reflexions, designs spheriques et reseau de Leech // C.R. Acad.Sc.Paris, 2001

K.V.Zainoulline, The Purity Problem for Functors with Transfers // K-theory.- 2001.- Vol.22.- No.4.- pp. 303-333.

В.В.Ишханов, Б.Б.Лурье, Универсальная задача погружения с циклическим ядром порядка 8 // Зап. науч. cемин. ПОМИ.- 2001.- T. 281.- c. 210-220.

А.И. Скопин, В.И. Мысовских, Вложения непримарных подгрупп в симметрической группе S 9 // Зап. науч. cемин. ПОМИ.- 2001.- T. 281.- c. 237-252.

О.М.Фоменко, Представление целых чисел положительными кватернарными квадратичными формами //Зап. научн. семин. ПОМИ.- 2001.- T. 276.- c. 291-299.

О.М.Фоменко, О поведении автоморфных L-функций в центре критической полосы // Зап. научн. семин. ПОМИ.- 2001.- T. 276 .- c. 300-311.

О.М.Фоменко, Числа классов неопределенных бинарных квадратичных форм // Зап. научн. семин. ПОМИ .- 2001.- T.276.- c. 312-333.

ЛАБОРАТОРИЯ ГЕОМЕТРИИ И

ТОПОЛОГИИ

Yu.Burago, D.Burago, S.Ivanov, A Course in Metric Geometry .- AMS, 2001.- 425 p.-

( Graduate Studies in Math., Vol. 33).

С.В. Буяло, Метрики неположительной кривизны на граф-многообразиях и электромагнитные поля на графах // Зап. Научн. Сем. ПОМИ.- 2001.- Т.280.- № 7.- с.28-72.

S.Buyalo, V.Schroeder, On the asymptotic geometry of nonpositively curved graphmanifolds // Trans. Amer. Math. Soc.- 2001.- Vol. 353.- no.3.- pp. 853-875.

S.Buyalo, Measurability of self-similar spectral geometries // St. Petersburg Math. J.- 2001.- Vol. 12.- no.3.- pp. 353-377.

S.Buyalo, V.Schroeder, Hyperbolic rank and subexponential corank of metric spaces // math.arXiv DG/0102109.- 12 p.

С.В.Иванов, О двумерных минимальных заполнениях // Алгебра и Анализ.- 2001.- T. 13 .- в. 1.- c. 26-38.

С.В.Иванов, Стягиваемое геодезически полное пространство //

А.А.Иванов, Метрическая аксиоматика евклидова пространства // Понтрягинские чтения. Тезисы докладов. –2001.- с. 79.

А.А.Иванов, Метрическая аксиоматика евклидова пространства. Геометрия и топология.// Зап. Научн. Семин. ПОМИ.- Т. 279.- с. 89-110.

А.А.Иванов, Квазитопологические пространства // Математика в Вузе., Материалы междунар. науч-метод. конф. Псков, сентябрь 2001 .- с. 177-178.

G. Mikhalkin, H. Rullgard, Amoebas of maximal area. // Int. Math. Res. Notices.- 2001.- Vol. 9.- pp. 241-251.

П.В. Светлов, Граф-многообразия неположительной кривизны виртуально расслоены над окружностью // Зап. науч. cемин. ПОМИ.- 2001.- T. 280.- c. 272-277.

O.Ya.Viro, Encomplexing the writhe, Topology, Ergodic Theory, Real Algebraic Geometry. Rokhlin's Memorial // Amer. Math. Soc. Transl. ser 2 .- 2001.- Vol 202 (ed. V. Turaev and A. Vershik)

O. Ya. Viro, S. Yu. Orevkov, Congruence mod 8 for real algebraic curves of degree // Russ. Math. Surv..- 2001.- Vol 56.- N 4.- pp. 770-771.

O.Viro, Dequantization of Real Algebraic Geometry on Logarithmic Paper // Proc. of the 3rd European Congress of Mathematics

ЛАБОРАТОРИЯ МАТЕМАТИЧЕСКОГО АНАЛИЗА

S.V.Kislyakov, T.W.Gamelin, Uniform algebras as Banach spaces. // Handbook of the geometry of Banach spaces : Elsevier.- 2001.- Vol. 1.- pp. 671-706.

S.V.Kislyakov, Banach spaces and classical harmonic analysis. // Handbook of the geometry of Banach spaces : Elsevier.- 2001.- Vol. 1.- pp. 871-898.

А.Б. Александров, Мультипликаторы Теплица-Шура для класса S_p(L2(G)) при p<1 // Зап. науч. семин. ПОМИ.-2001.- Т.282

В.И. Васюнин, С.А. Купин, Критерии подобия диссипативного интегрального оператора нормальному оператору // Алгебра и анализ.- 2001.- T. 13 .- В. 3.- с. 65-104.

М.Ф.Гамаль, Квазиподобные слабые сжатия имеют изоморфные решетки инвариантных подпространств // Зап. науч. семин. ПОМИ.- 2001.- Т. 282.- с. 51-65.

Е.Г. Голузина, О множествах значений систем {f (z0),f’(z0),c2} { f (r),f’(r), f (z0)} в классе типично вещественных функций // Зап. науч. семин. ПОМИ.- 2001.- Т. 276.- с. 41-51.

В.В. Капустин, Спектральный анализ почти унитарных операторов // Алгебра и Анализ.- 2001.- Т. 13.- В. 5.- с. 44-68.

В.В. Капустин, Несамосопряженные расширения симметрических операторов // Зап. науч. семин. ПОМИ .- 2001.- Т. 282 .- с. 93-106.

Г.В.Кузьмина, Задачи об экстремальном разбиении римановой сферы // Зап. научн. семин. ПОМИ.- 2001.- Т. 276.- с. 253-275.

ЛАБОРАТОРИЯ СТАТИСТИЧЕСКИХ МЕТОДОВ

Ибрагимов И.А., Об одной задаче функции регрессии // Доклады РАН.- 2001.- Т. 381.- № 6.- с. 1-4.

Ibragimov I.A., Estimation of analytic functions, State of the art in the probability and statistics // Inst. of Math. Statistics. Lecture Notes. - Monograph series.- 2001.- Vol. 36.- pp. 357-383.

Ibragimov I.A., An estimation problem for partial stochastic differential equation, Mini-proceedings: Workshop on SPDE // Centre Math. Phys. and Stoch.- Aarhus.- 2001.- N. 20.- pp. 27 – 33.

Zaitsev A.Yu.,Goetze F., Multidimensional Hungarian construction for vectors with almost Gaussian smooth distributions. // Asymptotical Methods in Probability and Statistics with Applications .- Birkhauser.- 2001.- pp. 101-132. (

Zaitsev A.Yu., Multidimensional version of a result of Sakhanenko in the invariance principle for vectors with finite exponential moments. II. // Теория вероят. и ее прим.- 2001.- V. 46.- № 3.- pp. 535-561.

Zaitsev A.Yu., Multidimensional version of a result of Sakhanenko in the invariance principle for vectors with finite exponential moments. III. // Теория вероят. и ее прим.- 2001.- V. 46.- № 4.- pр. 744-769.

M.Nikulin, V.Bagdonavicius, Accelerated Life Models // Boca Raton: Chapman&Hall/CRC.- 2001.- pр. 348.

M.Nikulin, V.Bagdonavicius, L.Gerville-Reache, On parametric inference for step-stresses models // IEEE Transaction on Reliability. – 2001.

M.Nikulin, V.Solev, Testing Problem for Increasing Function in a Model with Infinite Dimensional Nuisance Parameter // Goodness-of-fit Tests and Validity of Models .- Boston:Birkhauser.-2001.

M.Nikulin, V.Bagdonavicius, Goodness-of-fit Tests for Accelerated Life Models // Goodness-of-fit Tests and Validity of Models.- Boston: Birkhauser.- 2001

M.Nikulin, V.Bagdonavicius, Goodness-of-fit Tests for the Generalized Risk Models.- // Asymptotic Methods in Probability and Statistics with Applications".-Boston: Birkhauser.- 2001.- pp. 385-394.

M.Nikulin, V.Bagdonavicius, Mathematical Models in the Theory of Accelerated Experiments // Mathematics and the 21st Century.- Singapore: World Scientific.- 2001.- pp. 271-303.

M.Nikulin, V.Bagdonavicius, Estimation in Degradation Models with Explanatory variables // Lifetime Data Analysis.- 2001.- Vol. 7.- n.1.- pp. 85-103.

M.Nikulin, V.Bagdonavicius, On goodness-of-fit for accelerated life models // C. R. Acad. Sci. Paris.- Ser. 1.- 2001.-Vol. 332.- n.1.-pp. 171-176.

M.Nikulin, V.Bagdonavicius, Estimation of cycling effect on reliability // Proc. of Intern. Conf. on Recent Advances in Probability and Statistics. Volume in Honor of Prof. Cacoullos .- Chapman and Hall.- 2001.- pp. 537-545.

Солев В.Н., A. Zerbet, Условия локальной асимптотической нормальности, для гауссовский стационарных процессов // Зап. науч. семин. ПОМИ.- 2001.- Т. 278.- с. 225-247.

V. Solev, J. Poir, Estimation lineaire sans biais pour des modeles de regression avec bruit stationnaire // C.R. Acad. Sci.Paris.- Ser.I.- 2001.- T. 333.- pp. 55-60.

V. Solev, Nikulin M., Comparison of some infinite parametric function estimation for goodness-of-fit testing // Goodness of fit test and validity of models .- Boston : Birkhauser.- 2001.- pp. 337-352.

В.Н.Судаков, В.А.Ровский, Эквивалентность и сингулярность гауссовских мер на конической сигма-алгебре // Зап. науч. семин. ПОМИ .- 2001.- T. 278 .- с. 187-203.

V.N.Sudakov, A.V.Sudakov, H.v.Weizsaecker, Typical Distributions: Infinite-Dimensional Approaches // Asymptotic methods in Probability and Statistics with Applications.- Berlin: Birkhaeuser.- 2001

ЛАБОРАТОРИЯ МАТЕМАТИЧЕСКОЙ ФИЗИКИ

G.Seregin, Local regularity of suitable weak solutions to the Navier-Stokesequations near the boundary // J. Math. Fluid Mech.- 2001.- Vol. 3.- № 4.

G.Seregin, On the number of singular points of weak solutions to the Navier-Stokes equations. // Comm. Pure Appl. Math.- 2001.- Vol. 4.- № 8.- pp. 1019-1028.

G.Seregin, M.Bildhauer, M.Fuchs, Local regularity of solutionsof variational problems for the equilibrium configuration of an incompressible, multiphase elastic body // Nonlinear Diff. Equations and Applications.- 2001.- Vol. 8.- pp. 53-81.

O.A. Ладыженская, О связи задачи Стокса и разложении пространствW1_2 i W{-1}_2 // Aлгебра и анализ.- 2001.- Т. 13.- № 4. – с. 119-133.

С.Репин, Двусторонние оценки отклонения от точного решения для равномерноэллиптических уравнений // Труды Санкт-Петербургского Мат. Общества.- 2001.- Т. 9.

С.Репин, Oценки погрешности некоторых двумерных моделей теории упругости // Проблемы Maт. Aнализa.- 2001.- Т. 22.- с. 178-196.

S.Repin and P.Neittaanmaki, A posteriori error estimates for boundary-valueproblems related to the biharmonic operator // East-West J. Numer. Math.- 2001.- V. 9.- № 2.- pp. 157-178.

В.А. Солонников, X.Kox, Lp-оценки для решения нестационарной задачи Стокса // Проблемы Maт. Aнaлизa.- 2001.- Т. 22.- с. 197-239.

В.А. Солонников, Оценка обобщенной энергии в задаче со свободной границе для вязкой несжимаемой жидкости // Зап. Научн. Сем. ПОМИ.- 2001.- Т.282.- № 29.- с.216-243.

V.Solonnikov, Model problems for n-dimensional generalized Stokes equations // Nonlinear Analysis.- 2001.- V.47.- pp. 4139-4150.

V.Solonnikov, A.Fasano, On one-dimensional unsaturated flowin porous medium with hydrophile grains // Functional Differential Equations.- 2001.- V. 8.- № 1-2.- pp. 195-224.

T.Шилкин, Полная внутренняя регулярность решений vumernoi модифицированной сиситемы Навье-Стокса //Aлгебрa и Aнaлиз.- 2001.- Т. 13.- № 1.

T.Shilkin, Partial regularity of weak solutions of the stationary 3D-Boussinesqsystem // Preprint CMAF.- University of Lisbon.- 2001.

ЛАБОРАТОРИЯ МАТЕМАТИЧЕСКИХ ПРОБЛЕМ ГЕОФИЗИКИ

V.M. Babich, A.P. Kiselev, J.M.H. Lawry, A.S. Starkov, A ray description of all wavefields generated by a high-frequency point source near an interface // SIAM J. Appl. Math.-2001.- V. 62.- №.1.-pp.21-40.

A. Katchalov, Y.Kurylev, M.Lassas, Inverse boundary spectral problems // CRC Press.- 2001.- pp. 290.

A.P. Kiselev, I.V. Lindell, Polyadic methods in
elastodynamics // Progress in Electromagnetics Research.- 2001.- V.31.- N.1, pp. 113-154.

A.P.Kiselev, Z.M. Rogoff, Diffraction at jump of curvature on an impedance boundary // Wave Motion.- 2001.- V.33.- N.2.- pp. 225- 243.

A.P.Kiselev, Body waves in a weakly anisotropic medium - II. S waves from a centre of expansion and P waves from a centre of
rotation // Geophys. J. Int.- 2001.- V. 145.- № 3.- pp. 714-720.

A.P.Kiselev, E.A. Vsemirnova, G.N. Dyakova, Dilatation of S waves and rotation of P waves in weakly anisotropic elastic media // Proc. Day on Diffraction-'01.- St.Petersburg Univ.- 2001.- pp.140-143.

Л.А.Молотков, Эффективная модель слоистой среды, в которой чередуются пористые и упругие слои, находящиеся в контакте с проскальзыванием // Зап. науч. семин. ПОМИ.- 2001.- T.275.- c. 165-186.

Л.А. Молотков, Эффективная модель блочной пористой среды с контактами проскальзывания на границах // Зап. науч. семин. ПОМИ.- 2001.- T.275.- c. 140-164.

Л.A.Молотков, Исследование распространения волн в пористых и трещиноватых средах на основе эффективных моделей Био и слоистых сред.- СПб: Наука.- 2001.- с. 348.

Л.А.Молотков, Эффективная модель блочной пористой среды с контактами проскальзывания на границах // Зап. науч. семин. ПОМИ.- 2001.- Т.275.- с. 140-164.

Л.А. Молотков, Эффективная модель слоистой среды, в которой чередуются пористые и упругие слои, находящиеся в контакте с проскальзыванием // Зап. науч. семин. ПОМИ.- 2001.- Т.275.- с. 165-186.

L.A. Molotkov, Effective models of media consisting of alternating porous and elastic layers // 63th EAGE conference. Extended abstracted.- 2001.- V.2 .-P097.- pp.1-4.

L.A. Molotkov, About an effective model of layered porous media // Day on difraction'01. Intern. semin. Abstracts.- St.Petersburg Univ.- 2001.- p.46.

L.A.Molotkov, About effective model of a block porous medium // Day on diffraction'01. Intern. semin. Abstracts.- St.Petersburg Univ.- 2001.- pp. 46-47.

L.A.Molotkov, Equations of the effective model of a porous block medium // Proc. of the Intern. Semin. Day on diffraction’01.- St.PetersburgUniv.-2001.-pp.187-193.

L.A.Molotkov, A.V.Bakulin, An effective media model for alternating layers of fluid and solid: A special case of the Bio model // Advances in anisotropy.- Proc. of the seventh Intern. workshop on seismic anisotropy.- 2001.- pp. 239-254.

Г.И.Петрашень, Распространение сейсмических волновых полей в слоистых средах // Зап. науч. семин. ПОМИ.- 2001.- T. 273.- с. 3-294; T. 274.- с.11-142.

Г.И.Петрашень, А.Г.Рудаков, О путях развития сейсморазведки 20-го века // Зап. науч. семин. ПОМИ.- 2001.- T.274.- с.143-164.

ЛАБОРАТОРИЯ МАТЕМАТИЧЕСКИХ ПРОБЛЕМ ФИЗИКИ

L.Faddeev, A.Niemi, Aspects of Electric-Magnetic Duality in a SU(2) Yang-Mills // Theory,e-Print Archive: hep-th/0101078

L.Faddeev, E.Babaev, A.Niemi, Hidden Symmetry and duality in a charged two condensate Bose system // e-Print Archive: cond-mat/0106152

L.D. Faddeev, R.M. Kashaev, A.Yu. Volkov, Strongly coupled Quantum Discrete Louville Theory 1.Algebraic Approach and Duality // Commun. Math. Phys.- 2001.- V. 219 .- pp. 199-219

P.P. Kulish, N. Manojlovic, Bethe vectors of osp (1|2) Gaudin model // Lett. Math. Phys.- 2001.- Vol. 55.- pp. 77-95.

P.P. Kulish, V.D. Lyakhovsky, A.A. Stolin, Chains of Frobenius subalgebras of so (M) and the corresponding twists // J. Math. Phys.- 2001.- Vol. 42.- pp. 5006-5019.

Н.И. Абаренкова, А.Г. Пронько, Температурный коррелятор третьих компонент локальных спинов в XXZ цепочке Гейзенберга при $\Delta=-\infty$ // Препринт ПОМИ. – 2001.- T.10

N.M. Bogoliubov, A.G. Izergin, N.A. Kitanine, A.G. Pronko, J. Timonen, Quantum dynamics of strongly interacting boson systems: atomic beam splitters and coupled Bose-Einstein condensates // Phys. Rev. Lett..- 2001.- Vol. 86 .- pp. 4439-4442.

N.M. Bogoliubov, R.K. Bullough, V.S. Kapitonov, C. Malyshev, J. Timonen, Finite-temperature correlations in the trapped Bose-Einstein gas // Europhys. Lett..- 2001.- Vol. 55.- pp. 755-761.

N.M. Bogoliubov, A.V. Kitaev, M.B. Zvonarev, Boundary polarization in the six-vertex model // e-print cond-mat/0107146

N.M. Bogoliubov, R.K. Bullough, A.V. Rybin, G.G. Varzugin, J.Timonen, Solitons of q-deformed quantum lattices and the quantum soliton // J. Phys. A.- 2001.- V. 48.- p. 10463.

А.Б. Венков, Е. Бальслев, Кривизна и уравнение Эйнштейна для многообразия группы Якоби // Centrum of Math. Physics and Stochastic.- 2001.- V. 42.

А.Б. Венков, Е. Бальслев, Спектральная теория лапласианов для групп Гекке с примитивным характером // Acta Mathem..- 2001.- V. 186.- pp. 155-217.

R.M. Kashaev, The non-compact quantum dilogarithm and the Baxter equations // J. Stat. Phys.- 2001.- V. 102.- № 3/4 .- pp. 923—936.

R. M. Kashaev, N. Reshetikhin, Symmetrically Factorizable Groups and Set-Theoretical Solutions of the Pentagon Equation // math.QA/0111171.

C. Malyshev, For the product of two parabolic cylinder functions $D_\nu(x)D_\nu(-x)$ at $\Re\nu<0$ by means of the fundamental solution of a Landau-type operator // PDMI preprint. – 2001.- V.4.

M. Semenov-Tyan-Shanski, D. Lebedev, S. Harchov, Unitary representations of Uq (sl2 (R)), the modular double, and the multiparticle q-deformed Toda chains // Comm. Math. Phys.- 2001.

М.М.Скриганов, Теория кодирования и равномерные распределения // Алгебра и Анализ.- 2001.- V. 13.- № 2.- pp. 191-239.

M.M.Skriganov, Coding Theory and Uniform Distributions // Preprint University of Sussex at Brighton.- 2001.- № 2001-06.

M.M.Skriganov, W.W.L.Chen, Explicit Constructions in the Classical Mean Squares Problem in Irregularities of Point Distributions // Preprint Macquarie University.- 2001.- N 01-254.

M.M.Skriganov, S.T.Dougherty, Maximum Distance Separable Codes in the \rho Metric over Arbitrary Alphabets // J. Algeb. Combinatorics.- 2001.

M.M.Skriganov, S.T.Dougherty, MacWilliams Duality and the Rosenbloom-Tsfusman Metric // Московский Мат. Журнал.- 2001.

M.M.Skriganov, A.V.Sobolev, On a Lattice Point Problem arising in the Spectral Analysis of Periodic Operators // Preprint University of Sussex at Brighton.- 2001.- N 2001-08.

L.Takhtajan, P.Zograf, Hyperbolic 2-spheres with conical singularities, accessory parameters, and Kaehler metrics on $\mathcal{M}_{0,n}$ // math.CV/0112170.

V.Tarasov, A.Varchenko, Small elliptic quantum group $e_{\tau,\gamma}(sl_N)$ // Moscow Math. Journal 1 .- 2001.- № 2.- c. 243--286. (Preprint MPI 00--113 (2000))

V.Tarasov, A.Varchenko, Duality for Knizhnik-Zamolodchikov and dynamical equations // Preprint math.QA/0112005,

ЛАБОРАТОРИЯ ТЕОРИИ ПРЕДСТАВЛЕНИЙ
И ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ

А.М. Вершик, Предельные формы типичных геометрических конфигураций и их приложения // Зап. Научн. Сем. ПОМИ.- 2001.- Т.280.- № 7.- с.73-100.

А.М. Вершик, Йор М., Цилевич Н.В., О тождестве Маркова-Крейна и квазиинвариантности гамма процесса // Зап. Научн. Сем. ПОМИ.- 2001.- Т.283.- № 6.- с.21-36.

A.Vershik, N.Tsilevich, M.Yor. An infinite-dimensional analogue of the Lebesgue measure and distinguished properties of the gamma process // J. Functional Analysis.- 2001.- V. 185.- № 1.- pp. 274-296.

A.Vershik, Yu.Yakubovich. Limit shape and fluctuations of random partitions of naturals with fixed number of summands // Moscow Math. Journal.- 2001.- V. 3.

A.Vershik, Graded Lie algebras and Dynamical Systems. // Prep.ESI .- 2001.- V.1086.

A. Vershik, Canonical states on the group of automorphisms of infinite tree (with G.Kuhn) // Prep. ESI.- 2001.- V. 1099.

N.N.Vassiliev, K.V. Kholshevnikov, Geometry of pairs of Keplerian Elliptic Orbits // Computer Algebra and its Application to Physics CAAP 2001.- Dubna.- 2001.- p.33.

Vassiliev N., Kholshevnikov K.V., Orlov S., Ortenberg F., Tublin O., Different Metrizations of the Space of Keplerian Elliptic Orbits // Proceedings of the Israel Annual Conferene on Aerospace Sciences. – Israel.- 2001.- V. 20017.- pp. 498-503.

D. Grigoriev, S.Buss, R.Impagliazzo, T.Pitassi, Linear Gaps Between Degrees for the Polynomial Calculus Modulo Distinct Primes // J. Comput. Syst. Sci..- 2001.- V. 62.- pp. 267-289.

D. Grigoriev, N.Vorobjov, Complexity of Null- and Positivstellensatz Proofs // Ann. Pure and Appl. Logic.- 2001.

D. Grigoriev,Linear Lower Bound on Degrees of Positivstellensatz Calculus Proofs for the Parity // Theor. Comput. Sci..- 2001.- V. 259.- pp. 613-622.

D. Grigoriev, Complexity of Positivstellensatz proofs for the knapsack // Computational Complexity.- 2001.- V. 10.- pp. 139-154.

D. Grigoriev, Approximation and complexity: Liouvillean type theorems for linear differential equations on an interval // Foundations of Computational Mathematics.- 2001.- V. 1.- pp. 289-295.

С.В.Дужин, Инфинитезимальная классификация систем двух уравнений в частных производных первого порядка // Зап. науч. семин. ПОМИ.- 2001.- Т.279.- с.61-69.

S.V.Duzhin, S.V.Chmutov, The Kontsevich integral // Acta Applicandae Math.-2001.- Vol. 6 № 2.- pp. 155-190.

L.Yu. Kolotilina, S.A. Kharchenko, A.A. Nikishin, and A.Yu. Yeremin, A robust AINV-type method for constructing sparse approximate inverse preconditioners in factored form // Numer. Linear Algebra Appl.- 2001.- T. 8.- pp. 165-179.

L.Yu.Kolotilina, Optimally conditioned block matrices // Linear Algebra Appl..-2001.-T.340/1-3.- pp. 55-67 .

Н.Е.Мнев, O топологии циклов в псевдолинейный программах // Зап. Научн. Сем. ПОМИ .- 2001.- Т. 275.-с. 239-250

И.Пономаренко, С.Евдокимов, Об одном семействе колец Шура над конечной циклической группой // Алгебра и анализ.- 2001.- T. 13 .- B. 3.- c. 139-154.

I.Ponomarenko, S.Evdokimov, Two-closure of odd permutation group in polynomial time // Discrete Mathematics.- 2001 .- V. 235/1-3 .- pp. 221-232.

I.Ponomarenko,S.Evdokimov, Characterization of cyclotomic schemes on a finite field and normal Schur rings over a cyclic group // PDMI PREPRINT .- 2001.- V.8.

Н.В. Цилевич, С.В. Керов, Многомерное соответствие Маркова-Крейна // Зап. науч. семин. ПОМИ.- 2001.- Т. 283.- с. 98-122.

A. Эршлер, Асимптотики сноса и энтропии случайного блуждания на группах // Успехи мат. Наук.-2001.- T.57.- B. 5.- c.179-180.

А. Эршлер, Об асимптотике скорости ухода на бесконечность // Зап. научн. семин. ПОМИ.- 2001.- Т.283

А. Ershler, I.Polterovich, Explicit constructions of universal R-trees and asymptotic geometry of hyperbolic spaces // Bull. London Math. Soc. 33.- 2001.- № 6.- pp. 727-734.

Blog

Лаборатория математической логики

Содержание