- SCSS 2021,
Symbolic
Computation MMXX, SN
Computer Science
ADG 2021,
ISSAC 2019,
SSSC 2019,
Wu 2019,
SYMCOMP 2019
2017
- SCIENCE CHINA Information Sciences,
Mathematics in Computer Science
PAS 2015
2014
2013
2012,
(SC)² 2015,
GC 2015
2002,
SCDG 2011,
GB 2006
- SCA 2010,
SNC 2009
2007
2005,
SCC 2008,
ISSAC 2007
2005
2004
'96
AISC 2018
2014
2010
2008
2006
2004
2002
2000
'98,
MKM 2010,
KEOD 2009
- ADG 2018
2016
2014
2012
2010
2008
2006
2004
2002
2000
'98
'96,
AAGR '92
ANB 2010,
AB 2009
2008
2007
2005,
SNPD 2008
2007,
ISDEABS 2007,
A3L 2005
- AWFS 2012
2010
2009
2007,
ASCM 2007
2005
2003
2001
2000,
SYCM 2006
SSSC 2015
2009
2006
2004,
HSB 2013,
SRATC 2008,
SCE 2006,
DESC 2004
- SCSS 2017
2016
2014,
MACIS 2013
2011
2007
2006,
ATCM 2002
2001
2000
'99
ICMS 2018
2016
2014
2010
2006
2002,
CADE-16
15
14
13,
CALCULEMUS '99
- Dasa 2018,
CRC 2011,
Chinese-SALSA 2008
2007,
ICPSS 2004,
IMACS ACA '96
'95
SYNASC 2014
2013
2012
2011
2010
2009,
RCA '09,
ICRM 2009,
ICMM 2009
- Journal of Symbolic Computation
Special Issue on Polynomial Elimination
|