List of accepted talks for the ACA2009 Conference

Click the

Presenter(s) |
||||||||

Name(s) |
Country |
Title of Talk |
TalkNumber |
Session |
TentativeSchedule |
Room |
||

1- | Aguilera * et al. | España | Scilab and Maxima Environment: Towards free software in Numerical Analysis | 01-20 | 1- Computer Algebra in Education | Saturday 9:30 | B-4408 | |

2- | Beaudin * Picard * | Canada | Ten Years of Using Symbolic TI Calculators at ETS | 01-11 | 1- Computer Algebra in Education | Thursday 10:30 | B-4408 | |

3- | Böhm * | Austria | WIRIS Exploration (Workshop) | 01-23 | 1- Computer Algebra in Education | Saturday 14:00 | B-2404 | |

4- | Böhm * | Austria | Which CAS can fill the gap? | 01-04 | 1- Computer Algebra in Education | Saturday 9:00 | B-4408 | |

5- | Bokhari * Yushau | Saudi Arabia | Application of CAS to the classical definition of limit of function Slides of talk (PDF, 120 Kb) | 01-05 | 1- Computer Algebra in Education | Friday 11:00 | B-4408 | |

6- | Buteau * Marshall * Jarvis * Lavicza | Canada and UK | Integrating Computer Algebra Systems in Post-Secondary Mathematics Education: Preliminary Results of a Literature Review | 01-16 | 1- Computer Algebra in Education | Friday 9:30 | B-4408 | |

7- | Buteau * | Canada | A Sustained Integration of a Computer Algebra System in University Mathematics Education at Brock University | 01-15 | 1- Computer Algebra in Education | Thursday 11:30 | B-4408 | |

8- | Caron * | Canada | Technology in Mathematics Education: From Meaning to Purpose | 01-22 | 1- Computer Algebra in Education | Sunday 10:30 | B-4408 | |

9- | Caron * Jarvis * Pineau * | Canada | Session Finale: What constitutes a good CAS task? | 01-28 | 1- Computer Algebra in Education | Sunday 11:15 | B-4408 | |

10- | Char Johnson * Augenblick | USA | Using Maple and Maple TA in a course about technical computing | 01-25 | 1- Computer Algebra in Education | Thursday 12:00 | B-4408 | |

11- | Collins * | USA | Analysing Power Series using Computer Algebra and Precalculus Techniques | 01-08 | 1- Computer Algebra in Education | Friday 11:30 | B-4408 | |

12- | Curts * | USA | Teaching Principal Component Analysis in Minitab® Slides of talk (PDF, 1595 Kb) | 01-09 | 1- Computer Algebra in Education | Thursday 16:00 | B-4408 | |

13- | Davenport * | UK | A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy | 01-03 | 1- Computer Algebra in Education | Saturday 11:30 | B-4408 | |

14- | Doke * | USA | Using Symbolic Math in Engineering Education | 01-17 | 1- Computer Algebra in Education | Saturday 12:00 | B-4408 | |

15- | Ellis * Bauldry * | USA | Using and Creating A-C-R Documents for Mathematics Instruction with Computer Algebra | 01-14 | 1- Computer Algebra in Education | Friday 10:30 | B-4408 | |

16- | Etchecopar * Nadal Villeneuve | Canada | Integrating CA in Modelling-Simulation Approaches in the Mathematics Courses of the Science Programs at ... | 01-19 | 1- Computer Algebra in Education | Thursday 11:00 | B-4408 | |

17- | Jarvis * | Canada | GeoGebra Exploration (Workshop) | 01-18 | 1- Computer Algebra in Education | Saturday 16:00 | B-2404 | |

18- | Jeffrey * | Canada | Getting from x to y without crashing | 01-26 | 1- Computer Algebra in Education | Saturday 11:00 | B-4408 | |

19- | Leinbach * Leinbach * | USA | Using Forensic Investigations and CAS to Motivate Student Interest in Mathematics II Slides of talk (PDF, 1668 Kb) | 01-07 | 1- Computer Algebra in Education | Thursday 14:30 | B-4408 | |

20- | Leinbach * Leinbach * | USA | Using Forensic Investigations and CAS to Motivate Student Interest in Mathematics I | 01-06 | 1- Computer Algebra in Education | Thursday 14:00 | B-4408 | |

