J Strother Moore

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

research

∙ 05/24/2022

VWSIM is a circuit simulator for rapid, single-flux, quantum (RSFQ) circ...

research

∙ 09/29/2020

Iterative algorithms are traditionally expressed in ACL2 using recursion...

research

∙ 06/06/2014

We report on improvements to ACL2 made since the 2013 ACL2 Workshop....

research

∙ 09/24/2013

We review the history of the automation of mathematical induction...

research

∙ 04/30/2013

We report on highlights of the ACL2 enhancements introduced in ACL2 rele...