Results 131 to 140 of about 523,591 (296)
On the calculus of positively constructed formulas for authomated theorem proving
Моделирование и анализ информационных систем, 2010 The paper deals with an expressive logic language LF and its calculus. Formulas of this language consist of some large-block structural elements, such as type quanti¯ers.
A. V. Davydov +2 more
doaj
Verification by Theorem Proving
, 1999 ion Verification of Generic Circuits Conclusions References 1999 S. Tahar, E. Cerny, 1997X. Song1996 E. Cerny, X. Song10/31/99 5.2 (of 42) Introduction Theorem Proving Prove that an implementation satisfies a specification by mathematical reasoning ...
X. Song, E. Cerny, S. Tahar
core
Planar Coulomb Gas on a Jordan Arc at Any Temperature
Communications on Pure and Applied Mathematics, EarlyView.ABSTRACT We study a planar Coulomb gas confined to a sufficiently smooth Jordan arc γ$\gamma$ in the complex plane, at inverse temperature β>0$\beta > 0$. Let Z¯nβ(γ)=Znβ(γ)((2cap(γ))βn2/2e(1−β/2)n(H(νe,γ)−H(νe,I)),$$\begin{equation*} \bar{Z}_{n}^\beta (\gamma)=\frac{Z_n^\beta (\gamma)}{((2\text{cap}(\gamma))^{\beta n^2/2}e^{(1-\beta /2)n(H(\nu _{e ...
K. Courteaut, K. Johansson, F. Viklund
wiley +1 more source
Symbolic logic and mechanical theorem proving
, 1969 This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic.
Lee, Richard Char-Tung +1 more
core
Clinical Pharmacology &Therapeutics, EarlyView.Traditional dosing strategies often rely on a “one‐size‐fits‐all” paradigm, assuming an “average” patient with typical demographic and pharmacological characteristics. In reality, this often overlooks existing between‐patient variability and can lead to suboptimal drug exposure or toxicity. This issue is especially pronounced in pediatric patients, who
Zachary L. Taylor +12 more
wiley +1 more source
Automated theorem proving and logic programming: a natural symbiosis
, 1991 We present a detailed review of the elements of automated theorem proving, emphasizing certain aspects of especial interest to the logic programming community. In particular, we focus heavily on how an automated theorem-proving program can treat equality
McCune, William, Wos, Larry
core +1 more source
Climate Protest and Firm ESG Performance: Elucidating Global North–South Inequalities
Corporate Social Responsibility and Environmental Management, EarlyView.ABSTRACT In response to calls to keep global warming below 1.5°C, firms have employed responsible business practices in their operations. Neglecting their normative and ontological ethical obligations to their stakeholders has often attracted climate protests, posing a potential risk to business operations and their reputation by threatening their ...
Peter Adjei‐Bamfo +4 more
wiley +1 more source
Deep Underground Science and Engineering, EarlyView.Aluminum‐enhanced afterburning renders AE explosives more hazardous than conventional ones. Corrugated steel linings reduce far‐field AE blast overpressure by ~50% through wave reflection and dissipation. The developed model accurately predicts peak pressure (<10% error) and arrival time (<3% error), supporting protective design.
Zhen Wang +5 more
wiley +1 more source
A Taxonomy of Theorem-Proving Strategies
, 1999 This article presents a taxonomy of strategies for fully-automated general-purpose first-order theorem proving. It covers forward-reasoning ordering-based strategies and backward-reasoning subgoal-reduction strategies, which do not appear together often.
openaire +2 more sources