( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Satisfiability Checking meets Symbolic Computation (Project Paper).

, , , , , , , , , , , , , , и . CoRR, (2016)

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.

James H Richardson

Colin Davenport

Genomic and metagenomic application of microbial genome signatures. MedH Hannover, (2009)

Michael James

Audrein James

Katherine James

 

Другие публикации лиц с тем же именем

The Institute of Coding: A University-Industry Collaboration to Address the UK Digital Skills Crisis., и . SIGCSE, стр. 1267. ACM, (2019)Reasoning about the Elementary Functions of Complex Analysis., , , , и . AISC, том 1930 из Lecture Notes in Computer Science, стр. 115-126. Springer, (2000)Complexity of Integration, Special Values, and Recent Developments.. ICMS, том 9725 из Lecture Notes in Computer Science, стр. 485-491. Springer, (2016)Towards better simplification of elementary functions., и . ISSAC, стр. 16-22. ACM, (2002)Methodologies of Symbolic Computation.. AISC, том 11110 из Lecture Notes in Computer Science, стр. 19-33. Springer, (2018)The Rôle of Benchmarking in Symbolic Computation (Position Paper).. SYNASC, стр. 275-279. IEEE, (2018)Resolving Large Prime(s) Variants for Discrete Logarithm Computation., и . IMACC, том 2898 из Lecture Notes in Computer Science, стр. 207-222. Springer, (2003)Lazard's CAD exploiting equality constraints., , , и . ACM Commun. Comput. Algebra, 53 (3): 138-141 (2019)Effective Tests for Cyclotonic Polynomials., и . ISSAC, том 358 из Lecture Notes in Computer Science, стр. 244-251. Springer, (1988)Symbolic and Numeric Manipulation of Integrals.. Accurate Scientific Computations, том 235 из Lecture Notes in Computer Science, стр. 168-180. Springer, (1985)