( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Levelwise construction of a single cylindrical algebraic cell.

, , , , , и . J. Symb. Comput., (июля 2024)

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

 

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

Methodologies of Symbolic Computation.. AISC, том 11110 из Lecture Notes in Computer Science, стр. 19-33. Springer, (2018)Resolving Large Prime(s) Variants for Discrete Logarithm Computation., и . IMACC, том 2898 из Lecture Notes in Computer Science, стр. 207-222. Springer, (2003)Symbolic and Numeric Manipulation of Integrals.. Accurate Scientific Computations, том 235 из Lecture Notes in Computer Science, стр. 168-180. Springer, (1985)Effective Tests for Cyclotonic Polynomials., и . ISSAC, том 358 из Lecture Notes in Computer Science, стр. 244-251. Springer, (1988)Lazard's CAD exploiting equality constraints., , , и . ACM Commun. Comput. Algebra, 53 (3): 138-141 (2019)On the parallel Risch algorithm (III): use of tangents.. SIGSAM Bull., 16 (3): 3-6 (1982)The Rôle of Benchmarking in Symbolic Computation (Position Paper).. SYNASC, стр. 275-279. IEEE, (2018)The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition., , , , и . CoRR, (2021)New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract)., , , , и . PAAR+SC²@IJCAR, том 2752 из CEUR Workshop Proceedings, стр. 178-188. CEUR-WS.org, (2020)The Institute of Coding: A University-Industry Collaboration to Address the UK Digital Skills Crisis., и . SIGCSE, стр. 1267. ACM, (2019)