( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Cylindrical Algebraic Decomposition with Equational Constraints.

, , и . CoRR, (2019)

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.

Bradford Heap

Russell Kleckley

Wolter Russell

Dieter Russell

Russell Stinson

 

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

Cylindrical Algebraic Sub-Decompositions., , , и . Math. Comput. Sci., 8 (2): 263-288 (2014)Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics., , , , и . SC-Square@FLOC, том 2189 из CEUR Workshop Proceedings, стр. 48. CEUR-WS.org, (2018)A Parallelization of the Buchberger Algorithm.. ISSAC, стр. 296. ACM, (1990)Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases., , и . AISC/MKM/Calculemus, том 7362 из Lecture Notes in Computer Science, стр. 280-294. Springer, (2012)Reasoning about the Elementary Functions of Complex Analysis., , , , и . Ann. Math. Artif. Intell., 36 (3): 303-318 (2002)A Parallel Discrete Event IP Network Emulator., , и . MASCOTS, стр. 315-322. IEEE Computer Society, (2000)Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting., , , и . ICMS, том 8592 из Lecture Notes in Computer Science, стр. 458-465. Springer, (2014)Optimising Problem Formulation for Cylindrical Algebraic Decomposition., , , и . MKM/Calculemus/DML, том 7961 из Lecture Notes in Computer Science, стр. 19-34. Springer, (2013)Does the Ärtificial Intelligence Clinician" learn optimal treatment strategies for sepsis in intensive care?, , , и . CoRR, (2019)Truth table invariant cylindrical algebraic decomposition., , , , и . J. Symb. Comput., (2016)