1. 2005
  2. Classifying countable Boolean terms

    Selivanov, V. L., 1 Mar 2005, In: Algebra and Logic. 44, 2, p. 95-108 14 p.

    Research output: Contribution to journalArticlepeer-review

  3. Supercongruences for truncated n+1F n hypergeometric series with applications to certain weight three newforms

    Mortenson, E., 1 Feb 2005, In: Proceedings of the American Mathematical Society. 133, 2, p. 321-330 10 p.

    Research output: Contribution to journalArticlepeer-review

  4. The typical dynamics of some mappings determined by piecewise linear functions

    Malets, M. N. & Pilyugin, S. Y., Feb 2005, In: Differential Equations. 41, 2, p. 238-245 8 p.

    Research output: Contribution to journalArticlepeer-review

  5. A 2|E|/4-time algorithm for max-cut

    Kulikov, A. S. & Fedin, S. S., 1 Jan 2005, In: Journal of Mathematical Sciences . 126, 3, p. 1200-1204 5 p.

    Research output: Contribution to journalArticlepeer-review

  6. Absolute continuity of the “Even” periodic Schrödinger operator with nonsmooth coefficients

    Tikhomirov, M. & Filonov, N., 1 Jan 2005, In: St. Petersburg Mathematical Journal. 16, 3, p. 583-589 7 p.

    Research output: Contribution to journalArticlepeer-review

  7. An upper bound O(20.16254n) for exact 3-satisfiability: A simpler proof

    Kulikov, A. S., 1 Jan 2005, In: Journal of Mathematical Sciences . 126, 3, p. 1195-1199 5 p.

    Research output: Contribution to journalArticlepeer-review

  8. On an inequality between dirichlet and neumann eigenvalues for the laplace operator

    Filonov, N., 1 Jan 2005, In: St. Petersburg Mathematical Journal. 16, 2, p. 413-416 4 p.

    Research output: Contribution to journalArticlepeer-review

  9. On maps of a sphere to a simply connected space with finitely generated homotopy groups

    Podkorytov, S. S., 1 Jan 2005, In: St. Petersburg Mathematical Journal. 16, 4, p. 719-747 29 p.

    Research output: Contribution to journalArticlepeer-review

  10. Some reducibilities on regular sets

    Selivanov, V. L., 1 Jan 2005, Some reducibilities on regular sets. Vol. 3526. p. 430-439 10 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  11. The SAT2002 competition

    Simon, L., Le Berre, D. & Hirsch, E. A., Jan 2005, In: Annals of Mathematics and Artificial Intelligence. 43, 1-4, p. 307-342 36 p.

    Research output: Contribution to journalArticlepeer-review

ID: 45528956