Rüdiger G. K. Loos

Publications4
h-index4
Citations86
Highly Influential Citations1
Claim Author Page
Author pages are created from data sourced from our academic publisher partnerships and public sources.

Recommended Authors

  • G. E. Collins
  • 96 Publications • 5,809 Citations
  • A. Hearn
  • 62 Publications • 1,209 Citations
  • R. Jenks
  • 62 Publications • 765 Citations
  • J. Griesmer
  • 38 Publications • 663 Citations
  • 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