Results 91 to 100 of about 523,591 (296)
Using prime numbers for automatic theorem proving
, 2020 We apply an analogous setting from Gödel's numbering system to automatic theorem ...
Matheus Pereira Lobo
core +1 more source
On the arithmetic of theorem proving
, 2021 We present the arithmetization of strings in order to be deployed as an alternative model for automatic theorem ...
Matheus Pereira Lobo
core +1 more source
The Anatomical Record, EarlyView.Abstract Phylogenetic comparative methods have been used in recent literature to work with laws and test for regularities (evolutionary associations of quantitative features) and evolutionary singularities (features that evolved in a single taxon). We analyzed these uses epistemologically, taking the evolution of red‐blood‐cell mean corpuscular volume (
Jorge Cubo +3 more
wiley +1 more source
Three nontrivial solutions for nonlinear fractional Laplacian equations
Advances in Nonlinear Analysis, 2018 We study a Dirichlet-type boundary value problem for a pseudodifferential equation driven by the fractional Laplacian, proving the existence of three non-zero solutions.
Düzgün Fatma Gamze +1 more
doaj +1 more source
The TPS theorem proving system [PDF]
, 1986 When one is seeking an expansion proof for a theorem of higher-order logic, not all necessary substitution terms can be generated by unification of formulas already present, so certain expansion options [5] are applied, and then a search for a p-acceptable mating [2] is made, using Huet's higher-order unification algorithm [8] to generate all remaining
Peter B. Andrews +3 more
openaire +3 more sources
Anatomical Sciences Education, Volume 18, Issue 3, Page 241-253, March 2025.Abstract This study describes the process of developing a high‐impact, low‐cost, and low‐maintenance air ventilation system for anatomy facilities. It employed the strategic application of Value Engineering (VE), assuring that the air ventilation system meets contemporary threshold limit values (TLVs) for formaldehyde in the working zone of dissection ...
Jürgen Russ, Niels Hammer
wiley +1 more source
Automated Theorem Proving: A Review
, 2002 Review of Automated Theorem Proving: Theory and Practice, by Monty Newborn, Berlin, Springer-Verlag, 231 pp., $54.95.
Sutcliffe, Geoff
core +1 more source
Modeling and parameter estimation for fractional large‐scale interconnected Hammerstein systems
Asian Journal of Control, EarlyView.Abstract This paper addresses the challenge of modeling and identifying large‐scale interconnected systems exhibiting memory effects, hereditary properties, and non‐local interactions. We propose a fractional‐order extension of the Hammerstein architecture that incorporates Grünwald–Letnikov operators to capture complex dynamics through multiple ...
Mourad Elloumi +2 more
wiley +1 more source
Formal verification of physical human-robot interaction using interactive theorem proving
Journal of Intelligent SystemsPhysical Human-robot Interaction (pHRI) involves physical collaboration between humans and robots to perform tasks safely and efficiently in shared environments. Traditionally, pHRI behavior has been analyzed using analytical or simulation-based methods,
Abed Sa’ed, Rashid Adnan, Hasan Osman
doaj +1 more source
, 2018 This chapter surveys the research in parallel or distributed strategies for mechanical theorem proving in first-order logic, and explores some of its connections with the research in the parallelization of decision procedures for satisfiability in propositional logic (SAT).
openaire +2 more sources