PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Davenport, James H."

Author of the publication

copydeleteadd this publication to your clipboard
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings.

, , , and . J. Log. Algebraic Methods Program., (2021)

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.

Univ. -Prof. Dr. James Foster University of Stuttgart

H. Binz

H. Bungartz

H. Binz

H. Binz

 

Other publications of authors with the same name

The Geometry of Cn is Important for the Algebra of Elementary Functions.. Algebra, Geometry, and Software Systems, page 207-224. Springer, (2003)The Power of Vocabulary: The Case of Cyclotomic Polynomials, and . CoRR, (2010)Regular cylindrical algebraic decomposition., , and . CoRR, (2018)Small algorithms for small systems.. ACM Comm. Computer Algebra, 46 (1/2): 1-9 (2012)MODLISP., and . ACM SIGSAM Bulletin, 15 (1): 11-20 (1981)A repository for CAD examples., , and . ACM Comm. Computer Algebra, 46 (3/4): 67-69 (2012)Testing elementary function identities using CAD., , , and . Appl. Algebra Eng. Commun. Comput., 18 (6): 513-543 (2007)PowerMath: a system for the Macintosh., and . SYMSAC, page 13-15. ACM, (1986)Better simplification of elementary functions through power series., , and . ISSAC, page 30-36. ACM, (2003)Foreword., , and . Mathematics in Computer Science, 13 (4): 459-460 (2019)