Organizing Committee

This workshop will focus on core algorithms in the three crucial areas in nonlinear algebra: numerical algebraic geometry, symbolic computation, and combinatorial methods. There have been tremendous advances in algorithms in these areas. As applications become more sophisticated, and require more computing resources, the basic algorithms and implementations need to step up to match the demand from applications. This workshop will bring together experts to exchange ideas on new algorithms that are needed and on improvement of existing ones. It will incite collaboration on hybrid algorithms involving computational methods from the three areas. Examples of open problems to be addressed include: certification of numerical methods, and combining numerical, symbolic and combinatorial methods to allow a much larger reach for decomposition algorithms.

Confirmed Speakers & Participants

Workshop Schedule

Monday, September 17, 2018
8:30 - 8:55Registration - ICERM 121 South Main Street, Providence RI 0290311th Floor Collaborative Space 
8:55 - 9:00Welcome - ICERM Director11th Floor Lecture Hall 
9:00 - 9:50Computing Subschemes of the Border Basis Scheme - Martin Kreuzer, University of Passau11th Floor Lecture Hall
10:00 - 10:30Coffee/Tea Break11th Floor Collaborative Space 
10:30 - 11:20Time-Varying Semidefinite Programs - Amir Ali Ahmadi, Princeton University11th Floor Lecture Hall
11:30 - 12:20CoCoA News 2018 - Anna Bigatti, Universita' degli Studi di Genova11th Floor Lecture Hall
12:30 - 2:30Break for Lunch / Free Time  
2:30 - 3:20Polyhedral computations in polynomial system solving - Anders Jensen, Aarhus Universitet11th Floor Lecture Hall
3:30 - 4:00Coffee/Tea Break11th Floor Collaborative Space 
4:00 - 4:50sage.geometry.polyhedron - Matthias Koeppe, University of California Davis11th Floor Lecture Hall
5:00 - 6:30Welcome Reception11th Floor Collaborative Space 
Tuesday, September 18, 2018
9:00 - 9:50"Chordal" package- Exploiting graphical structure in polynomial ideals - Diego Cifuentes, Massachusetts Institute of Technology11th Floor Lecture Hall
10:00 - 10:30Coffee/Tea Break11th Floor Collaborative Space 
10:30 - 11:20Segre-Driven Algorithms to Test Ideal Membership and Compute Algebraic Multiplicity - Martin Helmer, University of Copenhagen11th Floor Lecture Hall
11:30 - 12:20Computing Multiple Zeros of Polynomial Systems - Lihong Zhi, Academy of Mathematics and Systems Science, CAS11th Floor Lecture Hall
12:30 - 2:30Break for Lunch / Free Time  
2:30 - 3:20Multiprecision- solving and causing problems - Danielle Brake, University of Wisconsin - Eau Claire11th Floor Lecture Hall
3:30 - 5:30Poster Session and Coffee/Tea Break11th Floor Collaborative Space 
Wednesday, September 19, 2018
9:00 - 9:50Algorithms in tropical geometry - Diane Maclagan, University of Warwick11th Floor Lecture Hall
10:00 - 10:30Computer vision working group10th Floor Classroom 
10:00 - 10:30Coffee/Tea Break11th Floor Collaborative Space 
10:30 - 11:20Core computational methods in tropical algebraic geometry - Yue Ren, Max Planck Institute11th Floor Lecture Hall
11:30 - 12:20Tropical Principal Component Analysis and its Application to Phylogenetics - Ruriko Yoshida, Naval Postgraduate School11th Floor Lecture Hall
12:30 - 12:40Group Photo11th Floor Lecture Hall 
12:30 - 2:30Break for Lunch / Free Time  
2:30 - 3:20Algebraic Biology with Macaulay2 - Elizabeth Gross, University of Hawaii at Manoa11th Floor Lecture Hall
3:30 - 4:00Coffee/Tea Break11th Floor Collaborative Space 
Thursday, September 20, 2018
9:00 - 9:50Numerical Function Patches for 1D and 2D Real Algebraic Cell Decompositions - Charles Wampler, General Motors R&D11th Floor Lecture Hall
10:00 - 10:30Coffee/Tea Break11th Floor Collaborative Space 
10:30 - 11:20Fiber product homotopy method for multiparameter eigenvalue problems - Jose Rodriguez, University of Wisconsin-Madison11th Floor Lecture Hall
11:30 - 12:20Random Monomial Ideals - Lily Silverstein, University of California Davis11th Floor Lecture Hall
12:30 - 2:30Break for Lunch / Free Time  
2:30 - 3:20Computational tools for FI-algebras - Robert Krone, University of California Davis11th Floor Lecture Hall
3:30 - 4:00Coffee/Tea Break11th Floor Collaborative Space 
4:00 - 4:50Numerical approximations- sometimes being close is good enough - Chris Peterson, Colorado State University11th Floor Lecture Hall
Friday, September 21, 2018
9:00 - 9:50BKK bound and polyhedral homotopy - Tianran Chen, Auburn University at Montgomery11th Floor Lecture Hall
10:00 - 10:30Coffee/Tea Break11th Floor Collaborative Space 
10:30 - 11:20Proof-of-work Certificates for High Complexity Mathematical Computations - Erich Kaltofen, NCSU and Duke University11th Floor Lecture Hall
11:30 - 1:30Break for Lunch / Free Time  
5:00 - 8:00AGNES Conference at Brown University 

