Maurice Mignotte (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

10

Dennis S. Arnon, Maurice Mignotte: On Mechanical Quantifier Elimination for Elementary Algebra and Geometry. J. Symb. Comput. 5(1/2): 237-259 (1988)

Selection of 1 from 22 records - Maurice Mignotte has 11 coauthors