Unraveling a card trick

DOI10.1007/978-3-642-13754-9_10MaRDI QIDQ3587256zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Recreational mathematics (00A08)

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

Cites work

• scientific article; zbMATH DE number 4044616 (Why is no real title available?)
• Implicit induction in conditional theories

Cited in

(4)

• Card magics: Gilbreath's principles. II
• scientific article; zbMATH DE number 1036791 (Why is no real title available?)
• scientific article; zbMATH DE number 7316530 (Why is no real title available?)
• The Gilbreath principle, variants and card tricks

Describes a project that uses

Uses Software

• PVS
• Coq
• ACL2

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)