Results 151 to 160 of about 17,772 (305)
Contributions to Plasma Physics, EarlyView.ABSTRACT The properties of plasmas in the low‐density limit are described by virial expansions. Analytical expressions are known for the lowest virial coefficients from Green's function approaches. Recently, accurate path‐integral Monte Carlo (PIMC) simulations were performed for the hydrogen plasma at low densities by Filinov and Bonitz (Phys. Rev.
Gerd Röpke +3 more
wiley +1 more source
, 2018 Formal verification involves the use of logical and computational methods to establish claims that are expressed in precise mathematical terms. These can include ordinary mathematical theorems, as well as claims that pieces of hardware or software ...
Soonho Kong (5372786) +2 more
core +1 more source
Generalized Beth–Uhlenbeck Entropy Formula From the Φ‐Derivable Approach
Contributions to Plasma Physics, EarlyView.ABSTRACT We derive a generalized Beth–Uhlenbeck formula for the entropy of a dense fermion system with strong two‐particle correlations, including scattering states and bound states. We work within the Φ‐derivable approach to the thermodynamic potential.
David Blaschke, Gerd Röpke, Gordon Baym
wiley +1 more source
, 1998 "Theorem proving modulo" is a way to remove computational arguments from proofs by reasoning modulo a congruence on propositions. Such a technique, issued from automated theorem proving, is of wider interest because it permits to separate ...
Claude Kirchner +5 more
core
An Isabelle/HOL formalisation of Green's theorem
We formalise a statement of Green’s theorem in Isabelle/HOL, which is its first formalisation to our knowledge. The theorem statement that we formalise is enough for most applications, especially in physics and engineering.
Paulson, Lawrence C. +1 more
core +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
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
Computer Theorem Proving and HoTT [PDF]
, 2013 Theorem-proving is a one-player game. The history of computer programs being the players goes back to 1956 and the ‘LT’ LOGIC THEORY MACHINE of Newell, Shaw and Simon. In game-playing terms, the ‘initial position’ is the core set of axioms chosen for the
Joe Leslie-hurd +3 more
core
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
Investigation on tunnel stability considering pipe‐roof support with transparent soil technology
Deep Underground Science and Engineering, EarlyView.This study integrates transparent soil technology, 3D reconstruction and numerical simulation to captures the full‐field deformation of shield tunnel instability. Results demonstrate that pipe‐roof support enhances stability via the “soil‐arching barrier effect,” effectively restraining failure wedge development by extending stress transfer paths ...
Zhi Jia +4 more
wiley +1 more source