Manfred Minimair

发表

Deepak Kapur, Manfred Minimair, Arthur D. Chtcherba, 2009, J. Symb. Comput..

Manfred Minimair, Davis Cook, Wilbert Chagula, 2018 .

Manfred Minimair, 2003, J. Symb. Comput..

Manfred Minimair, 2015, ACCA.

Manfred Minimair, Manfred Minimair, 2018, CICM.

Deepak Kapur, Manfred Minimair, 2008, Automated Deduction in Geometry.

Manfred Minimair, Sophine Clachar, Ajay Shah, 2020, 2020 IEEE 7th International Conference on Data Science and Advanced Analytics (DSAA).

Manfred Minimair, Manfred Minimair, 2003, ISSAC '03.

Deepak Kapur, Manfred Minimair, Arthur D. Chtcherba, 2005, CASC.

Manfred Minimair, Manfred Minimair, 2006 .

Manfred Minimair, 2015 .

Manfred Minimair, Manfred Minimair, 2002, Journal of symbolic computation.

Manfred Minimair, 2004, SIGS.

Manfred Minimair, Hoon Hong, 2002, J. Symb. Comput..

Manfred Minimair, 2004, SIGP.

Manfred Minimair, Manfred Minimair, 2006, ISSAC '06.

Manfred Minimair, Manfred Minimair, 2006, J. Symb. Comput..

Manfred Minimair, Manfred Minimair, 2015 .

Manfred Minimair, 2014, ISSAC.

Michael P. Barnett, Manfred Minimair, M. P. Barnett, 2004 .

Deepak Kapur, Manfred Minimair, Arthur D. Chtcherba, 2005 .

Manfred Minimair, 2001 .