21- | Lopez * | USA | Resequencing of Skills and a CAS You Don’t Have to Teach | 01-01 | 1- Computer Algebra in Education | Friday 12:00 | B-4408 | |

22- | Monagan Ogilvie * | Canada | Teaching and learning mathematics with symbolic computation | 01-02 | 1- Computer Algebra in Education | Thursday 15:00 | B-4408 | |

23- | Mylläri * Mylläri * | Finland | CAS in Teaching Basics of Statistical Learning | 01-27 | 1- Computer Algebra in Education | Thursday 16:30 | B-4408 | |

24- | Saint-Aubin * | Canada | Animations in Mathematics | 01-13 | 1- Computer Algebra in Education | Friday 8:45 | B-4408 | |

25- | Schmidt * | Germany | Mathematics Education with a Handheld CAS – The Students’ Perspective | 01-10 | 1- Computer Algebra in Education | Sunday 9:00 | B-4408 | |

26- | Tanguay * Boileau * | Canada | Using CAS in Letter-Symbolic Algebra at the Secondary Level : a Classroom Activity | 01-24 | 1- Computer Algebra in Education | Sunday 9:30 | B-4408 | |

27- | Yaacob * Wester * Steinberg * | Malaysia and USA | Developing an Automated Learning Assistant for Vector Calculus | 01-12 | 1- Computer Algebra in Education | Saturday 10:30 | B-4408 | |

28- | Auer * | Germany | Applications of Verified Methods in Biomechanics | 02-01 | 2- Interaction Between Computer Algebra and Interval Computations | Thursday 15:00 | B-2624 | |

29- | Berz * | USA | Taylor model based methods for ODEs | 02-06 | 2- Interaction Between Computer Algebra and Interval Computations | Thursday 11:00 | B-2624 | |

30- | Kraemer * | Germany | Symbolic-Numeric Computations Using Arbitrary Precision Intervals | 02-03 | 2- Interaction Between Computer Algebra and Interval Computations | Thursday 14:00 | B-2624 | |

31- | Makino * | USA | Taylor model based optimization | 02-07 | 2- Interaction Between Computer Algebra and Interval Computations | Thursday 10:30 | B-2624 | |

32- | Neher * | Germany | Verified Integration Methods for ODEs | 02-04 | 2- Interaction Between Computer Algebra and Interval Computations | Thursday 11:30 | B-2624 | |

33- | Van Deun * | Belgium | Hypergeometric functions accurate to the last digit | 02-02 | 2- Interaction Between Computer Algebra and Interval Computations | Thursday 14:30 | B-2624 | |

34- | Wittig * | USA | Classification of all high period periodic points of maps and flows | 02-05 | 2- Interaction Between Computer Algebra and Interval Computations | Thursday 12:00 | B-2624 | |

35- | Aguilera * Galán * Padilla * Rodríguez * | Spain | Generating random samples from continues and discrete distributions with Derive | 03-03 | 3- Applications and Libraries development in Derive | Friday 11:30 | B-3432 | |

36- | Beaudin * | Canada | Another Look at a Trusted Mathematical Assistant | 03-01 | 3- Applications and Libraries development in Derive | Friday 11:00 | B-3432 | |

37- | Böhm * | Austria | CAS Tools for Exercising | 03-02 | 3- Applications and Libraries development in Derive | Friday 8:30 | B-3432 | |

38- | García García Rodríguez de la Villa * | Spain | Toolboxes with DERIVE | 03-06 | 3- Applications and Libraries development in Derive | Friday 10:30 | B-3432 | |

39- | Roanes * González | Spain | An implementation on the Mayan numbering system in DERIVE | 03-05 | 3- Applications and Libraries development in Derive | Friday 9:00 | B-3432 | |

40- | Schmidt * | Germany | Making Life in an Introductory Linear Algebra Course Easier with Derive | 03-04 | 3- Applications and Libraries development in Derive | Friday 9:30 | B-3432 | |

41- | Bard * | USA | Partitioning Multivariate Polynomial Equations via Vertex Cuts | 04-01 | 4- Elimination Theory and Applications | Sunday 10:30 | B-2620 | |

