( en | de | ru )

 

Disambiguierung von "Bradford, Russell J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Better simplification of elementary functions through power series.

, , und . ISSAC, Seite 30-36. ACM, (2003)

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.

Bradford Heap

Dieter Russell

Wolter Russell

Russell Kleckley

Russell Stinson

 

Weitere Publikationen von Autoren mit dem selben Namen

A Parallelization of the Buchberger Algorithm.. ISSAC, Seite 296. ACM, (1990)Cylindrical Algebraic Sub-Decompositions., , , und . CoRR, (2014)Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics., , , , und . SC-Square@FLOC, Volume 2189 von CEUR Workshop Proceedings, Seite 48. CEUR-WS.org, (2018)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)Reasoning about the Elementary Functions of Complex Analysis., , , , und . Ann. Math. Artif. Intell., 36 (3): 303-318 (2002)Optimising Problem Formulation for Cylindrical Algebraic Decomposition., , , und . MKM/Calculemus/DML, Volume 7961 von Lecture Notes in Computer Science, Seite 19-34. Springer, (2013)Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting., , , und . ICMS, Volume 8592 von Lecture Notes in Computer Science, Seite 458-465. Springer, (2014)A Parallel Discrete Event IP Network Emulator., , und . MASCOTS, Seite 315-322. IEEE Computer Society, (2000)Datset of automated economic reasoning problems for QE / SMT., , , , und . (April 2018)Truth table invariant cylindrical algebraic decomposition., , , , und . J. Symb. Comput., (2016)