archive-ru.com » RU » R » RAS.RU Total: 547 Choose link from "Titles, links and description words view": Or switch to
"Titles and links view". |

- Laboratory of Mathematical Logic | of PDMI RAS

pdmi ras ru hirsch Maxim A Vsemirnov Interests diophantine equations Hilbert s Tenth Problem group theory Homepage http logic pdmi ras ru vsemir Vladimir P Orevkov Interests logic proof theory Homepage http logic pdmi ras ru orevkov Senior Researchers Dmitry M Itsykson Interests proof complexity average case complexity Homepage http logic pdmi ras ru dmitrits Dmitry V Karpov Interests graph theory Homepage http logic pdmi ras ru dvk Researchers Alexander S Kulikov Interests circuit complexity algorithms for NP hard problems combinatorics Homepage http logic pdmi ras ru kulikov Alexei V Pastor Interests graph theory Homepage http logic pdmi ras ru pastor Sergey I Nikolenko Interests theoretical cryptography computational complexity machine learning Homepage http logic pdmi ras ru sergey Junior Researchers Alexander Smal Interests proof complexity structural complexity algorithms Homepage http logic pdmi ras ru smal Dmitry Sokolov Interests computational complexity cryptography combinatorics mathematical logic Homepage http logic pdmi ras ru sokolov PhD Students Alexander Knop Interests proof complexity structural complexity algorithms cryptography Homepage http logic pdmi ras ru knop Ivan Bliznets Interests exact algorithms fpt algorithms kernelization approximation algorithms expanders Homepage http mit spbau ru bliznets Former Svetlana Obraztsova Interests graph theory social choice Homepage https sites google com site svobraztsova Nikolay A Shanin Interests logic proof theory Homepage http logic pdmi ras ru shanin Olga Melanich Interests cryptography complexity Homepage http logic pdmi ras ru staff olga melanich Arist Kojevnikov Interests proof complexity exact algorithms algorithms for SAT Homepage http logic pdmi ras ru arist Ivan Monakhov Interests proof complexity computational complexity cryptography Homepage http logic pdmi ras ru staff ivan monakhov Nikolay Gravin Interests algorithmic game theory graph theory combinatorics and geometry Homepage http logic pdmi ras ru gravin Andrey Bovykin Interests logic Homepage http logic pdmi ras ru andrey Evgeny Dantsin Interests algorithms and computational complexity Homepage

Original URL path: http://logic.pdmi.ras.ru/ (2015-09-08)

Open archived version from archive - Laboratory of Mathematical Logic | of PDMI RAS

pdmi ras ru hirsch Maxim A Vsemirnov Interests diophantine equations Hilbert s Tenth Problem group theory Homepage http logic pdmi ras ru vsemir Vladimir P Orevkov Interests logic proof theory Homepage http logic pdmi ras ru orevkov Senior Researchers Dmitry M Itsykson Interests proof complexity average case complexity Homepage http logic pdmi ras ru dmitrits Dmitry V Karpov Interests graph theory Homepage http logic pdmi ras ru dvk Researchers Alexander S Kulikov Interests circuit complexity algorithms for NP hard problems combinatorics Homepage http logic pdmi ras ru kulikov Alexei V Pastor Interests graph theory Homepage http logic pdmi ras ru pastor Sergey I Nikolenko Interests theoretical cryptography computational complexity machine learning Homepage http logic pdmi ras ru sergey Junior Researchers Alexander Smal Interests proof complexity structural complexity algorithms Homepage http logic pdmi ras ru smal Dmitry Sokolov Interests computational complexity cryptography combinatorics mathematical logic Homepage http logic pdmi ras ru sokolov PhD Students Alexander Knop Interests proof complexity structural complexity algorithms cryptography Homepage http logic pdmi ras ru knop Ivan Bliznets Interests exact algorithms fpt algorithms kernelization approximation algorithms expanders Homepage http mit spbau ru bliznets Former Svetlana Obraztsova Interests graph theory social choice Homepage https sites google com site svobraztsova Nikolay A Shanin Interests logic proof theory Homepage http logic pdmi ras ru shanin Olga Melanich Interests cryptography complexity Homepage http logic pdmi ras ru staff olga melanich Arist Kojevnikov Interests proof complexity exact algorithms algorithms for SAT Homepage http logic pdmi ras ru arist Ivan Monakhov Interests proof complexity computational complexity cryptography Homepage http logic pdmi ras ru staff ivan monakhov Nikolay Gravin Interests algorithmic game theory graph theory combinatorics and geometry Homepage http logic pdmi ras ru gravin Andrey Bovykin Interests logic Homepage http logic pdmi ras ru andrey Evgeny Dantsin Interests algorithms and computational complexity Homepage

