Results 31 to 40 of about 188,814 (295)
Formalizing Constructive Quantifier Elimination in Agda
, 2018 In this paper a constructive formalization of quantifier elimination is presented, based on a classical formalization by Tobias Nipkow. The formalization is implemented and verified in the programming language/proof assistant Agda.
Pope, Jeremy
core +1 more source
Algebraization Levels in the Study of Probability
Mathematics, 2021 The paper aims to analyze how the different degrees of mathematical formalization can be worked in the study of probability at non-university educational levels.
María Burgos +2 more
doaj +1 more source
Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic
, 2015 We present several known formalizations of theorems from computational complexity in bounded arithmetic and formalize the PCP theorem in the theory PV1 (no formalization of this theorem was known).
Pich, Ján
core +1 more source
Ideal and Real Belief about Belief [PDF]
, 1996 The goal of this paper is to provide a formalization of monotonic belief and belief about belief in a multiagent environment. We distinguish between ideal beliefs, i.e., those beliefs which satisfy certain ``idealized'' properties which are unlikely to ...
Giunchiglia, Enrico, Giunchiglia, Fausto
core +2 more sources
Formal Languages, Formally and Coinductively
Logical Methods in Computer Science, 2017 Traditionally, formal languages are defined as sets of words. More recently, the alternative coalgebraic or coinductive representation as infinite tries, i.e., prefix trees branching over the alphabet, has been used to obtain compact and elegant proofs of classic results in language theory.
openaire +6 more sources
Mathematics, 2023 The increasing significance of theorem proving-based formalization in mathematics and computer science highlights the necessity for formalizing foundational mathematical theories. In this work, we employ the Coq interactive theorem prover to methodically
Dakai Guo, Wensheng Yu
doaj +1 more source
Mutant NPM1 in Acute Myeloid Leukemia Initiation and Maintenance
Aging and Cancer, EarlyView.NPM1 mutations drive acute myeloid leukemia by acting as neomorphic transcriptional regulators that cooperate with Menin–MLL and XPO1 to sustain HOX/MEIS1 expression and block differentiation. Targeting these mutant‐specific transcriptional dependencies provides a rational therapeutic strategy for NPM1‐mutated AML.
Yanan Jiang +3 more
wiley +1 more source
LogisticsBackground: Urban mobility management faces growing challenges that require the analysis and optimization of sustainable solutions. Digital twins (DTs) have emerged as innovative tools for this assessment, but their implementation requires standardized ...
Andrea Grotto +3 more
doaj +1 more source
About the Forms of Existence of the Legal Interest of Taxpayer
Сибирское юридическое обозрение, 2018 On the basis of doctrinal provisions the article deals with the problem of legal existence of the taxpayer's legal interest. The author analyzes the normative and non-normative (natural-legal) points of view and concludes that these two legal approaches ...
S. A. Yadrikhinskii
doaj +1 more source
Formalizing Calculus without Limit Theory in Coq
Mathematics, 2021 Formal verification of mathematical theory has received widespread concern and grown rapidly. The formalization of the fundamental theory will contribute to the development of large projects. In this paper, we present the formalization in Coq of calculus
Yaoshun Fu, Wensheng Yu
doaj +1 more source