42- | Bates * | USA | Numerical determination of the local dimension of a solution of a polynomial system | 04-02 | 4- Elimination Theory and Applications | Sunday 9:00 | B-2620 | |

43- | Chen * Moreno Maza * Xia Yang | Canada | Computing Cylindrical Algebraic Decomposition via Triangular Decomposition | 04-03 | 4- Elimination Theory and Applications | Sunday 8:30 | B-2620 | |

44- | Lewis * | USA | Solving Polynomial Systems of Autocatalytic Reactions in ChemistryPaper of this talk | 04-08 | 4- Elimination Theory and Applications | Saturday 14:30 | B-2620 | |

45- | Lundqvist * | Sweden | Vector Space Bases Associated to Vanishing Ideals of Points | 04-09 | 4- Elimination Theory and Applications | Sunday 11:00 | B-2620 | |

46- | Minimair * Kapur | USA | Maximal-Rank Minors of the Macaulay MatrixPaper of this talk | 04-04 | 4- Elimination Theory and Applications | Saturday 15:00 | B-2620 | |

47- | Palancz Zaletnyik Awange *Lewis * | Hungary, Australia and USA | Application of Symbolic - Numeric Algebra in Geodesy | 04-05 | 4- Elimination Theory and Applications | Sunday 9:30 | B-2620 | |

48- | Pan * Li Morena Maza * | Canada | Computation modulo regular chains | 04-06 | 4- Elimination Theory and Applications | Sunday 11:30 | B-2620 | |

49- | Yang Zeng Zhang | P. R. China | An Attempt to Apply Dixon Resultant to Differential Elimination | 04-07 | 4- Elimination Theory and Applications | Saturday 14:00 | B-2620 | |

50- | Fraser | Canada | On Enzyme Kinetics Using Manifold Theory | 05-06 | 5- Chemistry and Computer Algebra | Saturday 14:30 | B-2624 | |

51- | Henderson * Yildirim | USA | Computer Algebra Approach to Investigating Regulatory Mechanisms in... (ppt, 604 Kb)Slides of presentation | 05-01 | 5- Chemistry and Computer Algebra | Saturday 14:00 | B-2624 | |

52- | Lewis * Coutsias | USA | Determining Flexibility of Molecules Using Resultants of Polynomial Systems | 05-07 | 5- Chemistry and Computer Algebra | Saturday 9:00 | B-2624 | |

53- | Nie * | Canada | Symbolic Construction of Spin Systems of the Liouville Space Method and its Applications | 05-08 | 5- Chemistry and Computer Algebra | Saturday 10:30 | B-2624 | |

54- | Ogilvie * | Canada | Fourier transforms in chemistry – diffraction and spectrometric applicationsMore details on this talk | 05-02 | 5- Chemistry and Computer Algebra | Saturday 11:00 | B-2624 | |

55- | Scarlete * Heverly-Coulson Dostie Gagnon | Canada | Computer Algebra Application in Chemical Spectroscopy. Applications in Point Group Analysis of Molecular Vibration ... | 05-05 | 5- Chemistry and Computer Algebra | Saturday 12:00 | B-2624 | |

56- | Whitehead * | Canada | Molecular Orbital Modelling of Dendrimers, and Nanotubes.To get slides of presentation | 05-03 | 5- Chemistry and Computer Algebra | Saturday 8:30 | B-2624 | |

57- | Yeh * | Taiwan | Generalizations of Chung-Feller Theorems I | 05-04 | 5- Chemistry and Computer Algebra | Saturday 9:30 | B-2624 | |

58- | Benghorbal * | Canada | Finding The nth Derivative and The nth Anti-Derivative Using Computer Algebra Systems | 06-01 | 6- Applications of Math Software to Mathematical Research | Friday 10:30 | B-2620 | |

59- | Garcia-Puente * | USA | Experimentation at the frontiers of reality in Schubert calculus | 06-02 | 6- Applications of Math Software to Mathematical Research | Friday 11:00 | B-2620 | |

60- | Kaltofen * | USA | Exact Certification in Global Polynomial Optimization Via Sums-Of-Squares of Rational Functions with Rational Coefficient | 06-11 | 6- Applications of Math Software to Mathematical Research | Saturday 12:00 | B-2620 | |

