×

Found 799 Documents (Results 1–100)

Infra soft \(\beta\)-open sets and their applications on infra soft topological spaces. (English) Zbl 07820206

Zeidan, Dia (ed.) et al., Mathematics and computation. IACMC 2022. Selected papers based on the presentations at the 7th international Arab conference on mathematics and computations, Zarqa, Jordan, May 11–13, 2022. Singapore: Springer. Springer Proc. Math. Stat. 418, 391-405 (2023).
MSC:  00B25
PDFBibTeX XMLCite
Full Text: DOI

Solving the soft convergence problem for controlled oscillatory systems based on the time dilation principle. (English. Ukrainian original) Zbl 1520.91059

Cybern. Syst. Anal. 59, No. 3, 428-438 (2023); translation from Kibern. Sist. Anal. 59, No. 3, 83-94 (2023).
MSC:  91A23 49N70
PDFBibTeX XMLCite
Full Text: DOI

Isabelle/HOL/GST: a formal proof environment for generalized set theories. (English) Zbl 07691289

Buzzard, Kevin (ed.) et al., Intelligent computer mathematics. 15th international conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13467, 38-55 (2022).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software