Original URL path: http://logic.pdmi.ras.ru/staff (2015-09-08)

Open archived version from archive - Teaching/Seminars | Laboratory of Mathematical Logic

Problem Gallery Contacts Search Search this site Home Teaching Seminars Seminars City seminar on Mathematical Logic Seminar on Discrete mathematics Seminar on Complexity Theory Teaching Faculty of Mathematics and Mechanics of St Petersburg State University Chair of Mathematical and Information

Original URL path: http://logic.pdmi.ras.ru/teaching-seminars (2015-09-08)

Open archived version from archive - Activities | Laboratory of Mathematical Logic

06 The International Computer Science Symposium in Russia CSR 2006 was held in St Petersburg from June 8 to June 12 2006 Methods of Logic in Mathematics III 2005 Joint Advanced Student School JASS 05 Methods of Logic in Mathematics II 2004 The meeting Logic Algebra and Geometry Methods of Logic in Mathematics I was held in St Petersburg Russia from June 1 to June 7 2004 2003 Second St

Original URL path: http://logic.pdmi.ras.ru/activities (2015-09-08)

Open archived version from archive - Hilbert's Tenth Problem | Laboratory of Mathematical Logic

Problem The aim of this page is to promote research connected with the negative solution of Hilbert s Tenth Problem The negative solution of this problem and the developed techniques have a lot of applications in theory of algorithms algebra number theory model theory proof theory and in theoretical computer science Statement of the problem History of the problem and its solution Bibliography Homepage of a book about the problem

Original URL path: http://logic.pdmi.ras.ru/hilberts-tenth-problem (2015-09-08)

Open archived version from archive - Main gallery | Laboratory of Mathematical Logic

10th Problem Gallery Contacts Search Search this site Home Gallery List smal s Galleries Main gallery Yury Matiy Edward Hir Yury Matiy Edward Hir Yury Matiy Edward Hir Nikolay Sh Nikolay Sh Laboratory Vladimir O Laboratory Laboratory Yury Matiy See

Original URL path: http://logic.pdmi.ras.ru/gallery (2015-09-08)

Open archived version from archive - Contacts | Laboratory of Mathematical Logic

Teaching Seminars Activities Hilbert s 10th Problem Gallery Contacts Search Search this site Home Contacts Address Steklov Institute of Mathematics at St Petersburg 27 Fontanka St Petersburg 191023 Russia office

Original URL path: http://logic.pdmi.ras.ru/contacts (2015-09-08)

Open archived version from archive - Пятница, 10 июля, 13-00, 106 ауд. | Laboratory of Mathematical Logic

in dimension one whereas Paterson s result from 1970 shows that already in dimension three there are undecidable integer matrix problems Apparently the studies in dimension two have been conducted only relatively recently The study in dimension two opens a variety of interesting problems It will be pointed out that for example the membership problem suitably restricted for semigroups is NP hard whereas the corresponding problem for groups is in

Original URL path: http://logic.pdmi.ras.ru/seminars/dm-seminar/2015-07-10 (2015-09-08)

Open archived version from archive