61- | Koutschan * | Austria | Algorithmic proving of special function identities in Mathematica | 06-03 | 6- Applications of Math Software to Mathematical Research | Friday 11:30 | B-2620 | |

62- | Lebl * | USA | Uniqueness of certain polynomials constant on a hyperplane Slides of presentation (PDF, 341 Kb) | 06-04 | 6- Applications of Math Software to Mathematical Research | Friday 12:00 | B-2620 | |

63- | Lichtblau * | USA | Computing Knopfmacher's limit, or: My first foray into computational mathematics, reprise | 06-05 | 6- Applications of Math Software to Mathematical Research | Saturday 8:30 | B-2620 | |

64- | McGrail * | USA | Toward Computational Dichotomy for Finite Quandles | 06-07 | 6- Applications of Math Software to Mathematical Research | Saturday 9:00 | B-2620 | |

65- | Medina * | USA | Arithmetic properties of sequences satisfying first order recurrences. | 06-06 | 6- Applications of Math Software to Mathematical Research | Saturday 9:30 | B-2620 | |

66- | Myllari * | Finland | Modeling of the forest of random mapping with Mathematica | 06-10 | 6- Applications of Math Software to Mathematical Research | Saturday 11:00 | B-2620 | |

67- | Myllari * | Finland | Conway Matrices Related to a Non-transitive Head-or-Tail Game with a q-sided die | 06-09 | 6- Applications of Math Software to Mathematical Research | Saturday 10:30 | B-2620 | |

68- | Verschelde * | USA | Solving Schubert Problems with Littlewood-Richardson Homotopies | 06-08 | 6- Applications of Math Software to Mathematical Research | Saturday 11:30 | B-2620 | |

69- | Barnett * | USA | Computational chemistry and planetary theory | 07-05 | 7- Computer Algebra for Dynamical Systems and Celestial Mechanics | Sunday 10:30 | B-3432 | |

70- | Bruno Edneral | Russia | On Integrability of a Planar ODE System | 07-01 | 7- Computer Algebra for Dynamical Systems and Celestial Mechanics | Sunday 8:30 | B-3432 | |

71- | Markovski * Chuluunbaatar Gusev Vinitsky | Russia | A symbolic algorithm for generating the multistep adiabatic representation | 07-02 | 7- Computer Algebra for Dynamical Systems and Celestial Mechanics | Sunday 9:00 | B-3432 | |

72- | Mylläri * Mylläri * Rostovtsev Vinitsky | Finland | Formal Integral and Caustics in Dynamical Systems withTwo Degrees of Freedom | 07-03 | 7- Computer Algebra for Dynamical Systems and Celestial Mechanics | Sunday 9:30 | B-3432 | |

73- | Barnett * | USA | Using analogy in symbolic calculation | 08-05 | 8- Analogy in Reasoning and Construction | Saturday 8:30 | B-3420 | |

74- | Bouchard * | Canada | The Chemistry of Modern Combinatorics -- | 08-04 | 8- Analogy in Reasoning and Construction | Saturday 9:15 | B-3420 | |

75- | Griffiths * | USA | The Semantic Analysis of Analogy in Darwin's Origin of Species | 08-03 | 8- Analogy in Reasoning and Construction | Saturday 11:20 | B-3420 | |

76- | Thagard * | Canada | How brains compute analogies | 08-01 | 8- Analogy in Reasoning and Construction | Saturday 14:00 | B-3420 | |

77- | Toussaint * | Canada | Analysis and Generation of Symbolically Represented Musical Rhythm | 08-02 | 8- Analogy in Reasoning and Construction | Saturday 10:30 | B-3420 | |

78- | Bates * | USA | Exact ideals from numerical data | 09-01 | 9- Symbolic and Numeric Computation | Saturday 11:30 | B-3432 | |

79- | Guan * | USA | Conditioning numerical representations of algebraic sets | 09-08 | 9- Symbolic and Numeric Computation | Saturday 14:00 | B-3432 | |

80- | Janovitz Freireich * | Mexico | On the Computation of Matrices of Traces and Radicals of Ideals | 09-06 | 9- Symbolic and Numeric Computation | Saturday 10:30 | B-3432 | |

81- | Kai * | Japan | A MathML authoring tool using approximate algebra | 09-05 | 9- Symbolic and Numeric Computation | Saturday 8:30 | B-3432 | |

