Results 11 to 20 of about 12,123 (304)
The Normalization Theorem for the First-Order Classical Natural Deduction with Disjunctive Syllogism [PDF]
, 2021 In the present paper, we prove the normalization theorem and the consistency of the first-order classical logic with disjunctive syllogism. First, we propose the natural deduction system SCD for classical propositional logic having rules for conjunction,
Choi, Seungrak
core +1 more source
A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers [PDF]
, 1999 The role of decision procedures is often essential in theorem proving. Decision procedures can reduce the search space of heuristic components of a prover and increase its abilities.
Bundy, Alan +5 more
core +1 more source
Rojtman’s theorem for normal schemes [PDF]
Mathematical Research Letters, 2015 Improved and corrected, similar to the version to appear in Mathematical Research ...
openaire +2 more sources
A Pascal's theorem for rational normal curves [PDF]
Bulletin of the London Mathematical Society, 2021 17 pages, 1 figure. Final version.
Caminata A., Schaffler L.
openaire +5 more sources
Verified Lustre Normalization with Node Subsampling [PDF]
, 2021 International audienceDataflow languages allow the specification of reactive systems by mutually recursive stream equations, functions, and boolean activation conditions called clocks.
Pesin, Basile +3 more
core +1 more source
Diameter problems for univalent functions with quasiconformal extension
International Journal of Mathematics and Mathematical Sciences, 1993 This paper utilizes the method of extremal length to study several diameter problems for functions conformal outside of a disc centered at the origin, with a standard normalization, which possess a quasiconformal extension to a ring subdomain of this ...
Paul Deiermann
doaj +1 more source
Enabling Accurate Indoor Localization Using a Machine Learning Algorithm
UHD Journal of Science and Technology, 2020 In this paper, fingerprint referencing methods based on wireless fidelity Wi-Fi received signal strength (RSS) have used for indoor positioning. More precisely, Naïve Bayes, decision tree (DT), and support vector machine (SVM) one-to-one multi-classes ...
Haidar Abdulrahman Abbas +1 more
doaj +1 more source
Journal of Low Frequency Noise, Vibration and Active Control, 2018 Civil engineering structures in essence belong to time-varying and nonlinear structures and the resultant dynamic responses are usually nonstationary signals. A new method is proposed to extract instantaneous frequency of such nonstationary signals.
Jing-Liang Liu +4 more
doaj +1 more source
Topology of the large-N expansion in SU(N) Yang-Mills theory and spin-statistics theorem [PDF]
EPJ Web of ConferencesRecently, we computed the generating functional of Euclidean asymptotic correlators at short-distance of single-trace twist-2 operators in large-N SU(N) Yang-Mills (YM) theory to the leading-nonplanar order.
Bochicchio Marco +2 more
doaj +1 more source
The Lefschetz-Hopf theorem and axioms for the Lefschetz number
Fixed Point Theory and Applications, 2004 The reduced Lefschetz number, that is, L(⋅)−1 where L(⋅) denotes the Lefschetz number, is proved to be the unique integer-valued function λ on self-maps of compact polyhedra which is constant on homotopy classes such that (1) λ(fg ...
Robert F. Brown, Martin Arkowitz
doaj +2 more sources