Generating plans in linear logic: I. actions as proofs
- 作者M. Masseron; C. Tollu; J. Vauzeilles
- 卷第113卷
- 期第2期
- 印刷ISSN0304-3975
- 文件大小1358.50KB
- 发表时间1993
- DOI10.1016/0304-3975(93)90007-g
- 页码349-370
Moment matrices, border bases and real radical computationLasserre, Jean-Bernard; Laurent, Monique; Mourrain, Bernard; Rostalski, Philipp; Trébuchet, Philippe · Journal of Symbolic Computation · 2013
Sparse polynomial interpolation: sparse recovery, super-resolution, or Prony?Josz, Cédric; Lasserre, Jean Bernard; Mourrain, Bernard · Advances in Computational Mathematics · 2019
Multivariate Polynomials, Duality, and Structured MatricesBernard Mourrain; Victor Y. Pan · 2000
Lifting/Descending Processes for Polynomial ZerosBernard Mourrain; Victor Y. Pan · 2000
Matrices in Elimination TheoryIoannis Z. Emiris†; Bernard Mourrain‡ · 1999
Symmetric tensor decompositionJerome Brachat; Pierre Comon; Bernard Mourrain; Elias Tsigaridas · 2010
Multidimensional structured matrices and polynomial systemsBernard Mourrain; Victor Y. Pan · 1996
PrefaceIoannis Z. Emiris; Bernard Mourrain; Victor Y. Pan · 2004