Sciweavers

AISC
2010
Springer
13 years 10 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
AISC
2010
Springer
13 years 10 months ago
Reducing Expression Size Using Rule-Based Integration
This paper describes continuing progress on the development of a repository of transformation rules relevant to indefinite integration. The methodology, however, is not restricted...
David J. Jeffrey, Albert D. Rich
AISC
2010
Springer
13 years 7 months ago
Proviola: A Tool for Proof Re-animation
Carst Tankink, Herman Geuvers, James McKinna, Free...
AISC
2010
Springer
13 years 8 months ago
On Building a Knowledge Base for Stability Theory
A lot of mathematical knowledge has been formalized and stored in repositories by now: Different mathematical theorems and theories have been taken into consideration and included ...
Agnieszka Rowinska-Schwarzweller, Christoph Schwar...
AISC
2010
Springer
13 years 10 months ago
Symbolic Domain Decomposition
Decomposing the domain of a function into parts has many uses in mathematics. A domain may naturally be a union of pieces, a function may be defined by cases, or different bounda...
Jacques Carette, Alan P. Sexton, Volker Sorge, Ste...
Artificial Intelligence
Top of PageReset Settings