Kutubxona
Bosh sahifaKatalogVideolarBlogHaqidaQo'llanmaUnilibrary
Kutubxona

Oriental Universitetining elektron kutubxona platformasi. Barcha fanlar bo'yicha kitoblar bir joyda.

Sahifalar

Bosh sahifaKatalogBlogHaqidaQo'llanmaLitsenziyalarKirishRo'yxatdan o'tish

Bog'lanish

info@orientaluniversity.uz
+998 78 113 76 86
@oriental_kutubxona

© 2026 Oriental Universiteti. Barcha huquqlar himoyalangan.

Katalog

7021 ta kitob topildi

Sign-balance of random Laplace eigenfunctions

Stephen Muirhead, Igor Wigman

PDF746.2 KB
Matematika va axborot texnologiyalari
0042 bet
O'qish

Acyclic Monotone Operators Are Not Closed Under Addition

Henry Shugart

PDF265.4 KB
Matematika va axborot texnologiyalari
003 bet
O'qish

Weak action representability of 2-nilpotent groups

Alessandro Dioguardi Burgio, Manuel Mancini, Tim Van der Linden

PDF582.9 KB
Matematika va axborot texnologiyalari
0016 bet
O'qish

Stochastic Krasnoselskii-Mann Iterations: Convergence without Uniformly Bounded Variance

Daniel Cortild, Coralia Cartis

PDF394.9 KB
Matematika va axborot texnologiyalari
0014 bet
O'qish

Increasing arc-connectivity by bounded- and fixed-size inversions

Florian Hörsch, Lucas Picasarri-Arrieta

PDF820.2 KB
Matematika va axborot texnologiyalari
0049 bet
O'qish

Static Vacuum Spacetimes with $Λ<0$ as Attractors of the Ricci-Harmonic Flow

Rasmus Jouttijärvi, Klaus Kroencke, Louis Yudowitz

PDF593.1 KB
Matematika va axborot texnologiyalari
0073 bet
O'qish

Nonconforming virtual element method for the Monge-Ampère equation

Scott Congreve, Alice Hodson, Anwesh Pradhan

PDF720 KB
Matematika va axborot texnologiyalari
0033 bet
O'qish

Strong solutions and stability for a thin-film equation of shear-thinning fluids with contact line in partial wetting

Manuel V. Gnann, Christina Lienstromberg, Katerina Nik

PDF930.7 KB
Matematika va axborot texnologiyalari
0051 bet
O'qish

On the rank of quaternion Hankel matrices

Philippe Flores, Julien Flamant, Nicolas Le Bihan

PDF397.7 KB
Matematika va axborot texnologiyalari
0011 bet
O'qish

Rethinking Math Reasoning Evaluation: A Robust LLM-as-a-Judge Framework Beyond Symbolic Rigidity

Erez Yosef, Oron Anschel, Shunit Haviv Hakimi, Asaf Gendler, Adam Botach, Nimrod Berman, Igor Kviatkovsky

PDF3.8 MB
Matematika va axborot texnologiyalariTabiiy tilni qayta ishlash
0018 bet
O'qish

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification

Md Erfan, Md Kamal Hossain Chowdhury, Ahmed Ryan, Md Rayhanur Rahman

PDF357.3 KB
Matematika va axborot texnologiyalariDasturlash
0016 bet
O'qish

Degeneration order of $3\times 3$ nilpotent matrix tuples

Mátyás Domokos, Botond Miklósi

PDF516.5 KB
Matematika va axborot texnologiyalari
0022 bet
O'qish
1234567