( en | de | ru )

 

Disambiguierung von "Maza, Marc Moreno"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition.

, , , , , und . CICM, Volume 8543 von Lecture Notes in Computer Science, Seite 45-60. Springer, (2014)

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.

Marc Torrent-Moreno

Sofiane Maza

Maza Alsaleh

Eduardo Moreno

Steffen Mazanek

 

Weitere Publikationen von Autoren mit dem selben Namen

Efficient Evaluation of Large Polynomials., , , und . ICMS, Volume 6327 von Lecture Notes in Computer Science, Seite 342-353. Springer, (2010)An equivalence theorem for regular differential chains., , , und . J. Symb. Comput., (2019)Complexity Estimates for Fourier-Motzkin Elimination., , und . CoRR, (2018)Multithreaded parallel implementation of arithmetic operations modulo a triangular set., und . PASCO, Seite 53-59. ACM, (2007)Multiprocessed parallelism support in ALDOR on SMPs and multicores., , , und . PASCO, Seite 60-68. ACM, (2007)On the Extended Hensel Construction and its Application to the Computation of Limit Points., , und . ISSAC, Seite 13-20. ACM, (2017)Employing C++ Templates in the Design of a Computer Algebra Library., , und . ICMS, Volume 12097 von Lecture Notes in Computer Science, Seite 342-352. Springer, (2020)Computing the Integer Points of a Polyhedron, I: Algorithm., und . CASC, Volume 10490 von Lecture Notes in Computer Science, Seite 225-241. Springer, (2017)Regular Chains under Linear Changes of Coordinates and Applications., , , und . CASC, Volume 9301 von Lecture Notes in Computer Science, Seite 30-44. Springer, (2015)On Fulton's Algorithm for Computing Intersection Multiplicities., , und . CASC, Volume 7442 von Lecture Notes in Computer Science, Seite 198-211. Springer, (2012)