Subject: Ssreflect Users Discussion List
List archive
- From: Pierre-Yves Strub <>
- To:
- Subject: Re: multivariate polynomials
- Date: Wed, 16 Apr 2014 14:28:04 +0200
Hi,
You have a "work in progress" in multinom.v (by Cyril if my memory is good). I also started few weeks ago to write some lib. about them for my own needs, but this is quite fresh code.
Pierre-Yves.
On 16/04/2014 14:16, bertot wrote:
Hello everybody,
Is there a library for multivariate polynomials, somewhere?
Yves
- multivariate polynomials, bertot, 04/16/2014
- Re: multivariate polynomials, Pierre-Yves Strub, 04/16/2014
- Re: multivariate polynomials, Pierre-Yves Strub, 04/16/2014
- Re: multivariate polynomials, Laurent Théry, 04/16/2014
- Re: multivariate polynomials, Cyril Cohen, 04/16/2014
- Re: multivariate polynomials, Pierre-Yves Strub, 04/16/2014
Archive powered by MHonArc 2.6.18.