( en | de | ru )

 

Disambiguierung von "Davenport, James H."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases.

, , und . AISC/MKM/Calculemus, Volume 7362 von Lecture Notes in Computer Science, Seite 280-294. Springer, (2012)

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

On the Integration of Algebraic Functions. Lecture Notes in Computer Science Springer, (1981)Applications of computer algebra in solid modelling., , , , und . EUROCAL, Volume 378 von Lecture Notes in Computer Science, Seite 244-245. Springer, (1987)Better simplification of elementary functions through power series., , und . ISSAC, Seite 30-36. ACM, (2003)New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072)., , , und . Dagstuhl Reports, 12 (2): 67-86 (2022)Cylindrical Algebraic Decomposition with Equational Constraints., , und . CoRR, (2019)Foreword., , und . Math. Comput. Sci., 13 (4): 459-460 (2019)Varieties of Doubly-Exponential behaviour in Cylindrical Algebraic Decomposition.. SC-Square@SIAM AG, Volume 3273 von CEUR Workshop Proceedings, Seite 31-40. CEUR-WS.org, (2021)Practical Evaluation of Quantifier Elimination Methods (short paper)., , und . SC-Square@SIAM AG, Volume 3273 von CEUR Workshop Proceedings, Seite 41-49. CEUR-WS.org, (2021)The Geometry of Cn is Important for the Algebra of Elementary Functions.. Algebra, Geometry, and Software Systems, Seite 207-224. Springer, (2003)MODLISP., und . SIGSAM Bull., 15 (1): 11-20 (1981)