Skip to main content
Faculty of Mathematics and Informatics
Home
About Us
History
Academic Staff A-Z
Contact Us
Library
News
Latest News
Events
БГ
EN
Search form
Structure
Faculty Structure
General Assembly
Faculty Council
Dean
Vice-deans
Administration
Dean's Office
Department of Student Affairs
Department of Student Еducation
Academic staff, project and science work
Teachers in English
Finance and Accounting
Information Services Laboratory
Technical service
Departments
Students' Council
Studies
Academic programmes
Bachelor's programmes
Master's programmes
Doctoral degree programmes
ERASMUS+
Lifelong learning
Admission
Bachelor's Degree Programmes
Procedure
Programmes
Exams
Mathematical Guide
The new program at INSAIT
Tournaments and competitions for students
Master's Degree Programmes
Procedure
Exams
Current admission 2023/2024
Doctoral Degree Programmes
Procedure
Programmes by speciality
Exams
Lifelong Learning
Procedure
Qualification Programs
Research
Research structures and people
Laboratories
Centres
Laboratories
Library
Research groups
Doctoral students
Library
Students in research
Doctoral students
Events and Cooperation
Research groups
Scientific publications
Annual of the FMI
Dissertations
Information system Authors
Other publications
IS Authors
More publications
Research Projects
Internal - funded by SU
National Projects
International Projects
Projects Information system (in Bulgarian)
Research calls information
Research Memberships
EUMaster4HPC
Events and cooperation
FMI Colloquium
Conferences organized by FMI
FMI Spring Science Session
National conferences
International conferences
Links with research organizations
Faculty - Industry Relations
Research data bases – ISI, Scopus, …
Competitions
schools
National Networking Competition for students
National IT Olimpiad
universities
Начало
RESEARCH
SCIENTIFIC PUBLICATIONS
ANNUAL OF THE FMI
TOMES ARCHIVE
Tome 90
Tome 90
Editorial note
,
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, p.3, (1998)
90-003.pdf
(159.95 KB)
Scientific programme of the Fourth Logical Biennial
,
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.7, (1998)
90-007.pdf
(71.1 KB)
SKORDEV'S CONTRIBUTION TO RECURSION THEORY
,
Ivanov, Lyubomir
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.9-15, (1998)
90-009-015.pdf
(866.91 KB)
A SCHEMATIC PROOF OF STRONG NORMALIZATION FOR THE SYSTEMS OF THE $\lambda$-CUBE*
,
Stefanova, Milena
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.17-40, (1998)
90-017-040.pdf
(1.97 MB)
FIRST ORDER AXIOMATIZABILITY OF RECURSION THEORY IN CARTESIAN LINEAR COMBINATORY ALGEBRAS
,
Zashev, Jordan
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.41-50, (1998)
90-041-050.pdf
(946.7 KB)
A CATEGORICAL FRAMEWORK FOR CODE EVALUATION METHOD
,
Zashev, Jordan
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.51-75, (1998)
90-051-075.pdf
(2.33 MB)
ADMISSIBILITY IN $\sum_n^0$-ENUMERATIONS
,
Soskova, Alexandra
, and
Soskov Ivan
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.77-90, (1998)
90-077-090.pdf
(1.2 MB)
$\prod_{1}^{0}$-POSITIVE INDUCTIVE DEFINABILITY ON ABSTRACT STRUCTURES
,
Nikolova, Stela
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.91-108, (1998)
90-091-108.pdf
(1.65 MB)
AN INEQUALITY OF DUFFIN-SCHAEFFER-SCHUR TYPE
,
Nikolov, Geno
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.109-123, (1998)
90-109-123.pdf
(1.12 MB)
FACTORIZATIONS OF THE GROUPS $\Omega_{7}(q)$
,
Gentcheva, Elenka
, and
Gentchev Tsanko
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.125-132, (1998)
90-125-132.pdf
(637.68 KB)
Рост целых функций, обращающихся в ноль на аналитическом множестве
,
Mitreva, Maria
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.133-138, (1998)
90-133-138.pdf
(436.21 KB)
A CONSTRAINT BASED SYSTEM FOR LEXICAL KNOWLEDGE RETRIEVAL
,
Mihov, Stoyan
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 2 - Mathématiques Appliquée et Informatique, p.141-148, (1998)
90-141-148.pdf
(659.23 KB)
A MOTION OF A FAST SPINNING RIGID BODY ABOUT A FIXED POINT IN A SINGULAR CASE
,
Ismail, Abdel
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 2 - Mathématiques Appliquée et Informatique, p.149-164, (1998)
90-149-164.pdf
(1.1 MB)
KAM - A KNOWLEDGE-BASED TOOL FOR DEVELOPING COMPUTER ALGEBRA SYSTEMS
,
Nisheva-Pavlova, Maria
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 2 - Mathématiques Appliquée et Informatique, p.165-176, (1998)
90-165-176.pdf
(1.23 MB)
NUMERICAL SOLUTIONS FOR STEADY FLOW PAST A CIRCULAR CYLINDER VIA THE METHOD OF VARIATIONAL IMBEDDING
,
Christov, Christo
, and
Marinova Rossitza
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 2 - Mathématiques Appliquée et Informatique, p.177-189, (1998)
90-177-189.pdf
(1.09 MB)