Concepedia

Rüdiger Loos

RL

10

Publications

794

Citations

10

H-Index

1972

Active since

Affiliations

University of Wisconsin–Madison(Current)

Rüdiger Loos is an author at University of Wisconsin–Madison specializing in engineering, computational complexity, and computer science.

Top concepts

EngineeringComputational ComplexityComputer ScienceFormal MethodsApproximation TheoryMathematical ProgrammingAlgorithmsAlgorithm DesignProgram AnalysisSoftware Analysis

Publications per year

1972–1998

10

Publications

10

Computer algebra symbolic and algebraic computation

Bruno Buchberger, George E. Collins, Rüdiger Loos et al. · ACM SIGSAM Bulletin · 1982 · 388 citations · Full text

Mathematical Programming, Symbolic Manipulation, Engineering +13

Applying Linear Quantifier Elimination

Rüdiger Loos · The Computer Journal · 1993 · 217 citations · Full text

Engineering, Automated Reasoning, Elimination Sets +12

Polynomial real root isolation by differentiation

George E. Collins, Rüdiger Loos · 1976 · 55 citations

Validated Numerics, Automatic Differentiation, Real Roots +7

The algorithm description language ALDES (report)

Rüdiger Loos · ACM SIGSAM Bulletin · 1976 · 35 citations · Full text

Engineering, Algorithmic Library, Currently Aldes +17

Computing Rational Zeros of Integral Polynomials by <i>p</i>-Adic Expansion

Rüdiger Loos · SIAM Journal on Computing · 1983 · 33 citations

Numerical Analysis, Pade Approximant, Engineering +10

Rows per page

1–5 of 10