Results 21 to 30 of about 4,888,581 (309)
Proof Auditing Formalised Mathematics
Journal of Formalized Reasoning, 2016 The first three formalisations of major mathematical proofs have heralded a new age in formalised mathematics, establishing that informal proofs at the limits of what can be understood by humans can be checked by machine.
Mark Miles Adams
doaj +1 more source
An Intuitionistic Formula Hierarchy Based on High-School Identities [PDF]
, 2018 We revisit the notion of intuitionistic equivalence and formal proof representations by adopting the view of formulas as exponential polynomials. After observing that most of the invertible proof rules of intuitionistic (minimal) propositional sequent ...
Hardy G. H. +3 more
core +4 more sources
Effect of sound insulation by adhesion of laminated sound insulation materials
Nihon Kikai Gakkai ronbunshu, 2016 This report shows effect of sound insulation by adhesion of porous materials and film laminated panel. It deals a technique for estimating damped vibration of automotive body panels with sound-proof structures.
Yoshio KUROSAWA +3 more
doaj +1 more source
A Proof of CSP Dichotomy Conjecture [PDF]
IEEE Annual Symposium on Foundations of Computer Science, 2017 Many natural combinatorial problems can be expressed as constraint satisfaction problems. This class of problems is known to be NP-complete in general, but certain restrictions on the form of the constraints can ensure tractability.
Dmitriy Zhuk
semanticscholar +1 more source
Managing Library Electronic Resources Using Google Sites [PDF]
, 2013 After attempting to use a home-grown Drupal database to administer electronic resources and later a vendor-provided electronic resources management (ERM) system, the University of Alaska Fairbanks Libraries created a Google Site that quickly proved to be
Jensen, Karen
core +1 more source
Proofs, Proofs, Proofs, and Proofs [PDF]
, 2010 In logic there is a clear concept of what constitutes a proof and what not. A proof is essentially defined as a finite sequence of formulae which are either axioms or derived by proof rules from formulae earlier in the sequence. Sociologically, however, it is more difficult to say what should constitute a proof and what not.
openaire +2 more sources
A new coinductive confluence proof for infinitary lambda calculus
, 2020 We present a new and formal coinductive proof of confluence and normalisation of B\"ohm reduction in infinitary lambda calculus. The proof is simpler than previous proofs of this result.
Czajka, Łukasz
core +1 more source
Journal of Clinical Tuberculosis and Other Mycobacterial Diseases, 2019 The Lancet Commission on High-Quality Health Systems called for a ‘revolution’ in the quality of care provided in low- and middle-income countries.
Helene-Mari van der Westhuizen +4 more
doaj +1 more source
Misconceptions About the Long Division Algorithm in School Mathematics
Journal of Mathematics Education at Teachers College, 2021 The non-learning of school mathematics is now almost universally taken for granted, but this does not have to happen. This article takes a critical look at the root of this non-learning by pointing to the flagrant defects in the kind of mathematics—to be
Hung-Hsi Wu
doaj +1 more source
IEEE Access, 2019 The rapid development of blockchain technology and their numerous emerging applications has received huge attention in recent years. The distributed consensus mechanism is the backbone of a blockchain network.
Cong T. Nguyen +5 more
semanticscholar +1 more source