18 search results - page 1 / 4 » aisc 2010 |
AISC
2010
Springer
13 years 8 months ago
2010
Springer
AISC
2010
Springer
13 years 6 months ago
2010
Springer
AISC
2010
Springer
13 years 9 months ago
2010
Springer
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...
AISC
2010
Springer
13 years 2 months ago
2010
Springer
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...
AISC
2010
Springer
13 years 9 months ago
2010
Springer
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...