CARGO lab 15-year Event

Date of the event: Friday, March 31, 2017

Location: Wilfrid Laurier University, Waterloo Campus, Career Center, Room CC-101


Website at the Fields Institute:

Schedule of the event:

Prof. Frank Sottile, Texas A&M, College Station, USA

Title: "The trace test in numerical algebraic geometry"


Numerical algebraic geometry uses tools from numerical analysis to study algebraic varieties on a computer. Its origins were in homotopy methods, which used Newton iterations and homotopy continuation to solve systems of equations. Early homotopy algorithms exploited combinatorial structures, such as multihomogeneity, for efficiency. In numerical algebraic geometry, a variety X is represented by a witness set, which is a linear section of X in a projective or affine space.

A fundamental step is to decompose a witness set for a variety X into subsets corresponding to the irreducible components of X. An algorithm for this numerical irreducible decomposition uses monodromy to compute a possible decomposition which is verified using the trace test.

In this talk I will introduce numerical algebraic geometry and witness sets, and describe numerical irreducible decomposition, including a new and elementary proof of the trace test. I will then explain versions of witness sets, the trace test, and numerical irreducible decomposition for multihomogeneous varieties X that take advantage of this structure.

This is joint work with Anton Leykin and Jose Rodriguez.

Short Bio:

Sottile is a Professor of Mathematics at Texas A&M University. He holds a Masters degree from Cambridge University (1986) and a MSc. (1989) and Ph.D. from the University of Chicago (1994). His research interests are in algebraic combinatorics and the applications of algebraic geometry. He was the founding chair of the SIAM Activity Group on Algebraic Geometry and is a corresponding editor of the SIAM Journal on Applied Algebra and Geometry. He has published over 100 peer-reviewed articles and one book. He was a Churchill Scholar, held a NSF Career award, and is a Fellow of the American Mathematical Society.

Dr. Jürgen Gerhard, Senior Director of Research, Maplesoft

Title: What's New in Maple 2016


We will present some of the new features in Maple 2016, including data frames, Math apps, series and limit computations, symbolic integration and summation, symbolic PDE solving, Statistics, and more. See the Maple 2016 Research Datasheet.

Short Bio:

Maplesoft ( is the leading provider of high-performance software tools for engineering, science, and mathematics. Maplesoft's flagship product, Maple, combines the world's most powerful mathematics engine with an interface that makes it extremely easy to analyze, explore, visualize, and solve mathematical problems.

Jürgen Gerhard holds a PhD from University of Paderborn, Germany. He has been with Maplesoft since 2003, and is currently Senior Director of Research. His areas of interest are symbolic computation and its applications in engineering, and he is coordinating research and consulting projects in these areas at Maplesoft. Together with Joachim von zur Gathen, he is the co-author of the reference textbook "Modern Computer Algebra", which as of 2013 is in its 3rd edition.

Maple is math software that combines the world’s most powerful math engine with an interface that makes it extremely easy to analyze, explore, visualize, and solve mathematical problems. With Maple, you aren’t forced to choose between mathematical power and usability, making it the ideal tool for both education and research. Maple has over 5000 functions covering virtually every area of mathematics, including calculus, algebra, differential equations, statistics, linear algebra, geometry, and much more. Gain a trusted tool to advance your research with powerful software that can help you understand and solve difficult mathematical problems from virtually any branch of mathematics, easily develop your own algorithms and applications, and solve large-scale problems efficiently.

More information:

Case study: Maple helps discover the mathematics-based Gömböc shape

Case study: Rose-Hulman Institute of Technology Uses Maple to Improve Learning for Two Thousand Students

Free yourself from the cost and effort of paper-and-pencil assessment, while still asking exactly the questions you want to ask, even in your mathematics-based courses! Maple T.A. is a powerful online testing and assessment software designed especially for courses involving mathematics. Its unparalleled abilities allow instructors to truly assess student understanding of math-based concepts, making it ideal for science, technology, engineering, and mathematics (STEM) courses.

More information:

Case study: The power of Maple T.A. leads to greater engagement at C Chalmers and Gothenburgh Universities

Case study: The University of Manchester uses Maple T.A. to assess student learning across a wide range of courses

With MapleSim, educators have an industry-proven tool to help bridge the gap between theory and practice. Built on the world-leading Maple mathematics engine and the open-standard Modelica modeling language, MapleSim gives you the ability to engage your students with complex, real-world examples and prepare them for the challenges they will face in industry.

More information:

Case study: Researchers at the University of Waterloo use MapleSim in New Approach to Tire Modeling

Case study: MapleSim Models Aid in the Development of Training Simulator to Improve Labor Induction Techniques