Entity

Time filter

Source Type

Demenkov E.,Saint Petersburg State University |
Kulikov A.S.,Steklov Institute of Mathematics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2011

Kiselev A.P.,Steklov Institute of Mathematics |
Parker D.F.,University of Edinburgh

Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences | Year: 2010

Sagitov S.,Chalmers University of Technology |
Jagers P.,Chalmers University of Technology |
Vatutin V.,Steklov Institute of Mathematics

Theoretical Population Biology | Year: 2010

Enlarging the scope of applicability of successful techniques for automated reasoning in mathematics

Matiyasevich Y.,Steklov Institute of Mathematics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2012

Faddeev L.D.,Steklov Institute of Mathematics

International Journal of Modern Physics A | Year: 2010