Unraveling a card trick

DOI10.1007/978-3-642-13754-9_10zbMATH Open1288.00008OpenAlexW2155456235MaRDI QIDQ3587256FDOQ3587256

Authors: Natarajan Shankar, Tony Hoare 

Publication date: 7 September 2010

Published in: Time for Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-13754-9_10

Recommendations

• Card magics: Gilbreath's principles. II
• The Gilbreath principle, variants and card tricks
• The advanced Australian shuffle
• You Can Teach an Old Magician New Tricks
• Dynamics of a card trick

Mathematics Subject Classification ID

Recreational mathematics (00A08)

Cites Work

• Implicit induction in conditional theories
• Title not available (Why is that?)

Cited In (4)

• Card magics: Gilbreath's principles. II
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Gilbreath principle, variants and card tricks

Uses Software

• ACL2
• Coq
• PVS

This page was built for publication: Unraveling a card trick

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3587256)