|
| Balanced Dense Polynomial Multiplication on Multi-cores by M. Moreno Maza and Y. Xie To appear, International Journal of Foundations of Computer Science, 2010. |
| 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. 53--62. |
| 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. |
| SPIRAL-generated 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. 169-170. |
| A Pipelining Implementation for Parsing X-ray 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. |
| Balanced Dense Polynomial Multiplication on Multi-cores 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. |
| FFT-based Dense Polynomial Arithmetic on Multi-cores by M. Moreno Maza and Y. Xie High Performance Computing Symposium 2009, D.J.K. Mewhort et al. (Eds.): (HPCS 2009), LNCS 5976, pp. 378--399. Springer-Verlag Berlin, Heidelberg 2010 |
| When does 〈T〉 equal sat(T)? by Lemaire, F., Moreno Maza, M., Pan, W. and Xie, Y. Submitted to Journal of Symbolic Computation, 2009. |
| 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 User-Interface , 12 pages, 2009. |
| 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): 55-66, 2008. Higher Education Press and Springer-Verlag. |
| When does 〈T〉 equal sat(T)? by Lemaire, F., Moreno Maza, M., Pan, W. and Xie, Y. In Proc. of ISSAC'2008, pages 207-214. Linz, Austria, July 2008. |
| 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 June-3 July 2008. |
| 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 1-3, 2008.. |
| 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 |
| Component-level Parallelization of Triangular Decompositions by Moreno Maza, M. and Xie, Y. In Proc. of PASCO 2007, July, 2007, London, Canada 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 |
| 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 |
| 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 |
| Parallelization of Triangular Decompositions by Moreno Maza, M. and Xie, Y. Proceedings of Algebraic Geometry and Geometric Modeling, August, 2006, Barcelona University |
| 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 |
| On the Complexity of D5 Principle by Dahan, X., Moreno Maza, M., Schost, E. and Xie, Y. Proceedings of Transgressive Computing, April, 2006, Granada |
| 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 |
| The RegularChains Library in Maple by Lemaire, F., Moreno Maza, M. and Xie, Y. Maple Conference 2005, July, 2005, Waterloo |
| Equiprojectable Decomposition of Zero-dimensional 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 |
| A Family of Modular XML Schemas for MathML by Watt, S. M. and Xie, Y. Proceedings of Internet Accessible Mathematical Computation, July, 2002, Lille |
| A Lisp Subset based on MathML by Watt, S., Padovani, L. and Xie, Y. Proceedings of MathML 2002 Conference, July, 2002, Chicago |
| Effect of Permeating Solutions on Complex Permittivity of Compacted Clay by Rowe, R.K., Shang, J.Q. and Xie, Y. Canadian Geotechnical Journal, 39: 1016-1025, 2002 |
| Complex Permittivity Measurement System for Detecting Soil Contamination by Rowe, R.K., Shang, J.Q. and Xie, Y. Canadian Geotechnical Journal, 38: 498-506, 2000 |
Published Software Back to Top
| 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 |
| XML-Scheme 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) |
Refereed Software Demos and Conference Posters Back to Top
| 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. |
| Balanced Dense Polynomial Multiplication on Multi-cores 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. |
| 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 Canada-France Congress 2008, University of Montreal, June 1-5, 2008. |
| Solving Polynomial Systems Symbolically and in Parallel by Moreno Maza, M. and Xie, Y. Poster in ISSAC2006, July, 2006, Genowa |
| Parallel Triangular Decompositions by Moreno Maza, M. and Xie, Y. Poster in MITACS 7th Annual Conference, May, 2006, Toronto |
| 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. |
| The RegularChains Library in Maple 10 by Lemaire, F., Moreno Maza, M. and Xie, Y. Poster in ISSAC2005, July, 2005, Beijing |
| Equiprojectable Decomposition of Zero-dimensional Varieties by Dahan, X., Moreno Maza, M., Schost E., Wu, W., and Xie, Y. Poster in MITACS 6th Annual Conference, April, 2005, Calgary |
Dissertations Back to Top
| Fast Algorithms, Modular Methods, Parallel Approaches and Software Engineering for Solving Polynomial Systems Symbolically by Xie, Y. Ph D Thesis, University of Western Ontario, 2007 |
| A Family of XML Schema for MathML by Xie, Y. Master's Thesis, University of Western Ontario, 2002 |