DSpace at Saint Petersburg State University: MATHEMATICS AND COMPUTER SCIENCE

MATHEMATICS AND COMPUTER SCIENCE Главная страница раздела Просмотр статистики

The investigation of generative models in the problem of finding the optimal answer to specialized questions with application to StackOverflow See

Distribution of Carmichael numbers of special type See

On scaling entropy for group actions See

Congruence closure over interpreted symbols See

Values of the epsilon-invariant for Seifert manifolds See

Calculation of fractional Dehn twist coefficients See

Entity resolution for knowledge graph of business entities See

Designing architecture and developing a mobile application to create a game character See

The study of cardinality of stable matching with bounded degrees of vertices in bipartite graph See

Growth in sandpiles See

Proof complexity lower bounds of combinatorial principles See

Development of the software system for automatic unit test generation on Python language See

Encoding Java Bytecode to CIRCUIT-SAT to solve the problems of programs equivalence cheking See

On inverse sequences with vanishing derived limit See

Enumeration of lattice paths in domains determined by linear inequalities See

Просмотр