Automated Deduction – CADE 28

Overview of attention for book

Cover of 'Automated Deduction – CADE 28'

Table of Contents

Attention for Chapter: An Automated Approach to the Collatz Conjecture

Altmetric Badge

Mentioned by

twitter: 1 X user

Readers on

mendeley: 8 Mendeley

So far, Altmetric has seen 1 X post from an account with 1,801 followers.

An Automated Approach to the Collatz Conjecture Emre Yolcu, Scott Aaronson, Marijn J.H. Heule in CADE 2021: Automated Deduction – CADE 28 pp 468-484 https://t.co/E0hHr6l51M https://t.co/QmC1LKWQFF https://t.co/AyvrkNk1aR https://t.co/FvmtfAUtth

Reply Repost Favourite

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity.