AWARD-2005
Argonne Workshop on Automated Reasoning and Deduction
Link to
AWARD-2005
website.
Related links
Talk by Johan Belinfante,
(
Mathematica Notebook
award-05
)