( en | de | ru )

 

Disambiguation of "Greuel, Gert-Martin"

Author of the publication

copydeleteadd this publication to your clipboard
swMATH - An Information Service for Mathematical Software.

, and . ICMS, volume 8592 of Lecture Notes in Computer Science, page 691-701. Springer, (2014)

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. You can also use the button next to the name to display some publications already assigned to the person.

Gert-Martin Greuel

Gert-Martin Greuel

Hans Greuel

Hans Greuel

Edmund Greuel

 

Other publications of authors with the same name

Preface., , and . J. Symb. Comput., 39 (3-4): 257-258 (2005)Normalization of rings., , and . J. Symb. Comput., 45 (9): 887-901 (2010)On the Implementation of Standard Bases and Syzygies in SINGULAR., , , , , , , and . Appl. Algebra Eng. Commun. Comput., 7 (3): 235-249 (1996)Algebraic and Combinatorial Algorithms for Translinear Network Synthesis., , and . IEEE Trans. Circuits Syst. I Regul. Pap., 55-I (10): 3131-3144 (2008)Primary Decomposition: Algorithms and Comparisons., , and . Algorithmic Algebra and Number Theory, page 187-220. Springer, (1997)STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra., , , , , , and . DATE, page 155-160. IEEE, (2011)swMATH - An Information Service for Mathematical Software., and . ICMS, volume 8592 of Lecture Notes in Computer Science, page 691-701. Springer, (2014)Algorithms for group actions in arbitrary characteristic and a problem in singularity theory., and . Appl. Algebra Eng. Commun. Comput., 31 (2): 87-100 (2020)An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths., , , , and . CAV, volume 5123 of Lecture Notes in Computer Science, page 473-486. Springer, (2008)Using Semicontinuity for Standard Bases Computations., , and . Math. Comput. Sci., 16 (4): 21 (2022)