• Publications
  • Influence
Toward a formal implementation of computer algebra
TLDR
We consider in this paper the task of synthesizing an algebraic system. Expand
  • 28
  • 1
The algorithm description language ALDES (report)
TLDR
ALDES is a formalization of the method to describe algorithms used in Knuth's books. Expand
  • 42
The Jacobi symbol algorithm
TLDR
We describe a Jacobi symbol algorithm, verify its correctness and analyse its maximum computing time, which is codominant with the product of the length of the inputs. Expand
  • 12
Extended polynomial algorithms
TLDR
It is shown that standard polynomial algorithms may be applied to a much wider class of functions by making a straightforward generalization of the concept of exponent. Expand
  • 4