( en | de | ru )

 

Disambiguation of "Lester, David R."

Author of the publication

copydeleteadd this publication to your clipboard
A constructive algorithm for finding the exact roots of polynomials with computable real coefficients.

, , and . Theor. Comput. Sci., 279 (1-2): 51-64 (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

David R Anderson

David R Wenger

Lester Epstein

Neil Lester

David A R Forrester

 

Other publications of authors with the same name

Processing with a million cores., , , and . PARCO, volume 22 of Advances in Parallel Computing, page 327-334. IOS Press, (2011)SpiNNaker: The Design Automation Problem., , , , and . ICONIP (2), volume 5507 of Lecture Notes in Computer Science, page 1049-1056. Springer, (2008)Effective Continued Fractions.. IEEE Symposium on Computer Arithmetic, page 163-. IEEE Computer Society, (2001)Approximate Fixed-Point Elementary Function Accelerator for the SpiNNaker-2 Neuromorphic Chip., , , , , , , , and . ARITH, page 37-44. IEEE, (2018)Brewing the first ever automatic memory management utility for SpiNNaker: Real-time garbage collection for STDP simulations., and . IJCNN, page 3008-3015. IEEE, (2017)A Survey of Exact Arithmetic Implementations., and . CCA, volume 2064 of Lecture Notes in Computer Science, page 30-47. Springer, (2000)The G-machine as a representation of stack semantics.. FPCA, volume 274 of Lecture Notes in Computer Science, page 46-59. Springer, (1987)Inducing Students to Induct., and . FPLE, volume 1022 of Lecture Notes in Computer Science, page 159-177. Springer, (1995)A Modular Fully-lazy Lambda Lifter in HASKELL., and . Softw. Pract. Exp., 21 (5): 479-506 (1991)A monadic approach to automated reasoning for Bluespec SystemVerilog., and . Innov. Syst. Softw. Eng., 7 (2): 85-95 (2011)