( en | de | ru )

 

Disambiguierung von "Davenport, James H."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Satisfiability checking and symbolic computation.

, , , , , , , , , , , , , , und . ACM Commun. Comput. Algebra, 50 (4): 145-147 (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

James H Richardson

Colin Davenport

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

Michael James

Audrein James

Katherine James

 

Weitere Publikationen von Autoren mit dem selben Namen

Methodologies of Symbolic Computation.. AISC, Volume 11110 von Lecture Notes in Computer Science, Seite 19-33. Springer, (2018)Resolving Large Prime(s) Variants for Discrete Logarithm Computation., und . IMACC, Volume 2898 von Lecture Notes in Computer Science, Seite 207-222. Springer, (2003)Symbolic and Numeric Manipulation of Integrals.. Accurate Scientific Computations, Volume 235 von Lecture Notes in Computer Science, Seite 168-180. Springer, (1985)Effective Tests for Cyclotonic Polynomials., und . ISSAC, Volume 358 von Lecture Notes in Computer Science, Seite 244-251. Springer, (1988)Lazard's CAD exploiting equality constraints., , , und . 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, Seite 275-279. IEEE, (2018)The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition., , , , und . CoRR, (2021)New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract)., , , , und . PAAR+SC²@IJCAR, Volume 2752 von CEUR Workshop Proceedings, Seite 178-188. CEUR-WS.org, (2020)The Institute of Coding: A University-Industry Collaboration to Address the UK Digital Skills Crisis., und . SIGCSE, Seite 1267. ACM, (2019)