Towards Automated Verification of Logarithmic Arithmetic
Correctness proofs for floating point programs are difficult to verify. To simplify the task, a similar, but less complex system, known as logarithmic arithmetic can be used. The Boyer-Moore Theorem Prover, NQTHM, mechanically verified the correctness of
Arnold, Mark G. +2 more
core
Ground User Clustering for Adaptive Multibeam GEO Satellite Networks. [PDF]
Sensors (Basel)Shehata H, Inaltekin H, Collings IB.
europepmc +1 more source
Irrationality and transcendence questions in the 'poor man's adèle ring'. [PDF]
Ramanujan JLuca F, Zudilin W.
europepmc +1 more source
Interference-aware frequency-agile onboard processor using fine-grained multilevel analysis-synthesis filter-bank channelization. [PDF]
Sci RepSarkar S, Das A, Mishra D, Gupta A.
europepmc +1 more source
Applications of representation theory and of explicit units to Leopoldt's conjecture. [PDF]
Res Number TheoryFerri F, Johnston H.
europepmc +1 more source
Exploring Different Extrapolation Approaches for the Critical Temperature of the 2D-Ising Model Based on Exactly Solvable Finite-Sized Lattices. [PDF]
Entropy (Basel)Markthaler D, Birke KP.
europepmc +1 more source
Entropy production bounds for systems running computer programs. [PDF]
PNAS NexusYadav A, Caravelli F, Wolpert D.
europepmc +1 more source
The Language of Numbers: Reading Comprehension and Applied Math Problem-Solving. [PDF]
Behav Sci (Basel)Sury D, Pilchin L.
europepmc +1 more source
Recommendation of RILEM TC 281-CCC: RILEM CPC-18R1-guideline for measuring the carbonation depth of hardened concrete using a pH indicator solution. [PDF]
Mater StructBernal SA +6 more
europepmc +1 more source
A Survey of Lattice-Based Physical-Layer Security for Wireless Systems with <i>p</i>-Modular Lattice Constructions. [PDF]
Entropy (Basel)Khodaiemehr H +5 more
europepmc +1 more source