82- | Moroz * | Canada | Chebyshev expansion for yet another paving algorithm | 09-03 | 9- Symbolic and Numeric Computation | Saturday 14:30 | B-3432 | |

83- | Murakami * | Japan | Solution of Approximated Roots of Equation by the Orthogonal Polynomial Expansion | 09-07 | 9- Symbolic and Numeric Computation | Saturday 9:30 | B-3432 | |

84- | Poteaux * | Canada | Computing Puiseux espansions : a new symbolic-numeric algorithm | 09-04 | 9- Symbolic and Numeric Computation | Saturday 11:00 | B-3432 | |

85- | Stefanescu * | Romania | Improved methods for computation of bounds for positive polynomial roots | 09-02 | 9- Symbolic and Numeric Computation | Saturday 9:00 | B-3432 | |

86- | Baran * | Czech Republic | Classifying integrable systems via the spectral parameter problem | 10-14 | 10- Algebraic and Algorithmic Aspects of Differential and Integral Operators | Thursday 14:00 | B-2620 | |

87- | Barkatou * | France | Local Reduced Forms of Systems of Linear Functional Equations and Applications Slides of this talk (PDF) | 10-10 | 10- Algebraic and Algorithmic Aspects of Differential and Integral Operators | Thursday 10:30 | B-2620 | |

88- | Cluzeau * | France | Serre's Reduction of Linear Functional Systems: Theory, Implementation and Applications Slides of this talk (PDF) | 10-01 | 10- Algebraic and Algorithmic Aspects of Differential and Integral Operators | Thursday 11:00 | B-2620 | |

89- | Guo Sit * Zhang | USA | Rota-Baxter Type and Differential Type Algebras Slides of this talk (PDF) | 10-07 | 10- Algebraic and Algorithmic Aspects of Differential and Integral Operators | Thursday 11:30 | B-2620 | |

90- | Koutschan * | Austria | A Difference Operators Attack on Hard Combinatorial Problems Slides of this talk (PDF) | 10-03 | 10- Algebraic and Algorithmic Aspects of Differential and Integral Operators | Thursday 12:00 | B-2620 | |

91- | Labahn * | Canada | Normal Forms of Matrices of Differential Polynomials | 10-02 | 10- Algebraic and Algorithmic Aspects of Differential and Integral Operators | Friday 8:30 | B-2620 | |

92- | Liu * Reid * | Canada | Symmetry Operators and Differential Equations | 10-13 | 10- Algebraic and Algorithmic Aspects of Differential and Integral Operators | Thursday 14:30 | B-2620 | |

93- | Pritchard Sit * | USA | Algebraic Constraints on Initial Values of Differential Equations Slides of this talk (PDF) | 10-09 | 10- Algebraic and Algorithmic Aspects of Differential and Integral Operators | Thursday 15:00 | B-2620 | |

94- | Quadrat * | France | A Normal Form for 2-dimensional Linear Functional Systems Slides of this talk (PDF) | 10-04 | 10- Algebraic and Algorithmic Aspects of Differential and Integral Operators | Thursday 16:00 | B-2620 | |

95- | Regensburger * Rosenkranz Middeke | Austria | Integro-Differential Operators as an Ore Algebra Slides of this talk (PDF) | 10-05 | 10- Algebraic and Algorithmic Aspects of Differential and Integral Operators | Thursday 16:30 | B-2620 | |

96- | Shemyakova * Mansfield | Austria | Moving Frames for Laplace Invariants. General Case. | 10-06 | 10- Algebraic and Algorithmic Aspects of Differential and Integral Operators | Thursday 17:00 | B-2620 | |

97- | Umemura * | Japan | Discrete Burgers' Equation, Binomial Coefficients and Mandala Slides of this talk (PDF) | 10-08 | 10- Algebraic and Algorithmic Aspects of Differential and Integral Operators | Friday 9:00 | B-2620 | |

98- | Zhang * | Canada | Irreducibility Criteria for Skew Polynomials | 10-12 | 10- Algebraic and Algorithmic Aspects of Differential and Integral Operators | Friday 9:30 | B-2620 | |

99- | Davenport * | UK | A computer algebraist meets a computer centre director | 11-01 | 11- High-Performance Computer Algebra | Thursday 16:00 | B-2624 | |

