971 - 980 out of 1,090Page size: 10
  1. 2003

  2. Задачи Санкт-Петербургской олимпиады школьников по математике, 2003 год

    Кохась, К. П., Храбров, А. И., Берлов, С. Л., Иванов, С. В., Карпов, Д. В. & Петров, Ф. В., 2003, Санкт-Петербург: Невский Диалект. 224 p.

    Research output: Book/Report/Anthology › Teaching materials

  3. 2002

  4. Exponential lower bound for static semi-algebraic proofs

    Grigoriev, D., Hirsch, E. A. & Pasechnik, D. V., 1 Dec 2002, Automata, Languages and Programming - 29th International Colloquium, ICALP 2002, Proceedings. p. 257-268 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2380 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  5. On asymptotic volume of Finsler tori, minimal surfaces in normed spaces, and symplectic filling volume

    Burago, D. & Ivanov, S., Nov 2002, In: Annals of Mathematics. 156, 3, p. 891-914 24 p.

    Research output: Contribution to journal › Article › peer-review

  6. A deterministic (2 - 2/(k + 1))n algorithm for k-SAT based on local search

    Dantsin, E., Goerdt, A., Hirsch, E. A., Kannan, R., Kleinberg, J., Papadimitriou, C., Raghavan, P. & Schöning, U., 23 Oct 2002, In: Theoretical Computer Science. 289, 1, p. 69-83 15 p.

    Research output: Contribution to journal › Article › peer-review

  7. An alternative proof of a weak form of serre’s theorem

    Podkorytov, S. S., 1 Jan 2002, In: Journal of Mathematical Sciences . 110, 4, p. 2875-2881 7 p.

    Research output: Contribution to journal › Article › peer-review

  8. Bulk-synchronous parallel gaussian elimination

    Tiskin, A., 1 Jan 2002, In: Journal of Mathematical Sciences . 108, 6, p. 977-991 15 p.

    Research output: Contribution to journal › Article › peer-review

  9. Complexity of semi-algebraic proofs

    Grigoriev, D., Hirsch, E. A. & Pasechnik, D. V., 1 Jan 2002, STACS 2002 - 19th Annual Symposium on Theoretical Aspects of Computer Science, Proceedings. Ferreira, A. & Alt, H. (eds.). Springer Nature, p. 419-430 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2285).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  10. Decidability of hierarchies of regular aperiodic languages

    Selivanov, V. L., 1 Jan 2002, In: Algebra and Logic. 41, 5, p. 337-348 12 p.

    Research output: Contribution to journal › Article › peer-review

  11. Idempotents in the endomorphism ring of an ideal in a p-extension of a complete, discrete valuation field with residue field of characteristic p as a galois module

    Bondarko, M. V., 1 Jan 2002, In: Journal of Mathematical Sciences . 112, 3, p. 4255-4258 4 p.

    Research output: Contribution to journal › Article › peer-review

  12. Order of a function on the bruschlinsky group

    Podkorytov, S. S., 1 Jan 2002, In: Journal of Mathematical Sciences . 110, 4, p. 2882-2885 4 p.

    Research output: Contribution to journal › Article › peer-review

Previous 1...94 95 96 97 98 99 100 101 ...109 Next

ID: 45528956