The East Coast Computer Algebra Days were conceived by Bruce Char
who also organized the first one in 1994 at Drexel U.
They are held on a spring Saturday somewhere on the east coast of North America.
The definition of this east coast may be loosely defined as any location
within 2400 km of Philadelphia.
-
ECCAD '94, May 14, 1994, Drexel U, Philadelphia.
Organizers: Bruce Char; Jeremy Johnson, and Lakshman Yagati
Invited Speakers:
-
Rob Corless, U. Western Ontario,
-
Richard Fateman, UC Berkeley,
-
Barry Trager, IBM Watson Research Center,
-
ECCAD '95, April 8, 1995, Smith Hall, U. of Delaware, Newark DE.
Organizers: David Saunders and Bob Caviness
Invited Speakers:
-
Michael F. Singer, North Carolina State U,
Galois Theory of Difference Equations
-
Erich Kaltofen, Rensselaer Polytechnic Institute,
Parallel Matrix-free Linear System Solution and Symbolic Math Applications
-
Stephen M. Watt, IBM Watson Research Center,
The Five W's of Symbolic-Numeric Computation.
-
ECCAD '96, April 13, 1996, IBM Watson Research Center, Yorktown Heights.
Organizer: Sam Dooley
Invited Speakers:
-
Keith Geddes, U. of Waterloo,
Hybrid Symbolic-Numeric Algorithms in Integration and Differential Equations
-
Dinesh Manocha, U. of North Carolina,
Solving Algebraic Systems using Multi-Polynomial Resultants:
Algorithms, Implementations and Applications
-
Don Coppersmith, IBM Watson Research Center,
Finding Small Roots of Polynomials
-
ECCAD '97, May 3, 1997, Northeastern University, Boston
Organizer: Gene Cooperman
Invited Speakers:
-
Susan Landau, U. of Massachusetts,
The Power of Examples: sqrt(2)+sqrt(3) from Four Different Viewpoints
-
Mark Giesbrecht, U. of Manitoba,
Computing with large systems of linear Diophantine equations
-
Robert L. Constable, Cornell U.,
Theorem Prover Support for Computer Algebra Systems
-
ECCAD '98, April 25, 1998, Naval Academy, Annapolis
Organizer: George Nakos and John Turner
Invited Speakers:
-
Erich Kaltofen, North Carolina State U,
-
Scott McCallum, Macquarie U,
-
Robert Corless, U. Western Ontario,
-
ECCAD '99, North Carolina State University, Raleigh
Organizer: Erich Kaltofen
Invited Speakers:
-
Peter Borwein, Simon Fraser U,
Three Pieces of (Computational) Number Theory and a Little Philosophy
-
Gaston H. Gonnet, ETH Zurich,
Partial Inverse Heuristic for the Approximate Solution of Non-Linear Equations
-
Lakshman Y. N., Bell Labs,
Approximate Algebraic Computation
-
ECCAD '00, May 13, 2000, U. of Western Ontario, London, ON.
Organizer: Mark Giesbrecht
Invited Speakers:
-
Joachim von zur Gathen, U. of Paderborn,
Subresultants revisited
-
Michael Monagan, Simon Fraser U,
Some problems in general purpose computer algebra systems design
-
Hans J. Stetter, Technical U. of Vienna,
Iterative Solution of Algebraic Problems with Polynomials
-
ECCAD '01, May 5, 2001, Florida State U. Tallahassee
Organizer: Mark van Hoeij
Invited Speakers:
-
Arne Storjohann, U. of Western Ontario,
Design and Analysis of Algorithms for Symbolic Linear Algebra
-
Hoon Hong, North Carolina State U,
Computer Algebra for Composed Polynomials
-
Alexander Hulpke, Ohio State U,
Working with Quotients of Finitely Presented Groups.
-
ECCAD '02, May 18, City College of New York
Organizer: William Sit
Invited Speakers:
-
Gert-Martin Greuel, U. of Kaiserslautern
The System SINGULAR and Applications of Computer
Algebra
-
Sam Dooley (speaker) and Richard D. Jenks, IBM
The IBM MathML Expression Editor
-
Doron Zeilberger, Rutgers
Computerized Deconstruction
-
ECCAD '03, April 5, Clemson U, Georgia
Organizers: Shuhong Gao and David Jacobs
Invited Speakers:
-
Wolfgang Schreiner, RISC-Linz,
Distributed Maple - lessons learned on parallel computer algebra distributed environments
-
Jeremy Johnson, Drexel
Computer Algebra and Signal Processing
-
Richard Brent, Oxford
Primitive and almost primitive trinomials over GF(2)
-
ECCAD '04, May 8th, Wilfrid Laurier U, Waterloo, Ontario
Organizers: Ilias Kotsireas and Edmond Lau
Invited Speakers:
-
Jonathan Borwein, Dalhousie U.
Mathematics by Experiment: Plausible Reasoning in the 21st Century.
-
David Cox, Amherst College
Implicitization and Commutative Algebra
-
Daniel Lazard, Université Paris 6
Solving zero-dimensional systems of equations and inequations, depending on parameters.
-
ECCAD '05, March 12th, Ashland U, Ashland, Ohio
Organizer: Iyad A. Ajwa
Invited Speakers:
-
Bruno Buchberger, Johannes Kepler U.
Algorithmic Algorithm Synthesis: Case Study Gröbner Bases
-
Paul Wang, Kent State U.
Features and Advantages of WME: a Web-based Mathematics Education System
-
Erich Kaltofen, North Carolina State U.
The Role of Algorithms in Symbolic Computation
-
ECCAD '06, Drexel U, Philadelphia, PA
Organizers: Werner Krandick, Jeremy Johnson, Bruce Char, Zhendong Wan
Invited Speakers:
-
Herbert Wilf, U. of Pennsylvania
Mathematics, an Experimental Science
-
Daniel W. Lozier, National Institute of Standards and Technology
The Role of Computer Algebra in the DLMF Project
-
Masakazu Suzuki, Kyushu U.
Handwriting Interface to Mathematical Expressions
-
ECCAD '07, Washington U, Chestertown, PA
Organizer: Austin Lobo
Invited Speakers:
-
David Stoutemyer, U. of Hawaii
Infinitesimally-Perturbed Numbers, Generalized Limits, and Recovery of Exact Results from Approximate
-
Evelyne Hubert, INRIA Méditerranée
Algebraic and Differential Invariants
-
George Labahn, U. of Waterloo
Order Bases
-
ECCAD '08, May 10th, Sheperd U, Sheperdstown, WV
Organizer: Weidong Liao
Invited Speakers:
-
Y. V. Ramana Reddy, West Virginia U.
A Model for transforming URLs into Useful Knowledge Networks
-
Paul S. Wang, Kent State U.
On Automatic Mathematical Answer Checking
-
John F. Nash Jr., Princeton U.
Studying Cooperative Games Using the Method of Agencies
-
Erich Kaltofen, NC State U.
Hybrid Symbolic-Numeric Computation
-
ECCAD '09, May 2nd, U. of Rhode Island, Kingston, RI
Organizer: Ed Lamagna
Invited Speakers:
-
David H. Bailey, Lawrence Berkeley National Laboratory
High-Precision Arithmetic and Experimental Mathematics
-
Douglas J. Dunham, U. of Minnesota Duluth
How to Create Repeating Hyperbolic Patterns
-
Eric Schost, U. of Western Ontario
The Search for a Secure Curve of Genus 2
-
Stan Wagon, Macalester College
Some Surprises in Symbolic Computation
-
ECCAD '10, May 15th, Emory U., Atlanta, GA
Organizer: Vicki Powers
Invited Speakers:
-
Anton Leykin, Georgia Institute of Technology
Certified numerical solving of systems of polynomial equations
-
Mark van Hoeij, Florida State U.
The complexity of factoring univariate polynomials over the rationals
-
David Saunders, U. of Delaware
Exact linear algebra
-
ECCAD '11, April 9, University of Waterloo, Waterloo, ON, Canada
Organizers: John May; Mark Giesbrecht, George Labahn, and Bruce Char
Invited Speakers:
-
Christopher Brown, US Naval Academy
Computing with semi-algebraic sets: from problem to solution
-
Victoria Powers, Emory U.
Rational certificates of positivity
-
Clément Peret, Université Joseph Fourier
Eliminations and echelon forms in exact linear algebra
Title
-
ECCAD '12, May 12, Oakland University, Rochester, MI
Organizers: Tony Shaska, Daniel Steffy, George Labahn, Daniel Roche, and David Saunders
Invited Speakers:
-
Harm Derksen, U. of Michigan
Invariants and Complexity
-
Mark Giesbrecht, U. of Waterloo
Sparsity, Complexity and Practicality in Algebraic Computation
-
Irina Kogan, North Carolina State U.
Object-image correspondence for curves under projections
-
ECCAD '13, April 27, 2013, Naval Academy, Annapolis. MD
Organizers: Daniel Roche, Christopher Brown, David Saunders
Invited Speakers:
-
Michael Monagan, Simon Fraser University
What's the best data structure for multivariate polynomials in a world with 64 bit multicore computers
-
Manuel Kauers, RISC-Linz
Finding closed form solutions of differential equations
-
Shafi Goldwasser, MIT
New Cryptographic Challenges: Computing on Remote Data
-
ECCAD '14, April 26, 2014, Duke University, Durham, NC
Organizers:
Xiaobai Sun (Chair), Jonathan Hauenstein, Alexandros-Stavros Iliopoulos, Nikos P. Pitsianis
Invited Speakers:
-
Jeremy Johnson, Drexel University
ECCAD Past and Future
-
Michael A. Burr, Clemson University
Certified Subdivision Algorithms in Computer Algebra
-
Alexandros-Stavros Iliopoulos, Duke University
Sparse and Structured Embeddings in Matrix Algebra: Analysis & Applications
-
Adam Mahdi, North Carolina State University
Computer Algebra in Dynamical Systems and Biology
-
ECCAD '15, October 3, 2015, Fields Institute, Toronto, ON
Organizers: ...
Silvana Ilie,
Arne Storjohann
Invited Speakers:
-
Marc Moreno Maza, Western University, Canada
Quantifier Elimination, Polyhedral Computations and their Applications to the Parallelization of Computer Programs
-
Marni Mishna, Simon Fraser University, Canada
The art and science of systematic combinatorics: a study in lattice path enumeration and holonomic functions
-
Johan S.R. Nielsen, Technical University of Denmark
Polynomial Approximation Problems in Algebraic Coding Theory