( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Satisfiability checking and symbolic computation.

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

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.

Heike Anna Brücker

Dirk Annacker

Thomas Annan

Carola Annas

John A Anna Selva

 

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

CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond., и . ICMS, том 6327 из Lecture Notes in Computer Science, стр. 73-76. Springer, (2010)CoCoA and CoCoALib: Fast Prototyping and Flexible C++ Library for Computations in Commutative Algebra., и . SC²@SYNASC, том 1804 из CEUR Workshop Proceedings, стр. 1-3. CEUR-WS.org, (2016)Computation of the (n-1)-st Koszul Homology of monomialideals and related algorithms., и . ISSAC, стр. 31-38. ACM, (2009)CoCoA-5.2.2 and CoCoALib., и . ACM Commun. Comput. Algebra, 51 (3): 95-97 (2017)Discovery of statistical equivalence classes using computer algebra., , , и . Int. J. Approx. Reason., (2018)Computing inhomogeneous Gröbner bases., , и . J. Symb. Comput., 46 (5): 498-510 (2011)Computing Toric Ideals., , и . J. Symb. Comput., 27 (4): 351-365 (1999)A "Divide and Conquer" Algorithm for Hilbert-Poincaré Series, Multiplicity and Dimension of Monomial Ideals., , , и . AAECC, том 673 из Lecture Notes in Computer Science, стр. 76-88. Springer, (1993)Computing and using minimal polynomials., , , и . J. Symb. Comput., (2020)On the Computation of Hilbert-Poincaré Series., , и . Appl. Algebra Eng. Commun. Comput., (1991)