100- | Ding Schost * | Canada | Fast multiplication and its variants in Newton iteration | 11-06 | 11- High-Performance Computer Algebra | Friday 9:00 | B-2624 | |

101- | Haque * Hossain Moreno Maza * | Canada | A Note on the Performance of Sparse Matrix-vector Multiplication with Column Reordering | 11-09 | 11- High-Performance Computer Algebra | Sunday 12:00 | B-2620 | |

102- | Johnson * Meng * | USA | SPIRAL-Generated Modular FFTs | 11-08 | 11- High-Performance Computer Algebra | Friday 10:30 | B-2624 | |

103- | Johnson * Richardson Krandick Ruslanov * | USA | Code Generation and Autotuning in Computer Algebra | 11-11 | 11- High-Performance Computer Algebra | Friday 12:00 | B-2624 | |

104- | Lacelle * Schost * | Canada | Towards an efficient implementation for the resolution of structured linear system | 11-02 | 11- High-Performance Computer Algebra | Thursday 16:30 | B-2624 | |

105- | Pan * Li Moreno Maza * | Canada | Implementing Modular Methods in Maple with the Modpn library | 11-10 | 11- High-Performance Computer Algebra | Friday 11:30 | B-2624 | |

106- | Robinson Cooperman * Kunkle Müller | USA | Parallel Disk-Based Computation and Computational Group Theory | 11-03 | 11- High-Performance Computer Algebra | Thursday 17:00 | B-2624 | |

107- | Roche * | Canada | Memory Efficiency in Polynomial Multiplication | 11-05 | 11- High-Performance Computer Algebra | Friday 8:30 | B-2624 | |

108- | Saunders * Dumas Youse | USA | Linear Algebra Modulo Tiny Primes | 11-12 | 11- High-Performance Computer Algebra | Friday 11:00 | B-2624 | |

109- | Verschelde * | USA | Multitasking Polynomial Homotopy Continuation in PHCpack | 11-04 | 11- High-Performance Computer Algebra | Thursday 17:30 | B-2624 | |

110- | Xie * Moreno Maza * | Canada | Balanced Dense Polynomial Multiplication on Multi-cores | 11-07 | 11- High-Performance Computer Algebra | Friday 9:30 | B-2624 | |

111- | Aguilera * Galán * Padilla * Rodríguez * | Spain | Implementation of a Probabilistic Logic with Both Precise and Imprecise Connectives in a CAS | 12-07 | 12- Nonstandard Applications of Computer Algebra | Thursday 17:00 | B-3432 | |

112- | Bauldry * | USA | Data Envelopment Analysis with Maple 13 | 12-06 | 12- Nonstandard Applications of Computer Algebra | Friday 11:30 | B-3420 | |

113- | Garcia * | USA | Constructing and Enumerating Magic Circles and Franklin Magic Circles | 12-01 | 12- Nonstandard Applications of Computer Algebra | Friday 10:30 | B-3420 | |

114- | Hernando * | Spain | A New Algebraic Model for Implementing Expert Systems Represented Under the Frames–Paradigm | 12-03 | 12- Nonstandard Applications of Computer Algebra | Friday 12:00 | B-3420 | |

115- | Recio Sendra Tabera Villarino | Spain | Parametric characterization of hypercircles | 12-08 | 12- Nonstandard Applications of Computer Algebra | Thursday 17:30 | B-3432 | |

116- | Roanes-Lozano * Hernando * Alonso | Spain | A Logic Approach to Railway Interlocking Systems using Maple | 12-04 | 12- Nonstandard Applications of Computer Algebra | Thursday 16:00 | B-3432 | |

117- | Sáenz-de-Cabezón * Hernández et al. | Spain | A Computer Implementation of the Unity Procedure and its Applications to Arthropod Population Dynamics. A Case Study... | 12-05 | 12- Nonstandard Applications of Computer Algebra | Friday 11:00 | B-3420 | |

118- | Steinberg * Yaacob * Wester * | USA and Malaysia | Computing Integrals over Polynomially Defined Planar Regions and Curves | 12-02 | 12- Nonstandard Applications of Computer Algebra | Thursday 16:30 | B-3432 | |

