notesum.ai

Published at November 19

Towards Automated Verification of Logarithmic Arithmetic

cs.LO

cs.AR

Released Date: November 19, 2024

Authors: Mark G. Arnold¹, Thomas A. Bailey¹, John R. Cowles¹

Aff.: ¹University of Wyoming, Computer Science Dept.

Arxiv: http://arxiv.org/abs/2411.12923v1