Balanced Dense Polynomial Multiplication on Multicores
by M. Moreno Maza and Y. Xie
To appear, International Journal of Foundations of Computer Science, 2010.
pdf

Parallel computation of the minimal elements of a poset
by Charles E. Leiserson, Liyun Li, Marc Moreno Maza and Yuzhen Xie
Proceedings of the 4th International Workshop on Parallel and Symbolic Computation (PASCO'10), ACM Press, 2010, pp. 5362.
pdf

Efficient Evaluation of Large Polynomials
by Charles E. Leiserson, Liyun Li, Marc Moreno Maza and Yuzhen Xie
Proceedings of the International Congress of Mathematical Software (ICMS 2010), LNCS 6327, Springer, 2010.
pdf

SPIRALgenerated modular FFT algorithms
by Lingchua Meng, Yevgen Voronenko, Jeremy R. Johnson, Marc Moreno Maza, Franz Franchetti and Yuzhen Xie
Proceedings of the 4th International Workshop on Parallel and Symbolic Computation (PASCO'10), ACM Press, 2010, pp. 169170.
pdf

A Pipelining Implementation for Parsing Xray Diffraction Source
Data and Removing the Background Noise
by Michael A. Bauer, Alain Biem, Stewart McIntyre and Yuzhen Xie
Proceedings of the High Performance Computing Symposium (HPCS 2010), Journal of Physics: Conference Series, 256 012017, 2010.
pdf

Balanced Dense Polynomial Multiplication on Multicores
by M. Moreno Maza and Y. Xie
In Proc. of the 10th International Conference on
Parallel and Distributed Computing, Applications and Technologies
(PDCAT), 9 pages, 2009.
pdf

FFTbased Dense Polynomial Arithmetic on Multicores
by M. Moreno Maza and Y. Xie
High Performance Computing Symposium 2009,
D.J.K. Mewhort et al. (Eds.): (HPCS 2009), LNCS 5976, pp. 378399. SpringerVerlag Berlin, Heidelberg 2010
pdf

When does 〈T〉 equal sat(T)?
by Lemaire, F., Moreno Maza, M., Pan, W. and Xie, Y.
Submitted to Journal of Symbolic Computation, 2009.
pdf

User Interface Design for Geometrical Decomposition Algorithms in Maple
by C. Chen, J. H. Davenport, J. May, M. Moreno Maza, B. Xia, R. Xiao and Y. Xie
Proceedings of Mathematical UserInterface , 12 pages, 2009.
pdf

On the verification of polynomial system solvers.
by Chen, C.; Moreno Maza, M.; Pan, W. and Xie, Y.
Journal of Frontiers of Computer Science in China.
2(1): 5566, 2008. Higher Education Press and SpringerVerlag.
pdf

When does 〈T〉 equal sat(T)?
by Lemaire, F., Moreno Maza, M., Pan, W. and Xie, Y.
In Proc. of ISSAC'2008, pages 207214. Linz, Austria, July 2008.
pdf

The ConstructibleSetTools and ParametricSystemTools modules of
the RegularChains library in Maple
by Chen, C.; Lemaire, F.; Li, L.; Moreno Maza, M.; Pan, W. and Xie, Y.
In Proc. of Computer Algebra Systems and Their Applications 2008, IEEE Computer Society.
Perugia, Italy, 30 June3 July 2008.
pdf

On the representation of constructible sets.
by Chen, C.; Li, L.; Moreno Maza, M.; Pan, W. and Xie, Y.
extended abstract, Milestones in Computer Algebra 2008
Tobago, May 13, 2008..
pdf

Multiprocessed Parallelism Support in Aldor on SMPs and Multicores
by Moreno Maza, M., Stephenson, B., Watt, S. M. and Xie, Y.
In Proc. of PASCO 2007, July, 2007, London, Canada
pdf

Componentlevel Parallelization of Triangular Decompositions
by Moreno Maza, M. and Xie, Y.
In Proc. of PASCO 2007, July, 2007, London, Canada
pdf
Invited talk at MSRI 2007 Workshop: Interactive Parallel Computation in Support of Research in Algebra, Geometry and Number Theory, January, 2007, Berkeley CA

On the Verification of Polynomial System Solvers
by Chen, C., Moreno Maza, M., Pan, W. and Xie, Y.
In Proc. of AWFS 2007, June 2007, Xiamen, China
pdf

Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library
by Chen, C., Lemaire, F., Moreno Maza, M., Pan, W. and Xie, Y.
In Proc. of the Fifth International Workshop on Computer Algebra Systems and Applications,May, 2007, Beijing
pdf

Making a Sophisticated Symbolic Solver Available to Different Communities of Users
by Lemaire, F., Moreno Maza, M. and Xie, Y
Proceedings of 11th Asian Technology Conference in Mathematics, December, 2006, Hong Kong
pdf

Parallelization of Triangular Decompositions
by Moreno Maza, M. and Xie, Y.
Proceedings of Algebraic Geometry and Geometric Modeling, August, 2006, Barcelona University
pdf

Brief Announcement: An Implementation Report for Parallel Triangular Decompositions
by Moreno Maza, M. and Xie, Y.
Proceedings of 19th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), July, 2006, Cambridge, MA
pdf

On the Complexity of D5 Principle
by Dahan, X., Moreno Maza, M., Schost, E. and Xie, Y.
Proceedings of Transgressive Computing, April, 2006, Granada
pdf

Lifting Techniques for Triangular Decompositions
by Dahan, X., Moreno Maza, M., Schost, E., Wu, W. and Xie, Y.
Proceedings of International Symposium on Symbolic
and Algebraic Computation, Beijing, July, 2005.
ISSAC 2005 Distinguished Student Author Award
pdf

The RegularChains Library in Maple
by Lemaire, F., Moreno Maza, M. and Xie, Y.
Maple Conference 2005, July, 2005, Waterloo
pdf

Equiprojectable Decomposition of Zerodimensional Varieties
by Dahan, X., Moreno Maza, M., Schost, E., Wu, W. and Xie, Y.
Proceedings of International Conference on Polynomial System Solving, November, 2004, Paris
pdf

A Family of Modular XML Schemas for MathML
by Watt, S. M. and Xie, Y.
Proceedings of Internet Accessible Mathematical Computation, July, 2002, Lille
pdf

A Lisp Subset based on MathML
by Watt, S., Padovani, L. and Xie, Y.
Proceedings of MathML 2002 Conference, July, 2002, Chicago
pdf

Effect of Permeating Solutions on Complex Permittivity of Compacted Clay
by Rowe, R.K., Shang, J.Q. and Xie, Y.
Canadian Geotechnical Journal, 39: 10161025, 2002
pdf

Complex Permittivity Measurement System for Detecting Soil Contamination
by Rowe, R.K., Shang, J.Q. and Xie, Y.
Canadian Geotechnical Journal, 38: 498506, 2000
pdf


ConstructibleSetTools and ParametricSystemTools of the RegularChains library in Maple 12
by Chen, C.; Lemaire, F.; Li, L.; Moreno Maza, M.; Pan, W. and Xie, Y.
Maplesoft, Waterloo, Canada, May, 2008

Modular Methods for Triangular Decompositions in Maple 11
by Dahan, X., Moreno Maza, M., Schost, E., Wu, W. and Xie, Y.
Maplesoft, Waterloo, Canada, September, 2006

The RegularChains Library in Maple 10
by Lemaire, F., Moreno Maza, M. and Xie, Y.
Maplesoft, Waterloo, Canada, May, 2005

XMLScheme Interpreter
by Xie, Y.
ORCCA, London, Ontario, 2002

"enttran" program (to perform conversion between the types of entity references in an XML file or HTML file)
by Xie, Y.
ORCCA, London, Ontario, 2001

Design and Process List (DPL) Project Manager
by Xie, Y.
FAG Aerospace Canada, 2000 (enterprise distributed software)


Cache Complexity and Multicore Implementation for Univariate Real Root Isolation
by C. Chen, M. Moreno Maza and Y. Xie
ISSAC 2010, Extended abstract in ACM Communications in Computer
Algebra, 2010.
PDF

Balanced Dense Polynomial Multiplication on Multicores
by M. Moreno Maza and Y. Xie
Extended abstract in ACM Communications in Computer
Algebra, Vol. 43, No. 3, Sept. 2009, Issue 169.
ISSAC 2009 Best Poster Award, Seoul, Korean. 2009.
PDF

Two new modules of the RegularChains library in Maple 12: ConstructibleSetTools and ParametricSystemTools
by Chen, C.; Lemaire, F.; Li, L.; Moreno Maza, M.; Pan, W. and Xie, Y.
20 minutes software demo in ISSAC'2008, Linz, Austria, July 2008.
Maple worksheet

On the representation of constructible sets.
by Chen, C.; Li, L.; Moreno Maza, M.; Pan, W. and Xie, Y.
Poster in Second CanadaFrance Congress 2008, University of Montreal, June 15, 2008.
pdf

Solving Polynomial Systems Symbolically and in Parallel
by Moreno Maza, M. and Xie, Y.
Poster in ISSAC2006, July, 2006, Genowa
pdf

Parallel Triangular Decompositions
by Moreno Maza, M. and Xie, Y.
Poster in MITACS 7th Annual Conference, May, 2006, Toronto
pdf

On the Complexity of D5 Principle
by Dahan, X., Moreno Maza, M., Schost, E., Wu, W., and Xie, Y.
ISSAC 2005 Best Poster
Award, Beijing, July, 2005.
pdf

The RegularChains Library in Maple 10
by Lemaire, F., Moreno Maza, M. and Xie, Y.
Poster in ISSAC2005, July, 2005, Beijing
pdf

Equiprojectable Decomposition of Zerodimensional Varieties
by Dahan, X., Moreno Maza, M., Schost E., Wu, W., and Xie, Y.
Poster in MITACS 6th Annual Conference, April, 2005, Calgary
pdf