119- | Bardhan * | USA | Challenges in Coupling Simulation and Optimization: Biomolecule Design | 13-11 | 13- Symbolic and numeric approaches to dynamical modeling and simulation | Thursday 17:30 | B-4404 | |

120- | Gerhard * | Canada | Industrial Dynamical Modeling and Simulation Files of this talk (zip) | 13-07 | 13- Symbolic and numeric approaches to dynamical modeling and simulation | Thursday 10:30 | B-4404 | |

121- | Hedengren Spivey Edgar | USA | Monitoring of Process Fouling Using First Principles Monitoring and Moving Horizon Estimation Slides of this talk (ppt) | 13-09 | 13- Symbolic and numeric approaches to dynamical modeling and simulation | Thursday 16:00 | B-4404 | |

122- | Mani * | Canada | Numeric-Geometric Techniques for Differential Equations II. Applications Slides of this talk (pdf) | 13-05 | 13- Symbolic and numeric approaches to dynamical modeling and simulation | Thursday 12:00 | B-4404 | |

123- | Moreno Maza * | USA | Regular Chains and Differential Elimination Files of this talk (zip) | 13-08 | 13- Symbolic and numeric approaches to dynamical modeling and simulation | Thursday 11:00 | B-4404 | |

124- | Reid * | Canada | Numeric-Geometric Techniques for Differential Equations I. Introduction Slides of this talk (pdf) | 13-04 | 13- Symbolic and numeric approaches to dynamical modeling and simulation | Thursday 11:30 | B-4404 | |

125- | Shmoylova * Postma | Canada | Computer Algebra versus Reality Slides of this talk (ppt) | 13-10 | 13- Symbolic and numeric approaches to dynamical modeling and simulation | Thursday 16:30 | B-4404 | |

126- | Tidefelt * | Sweden | Unstructured matrix-valued singular perturbations -- tackle or avoid? Slides of this talk (pdf) | 13-01 | 13- Symbolic and numeric approaches to dynamical modeling and simulation | Thursday 14:30 | B-4404 | |

127- | Wittkopf Roche * | Canada | Symbolic Preprocessing of DAE Systems Files of this talk (zip) | 13-06 | 13- Symbolic and numeric approaches to dynamical modeling and simulation | Thursday 14:00 | B-4404 | |

128- | Wolf * | Canada | Applications of the package CRACK to simplify large systems Slides of this talk (pdf) | 13-03 | 13- Symbolic and numeric approaches to dynamical modeling and simulation | Thursday 15:00 | B-4404 | |

129- | Wolf * | Canada | A hybrid discrete-polynomial dynamical system modeling board positions in the game of go Slides of this talk (pdf) | 13-02 | 13- Symbolic and numeric approaches to dynamical modeling and simulation | Thursday 17:00 | B-4404 | |

130- | Chen * Moreno Maza * et al. | Canada | Solving Parametric Polynomial Systems with the RegularChains Library in Maple | 14-05 | 14- Algorithms for Parametric Systems and their Applications | Thursday 14:00 | B-3432 | |

131- | Coral * Gonzalez-Vega | Spain | Algorithms for hyperbolic and trigonometric curves: implicitization and parameterization | 14-03 | 14- Algorithms for Parametric Systems and their Applications | Thursday 11:30 | B-3432 | |

132- | Davenport * et al. | Canada | Simpler Interfaces to Complicated Concepts | 14-06 | 14- Algorithms for Parametric Systems and their Applications | Thursday 14:30 | B-3432 | |

133- | Moroz * | Canada | Groebner bases and parametrization | 14-04 | 14- Algorithms for Parametric Systems and their Applications | Thursday 12:00 | B-3432 | |

134- | Schost * Dahan Kadri | Canada | Bit-size bounds for regular chains in positive dimension | 14-02 | 14- Algorithms for Parametric Systems and their Applications | Thursday 11:00 | B-3432 | |

135- | Suzuki * | Japan | Groebner bases computation within linear algebra and its application to comprehensive Groebner systems | 14-01 | 14- Algorithms for Parametric Systems and their Applications | Thursday 10:30 | B-3432 | |

136- | Verschelde * Piret | USA | Sweeping for singular solutions of polynomial systems with parameters | 14-07 | 14- Algorithms for Parametric Systems and their Applications | Thursday 15:00 | B-3432 |