Oliver Wienand and Gert-Martin Greuel - Free people check

(1 - 7 from 11

)

Gröbner Bases Bibliography - RISC

www3.risc.jku.at

Gert-Martin Greuel, Wolfgang Kunz, Dominik Stoffel, Markus Wedler, Oliver Wienand · Go To Publication · Webmaster. › research › theorema › do_search

Computer Aided Verification: 20th International Conference, CAV

books.google.de

Oliver Wienand, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, and Gert-Martin Greuel Application of Formal ...

A Singular Introduction to Commutative Algebra - Gert-Martin Greuel,...

books.google.de

From the reviews of the first edition:

The Gröbner basis of the ideal of vanishing polynomials

fs.unm.edu

by GM Greuel · · Cited by 18 — Gert-Martin Greuel, Frank Seelisch, Oliver Wienand. Department of Mathematics, Working Group Algebra, Geometry, and Computer Algebra, University of ... › MA-GrobnerBasisIdeal

User:Oliver Wienand - OeisWiki

oeis.org

I have done research with Bernd Sturmfels and Gert-Martin Greuel in the field of computer algebra and rank tests. I implemented several algorithms to compute the ...

All web results to the name "Oliver Wienand"

SageMath - Publications Citing SageMath

www.sagemath.org

IEEE, pages , Michael Brickenstein, Alexander Dreyer, Gert-Martin Greuel, Markus Wedler, and Oliver Wienand. New developments in the theory ...

[PDF] Solving hard instances in QF-BV combining Boolean reasoning...

www.semanticscholar.org

The Gröbner basis of the ideal of vanishing polynomials · Gert-Martin Greuel, Frank Seelisch, Oliver Wienand · JSC;

Related search requests for Oliver Wienand

Dominik Stoffel
Alexander Dreyer
Bernd Sturmfels

Markus Wedler
Wolfgang Kunz
Johannes Rauh

Carlos Trenado
Sofia Massa
Helene Neufeld

People
Forename "Oliver" (21512)
Name "Wienand" (123)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Oliver Wienand and Gert-Martin Greuel Free People Check