Results 51 to 60 of about 342,984 (310)
Kalmár-style constructive completeness proofs for classical positive propositional calculi [PDF]
, 2023 Luiz Henrique Lopes dos Santos
openalex +1 more source
Annals of Gastroenterological Surgery, EarlyView.ABSTRACT The therapeutic landscape of hepatocellular carcinoma (HCC) has been transformed by recent advancements in systemic therapies, particularly with the introduction of immune checkpoint inhibitors, expanding treatment options beyond conventional locoregional approaches.
Keiichi Akahoshi +4 more
wiley +1 more source
Journal of Formalized Reasoning, 2008 We present a formalisation of a constructive proof of Lebesgue’s Dominated Convergence Theorem given by the Sacerdoti Coen and Zoli in [CSCZ]. The proof is done in the abstract setting of ordered uniformities, also introduced by the two authors as a ...
Claudio Sacerdoti Coen, Enrico Tassi
doaj
Algorithmic and combinatoric aspects of multiple harmonic sums [PDF]
Discrete Mathematics & Theoretical Computer Science, 2005 Ordinary generating series of multiple harmonic sums admit a full singular expansion in the basis of functions $\{(1-z)^α \log^β (1-z)\}_{α ∈ℤ, β ∈ℕ}$, near the singularity $z=1$. A constructive proof of this result is given, and, by combinatoric aspects,
Christian Costermans +2 more
doaj +1 more source
Carath\'eodory's Theorem and moduli of local connectivity [PDF]
, 2015 We give a constructive proof of the Carath\'eodory Theorem by means of the concept of a modulus of local connectivity and the extremal distance of the separating curves of an ...
McNicholl, Timothy, McNicholl, Timothy
core +2 more sources
Constructive Proofs or Constructive Statements?
, 2005 A question raised at previous MAP meetings is the following. Is Sergeraert's "Constructive Algebraic Topology" (CAT, in short) really constructive (in the strict logical sense of the word "constructive")? We have not an answer to that question, but we are interested in the following: could have a positive (or negative) answer to the previous ...
openaire +5 more sources
Advanced Intelligent Discovery, EarlyView.Automated procedural analysis is recognized as one of the major game changers for robotic surgery. Meaning digital analysis needs to replace the manual assessments that set todays standard. Mechanical robotic‐instrument tracking enables the derivation of quantitative kinematic metrics that support behavior‐based workflow segmentation into distinct ...
Kateryna Pirkovets +4 more
wiley +1 more source
Growth functions for some uniformly amenable groups
Open Mathematics, 2017 We present a simple constructive proof of the fact that every abelian discrete group is uniformly amenable. We improve the growth function obtained earlier and find the optimal growth function in a particular case.
Dronka Janusz +3 more
doaj +1 more source
An Analysis of Tennenbaum's Theorem in Constructive Type Theory [PDF]
Logical Methods in Computer ScienceTennenbaum's theorem states that the only countable model of Peano arithmetic (PA) with computable arithmetical operations is the standard model of natural numbers.
Marc Hermes, Dominik Kirst
doaj +1 more source
3-Tuple Total Domination Number of Rook’s Graphs
Discussiones Mathematicae Graph Theory, 2022 A k-tuple total dominating set (kTDS) of a graph G is a set S of vertices in which every vertex in G is adjacent to at least k vertices in S. The minimum size of a kTDS is called the k-tuple total dominating number and it is denoted by γ×k,t(G).
Pahlavsay Behnaz +2 more
doaj +1 more source