Поиск

Материалов:
1 005 012

Репозиториев:
30

Авторов:
761 409

Автор

Ключевое слово

Тип статьи

DOI

ORCID

Дополнительно:

Период публикации

Репозиторий

По вашему запросу найдено документов: 38144

Страница 3 из 3815

Classifying equivalence relations in the Ershov hierarchy

Bazhenov N., Mustafa M., San Mauro L., Sorbi A., Yamaleev M.

© 2020, The Author(s). Computably enumerable equivalence relations (ceers) received a lot

Spectra of algebraic fields and subfields

Frolov A., Kalimullin I., Miller R.

and computability when F is seen as a subfield of F. © 2009 Springer Berlin Heidelberg.

GRAPHENE IN LIGHT OF MOLECULAR THEORY

is utterly mandatory on the way of the theory realization at the computational level. However, the efficacy

Spectra of high n and non-low n degrees

Frolov A., Kalimullin I., Harizanov V., Kudinov O., Miller R.

We survey known results on spectra of structures and on spectra of relations on computable

Degree Spectra for Transcendence in Fields

Kalimullin I., Miller R., Schoutens H.

of any single computably enumerable Turing degree, or of those c.e. degrees above an arbitrary fixed Δ20

A Modular Extension for a Computer Algebra System

Gevorkyan M.N., Korolkova A.V., Kulyabov D.S., Sevast’yanov L.A.

Abstract: Computer algebra systems are complex software systems that cover a wide range

Spectra of algebraic fields and subfields

Frolov A., Kalimullin I., Miller R.

and computability when F is seen as a subfield of F. © 2009 Springer Berlin Heidelberg.

Computer Algebra Tools for Geometrization of Maxwell’s Equations

Korol’kova A.V., Gevorkyan M.N., Kulyabov D.S., Sevast’yanov L.A.

Calculations of optical devices in the geometrized Maxwell’s theory use well-known formalisms

Algebraic theory of DNA recombination

Сверчков С. Р.

Algebraic theory of DNA recombination

Computable Embeddings of Classes of Structures Under Enumeration and Turing Operators

characterizations of the Turing and enumeration computable embeddings of classes of structures.

Страница 3 из 3815