Revista Română de Informatică și Automatică
Pubblicazione: (2017)

Vestnik KRAUNC: Fiziko-Matematičeskie Nauki
Pubblicazione: (2016)

Advanced Manufacturing: Polymer & Composites Science
Pubblicazione: (2017)

Automatika
Pubblicazione: (2018)

Кібернетика та комп'ютерні технології
Pubblicazione: (2021)

ITM Web of Conferences
Pubblicazione: (2014)

International Journal of Science, Technology, Engineering and Mathematics
Pubblicazione: (2023)

Ìнформаційні технології та компʼютерна інженерія
Pubblicazione: (2025)

Herald of Advanced Information Technology
Pubblicazione: (2026)

Transportation and Information Technologies in Russia
Pubblicazione: (2026)

Teaching Mathematics and Computer Science
Pubblicazione: (2024)

Malaysian Journal of Computing
Pubblicazione: (2023)

International Journal of Advanced Studies
Pubblicazione: (2018)

Информатика и автоматизация
Pubblicazione: (2021)

Towards a mathematical system for extension education
di: Kaul, P.N.
Pubblicazione: (1984)

Сучасний стан наукових досліджень та технологій в промисловості
Pubblicazione: (2018)

Information Technology and Libraries
Pubblicazione: (2012)

Wasit Journal of Computer and Mathematics Science
Pubblicazione: (2024)

Organizacija Znanja
Pubblicazione: (2023)

Towards a mathematical system for extension education - II
di: Kaul, P.N., et al.
Pubblicazione: (1987)

PUP Journal of Science and Technology
Pubblicazione: (2025)

Наукові вісті Національного технічного університету України "Київський політехнічний інститут"
Pubblicazione: (2017)

Современные информационные технологии и IT-образование
Pubblicazione: (2018)

Вестник Донского государственного технического университета
Pubblicazione: (2018)

Claim Verification: "The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\) (where exp is the exponential function and ln is the principal branch of the natural logarithm). For every real \(x > 0\), the nested expression \(\text{eml}(1, \text{eml}(\text{eml}(1, x), 1))\) equals the natural logarithm \(\ln(x)\)." — Proved
di: Proof Engine
Pubblicazione: (2026)

Claim Verification: "The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\). There exists a finite binary tree consisting solely of eml operations, whose 9 leaves are drawn from \(\{1, x, y\}\), such that the tree evaluates exactly to \(x \times y\). The tree has K = 17 tokens (8 eml operations and 9 leaves), and the identity holds for all complex \(x\) and \(y\) (in the algebraic setting where \(\ln \circ \exp\) is the identity)." — Proved
di: Proof Engine
Pubblicazione: (2026)

Ķazaķstan-britan tehnikalyķ universitetìnìņ habaršysy
Pubblicazione: (2023)

Advanced Engineering Research
Pubblicazione: (2021)

International Journal of Computers Communications & Control
Pubblicazione: (2017)

Hexagon
Pubblicazione: (2024)

Informatika
Pubblicazione: (2017)

المجلة العربية الدولية لتكنولوجيا المعلومات والبيانات
Pubblicazione: (2026)

ROBOMECH Journal
Pubblicazione: (2015)

Revista Minerva
Pubblicazione: (2024)

Физика волновых процессов и радиотехнические системы
Pubblicazione: (2023)

Enterprise Modelling and Information Systems Architectures
Pubblicazione: (2021)