Application Information

ICERM welcomes applications from faculty, postdocs, graduate students, industry scientists, and other researchers who wish to participate. Some funding may be available for travel and lodging. Graduate students who apply must have their advisor submit a statement of support in order to be considered.

Your Visit to ICERM

ICERM Facilities
ICERM is located on the 10th & 11th floors of 121 South Main Street in Providence, Rhode Island. ICERM's business hours are 8:30am - 5:00pm during this event. See our facilities page for more info about ICERM and Brown's available facilities.
Traveling to ICERM
ICERM is located at Brown University in Providence, Rhode Island. Providence's T.F. Green Airport (15 minutes south) and Boston's Logan Airport (1 hour north) are the closest airports. Providence is also on Amtrak's Northeast Corridor. In-depth directions and transportation information are available on our travel page.
To secure ICERM's preferred hotel rate at the Hampton Inn & Suites Providence Downtown, use this link. ICERM regularly works with two additional area hotels for short visits. The Providence Biltmore and Hilton Garden Inn both have discounted rates available. Contact before booking outside of the preferred rate or if you would like to book alternate accommodations.
The only way ICERM participants should book a room is through the hotel reservation links located on this page or through links emailed to them from an ICERM email address ( ICERM never works with any conference booking vendors and never collects credit card information.
Those traveling with family who are interested in information about childcare and/or schools should contact
Family Support
With a recent gift from Microsoft Research, we are pleased to announce that there are fellowships available to assist in defraying dependent care costs. A separate application for this fellowship will be provided to those that have accepted an invitation to participate in an NSF-funded research program. Fellowship decisions will be made based on the justification and the availability of funds.
Technology Resources
Wireless internet access ("Brown-Guest") and wireless printing is available for all ICERM visitors. Eduroam is available for members of participating institutions. Thin clients in all offices and common areas provide open access to a web browser, SSH terminal, and printing capability. See our Technology Resources page for setup instructions and to learn about all available technology.
Discrimination and Harassment Policy
ICERM is committed to creating a safe, professional, and welcoming environment that benefits from the diversity and experiences of all its participants. The Brown University "Discrimination and Workplace Harassment Policy" applies to all ICERM participants and staff. Participants with concerns or requests for assistance on a discrimination or harassment issue should contact the ICERM Director, who is the responsible employee at ICERM under this policy.
Exploring Providence
Providence's world-renowned culinary scene provides ample options for lunch and dinner. Neighborhoods near campus, including College Hill Historic District, have many local attractions. Check out the map on our Explore Providence page to see what's near ICERM.

Financial Support

Acceptable Costs
  • 1 roundtrip between your home institute and ICERM
  • Flights on U.S. or E.U. airlines – economy class to either Providence airport (PVD) or Boston airport (BOS)
  • Ground Transportation to and from airports and ICERM.
Unacceptable Costs
  • Flights on non-U.S. or non-E.U. airlines
  • Seats in economy plus, business class, or first class
  • Change ticket fees of any kind
  • Multi-use bus passes
  • Meals or incidentals
Advance Approval Required
  • Personal car travel to ICERM from outside New England
  • Multiple-destination plane ticket; does not include layovers to reach ICERM
  • Arriving or departing from ICERM more than a day before or day after the program
  • Multiple trips to ICERM
  • Rental car to/from ICERM
  • Flights on a Swiss, Japanese, or Australian airlines
  • Arriving or departing from airport other than PVD/BOS or home institution's local airport
  • 2 one-way plane tickets to create a roundtrip (often purchased from Expedia, Orbitz, etc.)
Reimbursement Request Form

Refer to the back of your ID badge for more information. Checklists are available at the front desk.

Reimbursement Tips
  • Scanned original receipts are required for all expenses
  • Airfare receipt must show full itinerary and payment
  • ICERM does not offer per diem or meal reimbursement
  • Allowable mileage is reimbursed at prevailing IRS Business Rate and trip documented via pdf of Google Maps result
  • Keep all documentation until you receive your reimbursement!
Reimbursement Timing

6 - 8 weeks after all documentation is sent to ICERM. All reimbursement requests are reviewed by numerous central offices at Brown who may request additional documentation.

Reimbursement Deadline

Submissions must be received within 30 days of ICERM departure to avoid applicable taxes. Submissions after thirty days will incur applicable taxes. No submissions are accepted more than six months after the program end.

Associated Semester Workshops

Nonlinear Algebra
Nonlinear Algebra Bootcamp
Real Algebraic Geometry and Optimization
Nonlinear Algebra in Applications

Lecture Videos

Multiprecision- solving and causing problems

Danielle Brake
University of Wisconsin - Eau Claire
September 18, 2018


Matthias Köppe
UC Davis
September 17, 2018

CoCoA News 2018

Anna Bigatti
University of Genova
September 17, 2018

Time-Varying Semidefinite Programs

Amir Ali Ahmadi
Princeton University
September 17, 2018

Computing Subschemes of the Border Basis Scheme

Martin Kreuzer
University of Passau
September 17, 2018