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...
AISC
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...
AISC
2010
Springer
13 years 9 months ago
2010
Springer
Mathematical notations around the world are diverse. Not as much as requiring computing machines’ makers to adapt to each culture, but as much as to disorient a person landing on...
AISC
2010
Springer
13 years 9 months ago
2010
Springer
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...
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 9 months ago
2010
Springer
This paper describes continuing progress on the development of a repository of transformation rules relevant to indefinite integration. The methodology, however, is not restricted...
AISC
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Mathematical learning environments help students in mastering mathematical knowledge. Mature environments typically offer thousands of interactive exercises. Providing f...
AISC
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. The main goal of our work is to formally prove the correctness of the key commands of the SCHUR software, an interactive program for calculating with characters of Lie gr...