Organizing Committee
Abstract

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
TimeEventLocationMaterials
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
TimeEventLocationMaterials
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
TimeEventLocationMaterials
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
TimeEventLocationMaterials
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  
1:00 - 2:00Matrix completion working group10th Floor Classroom 
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
TimeEventLocationMaterials
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  
3:30 - 7:00AGNES Conference at Brown University 

Request Reimbursement

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

https://icerm.brown.edu/money/

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

Proof-of-work Certificates for High Complexity Mathematical Computations

Erich Kaltofen
North Carolina State University
September 21, 2018

BKK bound and polyhedral homotopy

Tianran Chen
Auburn University at Montgomery
September 21, 2018

Numerical Approximations: sometimes close is good enough

Chris Peterson
Colorado State University
September 20, 2018

Computational tools for Fl-algebras

Robert Krone
UC Davis
September 20, 2018

Random monomial ideals

Lily Silverstein
University of California Davis
September 20, 2018

Fiber product homotopy method for multiparameter eigenvalue problems

Jose Rodriguez
University of Wisconsin-Madison
September 20, 2018

Algebraic Biology with Macaulay2

Elizabeth Gross
University of Hawai'i at Manoa
September 19, 2018

Gröbner bases from tropical geometry

Diane Maclagan
University of Warwick
September 19, 2018

Multiprecision- solving and causing problems

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

sage.geometry.polyhedron

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