Subject: Ssreflect Users Discussion List
List archive
- From: bertot <>
- To: ssreflect <>
- Cc: sophie Bernard <>
- Subject: multivariate polynomials
- Date: Wed, 16 Apr 2014 14:16:53 +0200
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.