Sciweavers

Share
18 search results - page 1 / 4
» aisc 2010
Sort
View
AISC
2010
Springer
10 years 4 months ago
Proviola: A Tool for Proof Re-animation
Carst Tankink, Herman Geuvers, James McKinna, Free...
AISC
2010
Springer
10 years 7 months ago
A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence
We provide a perspective on the current state and possible future of links between symbolic mathematical computing and artificial intelligence, on the occasion of the 10th biennial...
Jacques Calmet, John A. Campbell
AISC
2010
Springer
10 years 22 days ago
Some Considerations on the Usability of Interactive Provers
In spite of the remarkable achievements recently obtained in the field of mechanization of formal reasoning, the overall usability of interactive provers does not seem to be sensib...
Andrea Asperti, Claudio Sacerdoti Coen
AISC
2010
Springer
10 years 7 months ago
On Krawtchouk Transforms
Krawtchouk polynomials appear in a variety of contexts, most notably as orthogonal polynomials and in coding theory via the Krawtchouk transform. We present an operator calculus fo...
Philip Feinsilver, René Schott
books