( en | de | ru )

 

Disambiguation of "Johnson, Jeremy R."

Author of the publication

copydeleteadd this publication to your clipboard
Interval Arithmetic in Cylindrical Algebraic Decomposition.

, , and . J. Symb. Comput., 34 (2): 145-157 (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.

Jeremy Cohen

Jérémy Bluteau

Jeremy Debattista

Jérémy Fix

Jeremy Lau

 

Other publications of authors with the same name

Spiral-generated modular FFT algorithms., , , , , and . PASCO, page 169-170. ACM, (2010)The Probability of Relative Primality of Gaussian Integers., and . ISSAC, volume 358 of Lecture Notes in Computer Science, page 252-258. Springer, (1988)Distribution of a class of divide and conquer recurrences arising from the computation of the Walsh-Hadamard transform., , and . Theor. Comput. Sci., 352 (1-3): 8-30 (2006)Interval Arithmetic in Cylindrical Algebraic Decomposition., , and . J. Symb. Comput., 34 (2): 145-157 (2002)Probabilistic analysis of Wiedemann's algorithm for minimal polynomial computation., , and . CoRR, (2014)High-performance implementations of the Descartes method., , , , and . ISSAC, page 154-161. ACM, (2006)Automatic derivation and implementation of fast convolution algorithms., and . J. Symb. Comput., 37 (2): 261-293 (2004)Special Issue on Symbolic and Algebraic Computation Foundations, Algorithmics and Applications: ISSAC 2009., , and . J. Symb. Comput., 47 (7): 751 (2012)Proof Buddy: A Tool to Aid Students in Proof Construction., , and . SIGCSE (2), page 1259. ACM, (2023)Efficient multiprecision floating point multiplication with optimal directional rounding., and . IEEE Symposium on Computer Arithmetic, page 228-233. IEEE Computer Society/, (1993)