List of accepted talks for the ACA2009 Conference

Information found on this page has been copied off individual session websites or sent to us by session organizers.
Click the Presenter(s) name(s) for more details on the talks. Contact Gilles Picard to make any correction or to add information to this page.
 
  Presenter(s)  
  Name(s) Country Title of Talk Talk
Number
Session Tentative
Schedule
Room
1-Aguilera *
et al.
EspañaScilab and Maxima Environment: Towards free software in Numerical Analysis01-201- Computer Algebra in EducationSaturday 
9:30
B-4408 
2-Beaudin *
Picard *
CanadaTen Years of Using Symbolic TI Calculators at ETS01-111- Computer Algebra in EducationThursday 
10:30
B-4408 
3-Böhm * AustriaWIRIS Exploration (Workshop) 01-231- Computer Algebra in EducationSaturday 
14:00
B-2404 
4-Böhm * AustriaWhich CAS can fill the gap?01-041- Computer Algebra in EducationSaturday 
9:00
B-4408 
5-Bokhari *
Yushau
Saudi ArabiaApplication of CAS to the classical definition of limit of function
Slides of talk (PDF, 120 Kb)
01-051- Computer Algebra in EducationFriday 
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-161- Computer Algebra in EducationFriday 
9:30
B-4408 
7-Buteau * CanadaA Sustained Integration of a Computer Algebra System in University Mathematics Education at Brock University 01-151- Computer Algebra in EducationThursday 
11:30
B-4408 
8-Caron * CanadaTechnology in Mathematics Education: From Meaning to Purpose01-221- Computer Algebra in EducationSunday 
10:30
B-4408 
9-Caron *
Jarvis *
Pineau *
CanadaSession Finale: What constitutes a good CAS task?01-281- Computer Algebra in EducationSunday 
11:15
B-4408 
10-Char
Johnson *
Augenblick
USAUsing Maple and Maple TA in a course about technical computing 01-251- Computer Algebra in EducationThursday 
12:00
B-4408 
11-Collins * USAAnalysing Power Series using Computer Algebra and Precalculus Techniques01-081- Computer Algebra in EducationFriday 
11:30
B-4408 
12-Curts * USATeaching Principal Component Analysis in Minitab®
Slides of talk (PDF, 1595 Kb)
01-091- Computer Algebra in EducationThursday 
16:00
B-4408 
13-Davenport * UKA Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy01-031- Computer Algebra in EducationSaturday 
11:30
B-4408 
14-Doke * USAUsing Symbolic Math in Engineering Education01-171- Computer Algebra in EducationSaturday 
12:00
B-4408 
15-Ellis *
Bauldry *
USAUsing and Creating A-C-R Documents for Mathematics Instruction with Computer Algebra01-141- Computer Algebra in EducationFriday 
10:30
B-4408 
16-Etchecopar *
Nadal
Villeneuve
CanadaIntegrating CA in Modelling-Simulation Approaches in the Mathematics Courses of the Science Programs at ...01-191- Computer Algebra in EducationThursday 
11:00
B-4408 
17-Jarvis * CanadaGeoGebra Exploration (Workshop)01-181- Computer Algebra in EducationSaturday 
16:00
B-2404 
18-Jeffrey * CanadaGetting from x to y without crashing01-261- Computer Algebra in EducationSaturday 
11:00
B-4408 
19-Leinbach *
Leinbach *
USAUsing Forensic Investigations and CAS to Motivate Student Interest in Mathematics II
Slides of talk (PDF, 1668 Kb)
01-071- Computer Algebra in EducationThursday 
14:30
B-4408 
20-Leinbach *
Leinbach *
USAUsing Forensic Investigations and CAS to Motivate Student Interest in Mathematics I01-061- Computer Algebra in EducationThursday 
14:00
B-4408 
21-Lopez * USAResequencing of Skills and a CAS You Don’t Have to Teach01-011- Computer Algebra in EducationFriday 
12:00
B-4408 
22-Monagan
Ogilvie *
CanadaTeaching and learning mathematics with symbolic computation01-021- Computer Algebra in EducationThursday 
15:00
B-4408 
23-Mylläri *
Mylläri *
FinlandCAS in Teaching Basics of Statistical Learning01-271- Computer Algebra in EducationThursday 
16:30
B-4408 
24-Saint-Aubin * CanadaAnimations in Mathematics01-131- Computer Algebra in EducationFriday 
8:45
B-4408 
25-Schmidt * GermanyMathematics Education with a Handheld CAS – The Students’ Perspective01-101- Computer Algebra in EducationSunday 
9:00
B-4408 
26-Tanguay *
Boileau *
CanadaUsing CAS in Letter-Symbolic Algebra at the Secondary Level : a Classroom Activity01-241- Computer Algebra in EducationSunday 
9:30
B-4408 
27-Yaacob *
Wester *
Steinberg *
Malaysia
and USA
Developing an Automated Learning Assistant for Vector Calculus01-121- Computer Algebra in EducationSaturday 
10:30
B-4408 
28-Auer * GermanyApplications of Verified Methods in Biomechanics02-012- Interaction Between Computer Algebra and Interval ComputationsThursday 
15:00
B-2624 
29-Berz * USATaylor model based methods for ODEs02-062- Interaction Between Computer Algebra and Interval ComputationsThursday 
11:00
B-2624 
30-Kraemer * GermanySymbolic-Numeric Computations Using Arbitrary Precision Intervals02-032- Interaction Between Computer Algebra and Interval ComputationsThursday 
14:00
B-2624 
31-Makino * USATaylor model based optimization 02-072- Interaction Between Computer Algebra and Interval ComputationsThursday 
10:30
B-2624 
32-Neher * GermanyVerified Integration Methods for ODEs02-042- Interaction Between Computer Algebra and Interval ComputationsThursday 
11:30
B-2624 
33-Van Deun * BelgiumHypergeometric functions accurate to the last digit02-022- Interaction Between Computer Algebra and Interval ComputationsThursday 
14:30
B-2624 
34-Wittig * USAClassification of all high period periodic points of maps and flows 02-052- Interaction Between Computer Algebra and Interval ComputationsThursday 
12:00
B-2624 
35-Aguilera *
Galán *
Padilla *
Rodríguez *
SpainGenerating random samples from continues and discrete distributions with Derive03-033- Applications and Libraries development in DeriveFriday 
11:30
B-3432 
36-Beaudin * CanadaAnother Look at a Trusted Mathematical Assistant03-013- Applications and Libraries development in DeriveFriday 
11:00
B-3432 
37-Böhm * AustriaCAS Tools for Exercising03-023- Applications and Libraries development in DeriveFriday 
8:30
B-3432 
38-García
García
Rodríguez
de la Villa *
SpainToolboxes with DERIVE03-063- Applications and Libraries development in DeriveFriday 
10:30
B-3432 
39-Roanes *
González
SpainAn implementation on the Mayan numbering system in DERIVE03-053- Applications and Libraries development in DeriveFriday 
9:00
B-3432 
40-Schmidt * GermanyMaking Life in an Introductory Linear Algebra Course Easier with Derive03-043- Applications and Libraries development in DeriveFriday 
9:30
B-3432 
41-Bard * USAPartitioning Multivariate Polynomial Equations via Vertex Cuts04-014- Elimination Theory and ApplicationsSunday 
10:30
B-2620 
42-Bates * USANumerical determination of the local dimension of a solution of a polynomial system04-024- Elimination Theory and ApplicationsSunday 
9:00
B-2620 
43-Chen *
Moreno Maza *
Xia
Yang
CanadaComputing Cylindrical Algebraic Decomposition via Triangular Decomposition04-034- Elimination Theory and ApplicationsSunday 
8:30
B-2620 
44-Lewis * USASolving Polynomial Systems of Autocatalytic Reactions in Chemistry
Paper of this talk
04-084- Elimination Theory and ApplicationsSaturday 
14:30
B-2620 
45-Lundqvist * SwedenVector Space Bases Associated to Vanishing Ideals of Points04-094- Elimination Theory and ApplicationsSunday 
11:00
B-2620 
46-Minimair *
Kapur
USAMaximal-Rank Minors of the Macaulay Matrix
Paper of this talk
04-044- Elimination Theory and ApplicationsSaturday 
15:00
B-2620 
47-Palancz
Zaletnyik
Awange
*Lewis *
Hungary,
Australia
and USA
Application of Symbolic - Numeric Algebra in Geodesy04-054- Elimination Theory and ApplicationsSunday 
9:30
B-2620 
48-Pan *
Li
Morena Maza *
CanadaComputation modulo regular chains04-064- Elimination Theory and ApplicationsSunday 
11:30
B-2620 
49-Yang
Zeng
Zhang
P. R. ChinaAn Attempt to Apply Dixon Resultant to Differential Elimination04-074- Elimination Theory and ApplicationsSaturday 
14:00
B-2620 
50-Fraser CanadaOn Enzyme Kinetics Using Manifold Theory05-065- Chemistry and Computer AlgebraSaturday 
14:30
B-2624 
51-Henderson *
Yildirim
USAComputer Algebra Approach to Investigating Regulatory Mechanisms in...
Slides of presentation (ppt, 604 Kb)
05-015- Chemistry and Computer AlgebraSaturday 
14:00
B-2624 
52-Lewis *
Coutsias
USADetermining Flexibility of Molecules Using Resultants of Polynomial Systems

Paper of this talk

05-075- Chemistry and Computer AlgebraSaturday 
9:00
B-2624 
53-Nie * CanadaSymbolic Construction of Spin Systems of the Liouville Space Method and its Applications05-085- Chemistry and Computer AlgebraSaturday 
10:30
B-2624 
54-Ogilvie * CanadaFourier transforms in chemistry – diffraction and spectrometric applications
More details on this talk
05-025- Chemistry and Computer AlgebraSaturday 
11:00
B-2624 
55-Scarlete *
Heverly-Coulson
Dostie
Gagnon
CanadaComputer Algebra Application in Chemical Spectroscopy. Applications in Point Group Analysis of Molecular Vibration ...05-055- Chemistry and Computer AlgebraSaturday 
12:00
B-2624 
56-Whitehead * CanadaMolecular Orbital Modelling of Dendrimers, and Nanotubes.
To get slides of presentation
05-035- Chemistry and Computer AlgebraSaturday 
8:30
B-2624 
57-Yeh * TaiwanGeneralizations of Chung-Feller Theorems I05-045- Chemistry and Computer AlgebraSaturday 
9:30
B-2624 
58-Benghorbal * CanadaFinding The nth Derivative and The nth Anti-Derivative Using Computer Algebra Systems06-016- Applications of Math Software to Mathematical ResearchFriday 
10:30
B-2620 
59-Garcia-Puente * USAExperimentation at the frontiers of reality in Schubert calculus06-026- Applications of Math Software to Mathematical ResearchFriday 
11:00
B-2620 
60-Kaltofen * USAExact Certification in Global Polynomial Optimization Via Sums-Of-Squares of Rational Functions with Rational Coefficient06-116- Applications of Math Software to Mathematical ResearchSaturday 
12:00
B-2620 
61-Koutschan * AustriaAlgorithmic proving of special function identities in Mathematica06-036- Applications of Math Software to Mathematical ResearchFriday 
11:30
B-2620 
62-Lebl * USAUniqueness of certain polynomials constant on a hyperplane
Slides of presentation (PDF, 341 Kb)
06-046- Applications of Math Software to Mathematical ResearchFriday 
12:00
B-2620 
63-Lichtblau * USAComputing Knopfmacher's limit, or: My first foray into computational mathematics, reprise06-056- Applications of Math Software to Mathematical ResearchSaturday 
8:30
B-2620 
64-McGrail * USAToward Computational Dichotomy for Finite Quandles06-076- Applications of Math Software to Mathematical ResearchSaturday 
9:00
B-2620 
65-Medina * USAArithmetic properties of sequences satisfying first order recurrences.06-066- Applications of Math Software to Mathematical ResearchSaturday 
9:30
B-2620 
66-Myllari * FinlandModeling of the forest of random mapping with Mathematica06-106- Applications of Math Software to Mathematical ResearchSaturday 
11:00
B-2620 
67-Myllari * FinlandConway Matrices Related to a Non-transitive Head-or-Tail Game with a q-sided die06-096- Applications of Math Software to Mathematical ResearchSaturday 
10:30
B-2620 
68-Verschelde * USASolving Schubert Problems with Littlewood-Richardson Homotopies06-086- Applications of Math Software to Mathematical ResearchSaturday 
11:30
B-2620 
69-Barnett * USAComputational chemistry and planetary theory07-057- Computer Algebra for Dynamical Systems and Celestial MechanicsSunday 
10:30
B-3432 
70-Bruno
Edneral
RussiaOn Integrability of a Planar ODE System 07-017- Computer Algebra for Dynamical Systems and Celestial MechanicsSunday 
8:30
B-3432 
71-Markovski *
Chuluunbaatar
Gusev
Vinitsky
RussiaA symbolic algorithm for generating the multistep adiabatic representation07-027- Computer Algebra for Dynamical Systems and Celestial MechanicsSunday 
9:00
B-3432 
72-Mylläri *
Mylläri *
Rostovtsev
Vinitsky
FinlandFormal Integral and Caustics in Dynamical Systems withTwo Degrees of Freedom07-037- Computer Algebra for Dynamical Systems and Celestial MechanicsSunday 
9:30
B-3432 
73-Barnett * USAUsing analogy in symbolic calculation08-058- Analogy in Reasoning and ConstructionSaturday 
8:30
B-3420 
74-Bouchard * CanadaThe Chemistry of Modern Combinatorics -- 08-048- Analogy in Reasoning and ConstructionSaturday 
9:15
B-3420 
75-Griffiths * USAThe Semantic Analysis of Analogy in Darwin's Origin of Species08-038- Analogy in Reasoning and ConstructionSaturday 
11:20
B-3420 
76-Thagard * CanadaHow brains compute analogies08-018- Analogy in Reasoning and ConstructionSaturday 
14:00
B-3420 
77-Toussaint * CanadaAnalysis and Generation of Symbolically Represented Musical Rhythm08-028- Analogy in Reasoning and ConstructionSaturday 
10:30
B-3420 
78-Bates * USAExact ideals from numerical data09-019- Symbolic and Numeric ComputationSaturday 
11:30
B-3432 
79-Guan * USAConditioning numerical representations of algebraic sets09-089- Symbolic and Numeric ComputationSaturday 
14:00
B-3432 
80-Janovitz Freireich * MexicoOn the Computation of Matrices of Traces and Radicals of Ideals09-069- Symbolic and Numeric ComputationSaturday 
10:30
B-3432 
81-Kai * JapanA MathML authoring tool using approximate algebra09-059- Symbolic and Numeric ComputationSaturday 
8:30
B-3432 
82-Moroz * CanadaChebyshev expansion for yet another paving algorithm09-039- Symbolic and Numeric ComputationSaturday 
14:30
B-3432 
83-Murakami * JapanSolution of Approximated Roots of Equation by the Orthogonal Polynomial Expansion09-079- Symbolic and Numeric ComputationSaturday 
9:30
B-3432 
84-Poteaux * CanadaComputing Puiseux espansions : a new symbolic-numeric algorithm09-049- Symbolic and Numeric ComputationSaturday 
11:00
B-3432 
85-Stefanescu * RomaniaImproved methods for computation of bounds for positive polynomial roots09-029- Symbolic and Numeric ComputationSaturday 
9:00
B-3432 
86-Baran * Czech RepublicClassifying integrable systems via the spectral parameter problem10-1410- Algebraic and Algorithmic Aspects of Differential and Integral OperatorsThursday 
14:00
B-2620 
87-Barkatou * FranceLocal Reduced Forms of Systems of Linear Functional Equations and Applications
Slides of this talk (PDF)
10-1010- Algebraic and Algorithmic Aspects of Differential and Integral OperatorsThursday 
10:30
B-2620 
88-Cluzeau * FranceSerre's Reduction of Linear Functional Systems: Theory, Implementation and Applications
Slides of this talk (PDF)
10-0110- Algebraic and Algorithmic Aspects of Differential and Integral OperatorsThursday 
11:00
B-2620 
89-Guo
Sit *
Zhang
USARota-Baxter Type and Differential Type Algebras
Slides of this talk (PDF)
10-0710- Algebraic and Algorithmic Aspects of Differential and Integral OperatorsThursday 
11:30
B-2620 
90-Koutschan * AustriaA Difference Operators Attack on Hard Combinatorial Problems
Slides of this talk (PDF)
10-0310- Algebraic and Algorithmic Aspects of Differential and Integral OperatorsThursday 
12:00
B-2620 
91-Labahn * CanadaNormal Forms of Matrices of Differential Polynomials10-0210- Algebraic and Algorithmic Aspects of Differential and Integral OperatorsFriday 
8:30
B-2620 
92-Liu *
Reid *
CanadaSymmetry Operators and Differential Equations10-1310- Algebraic and Algorithmic Aspects of Differential and Integral OperatorsThursday 
14:30
B-2620 
93-Pritchard
Sit *
USAAlgebraic Constraints on Initial Values of Differential Equations
Slides of this talk (PDF)
10-0910- Algebraic and Algorithmic Aspects of Differential and Integral OperatorsThursday 
15:00
B-2620 
94-Quadrat * FranceA Normal Form for 2-dimensional Linear Functional Systems
Slides of this talk (PDF)
10-0410- Algebraic and Algorithmic Aspects of Differential and Integral OperatorsThursday 
16:00
B-2620 
95-Regensburger *
Rosenkranz
Middeke
AustriaIntegro-Differential Operators as an Ore Algebra
Slides of this talk (PDF)
10-0510- Algebraic and Algorithmic Aspects of Differential and Integral OperatorsThursday 
16:30
B-2620 
96-Shemyakova *
Mansfield
AustriaMoving Frames for Laplace Invariants. General Case. 10-0610- Algebraic and Algorithmic Aspects of Differential and Integral OperatorsThursday 
17:00
B-2620 
97-Umemura * JapanDiscrete Burgers' Equation, Binomial Coefficients and Mandala
Slides of this talk (PDF)
10-0810- Algebraic and Algorithmic Aspects of Differential and Integral OperatorsFriday 
9:00
B-2620 
98-Zhang * CanadaIrreducibility Criteria for Skew Polynomials10-1210- Algebraic and Algorithmic Aspects of Differential and Integral OperatorsFriday 
9:30
B-2620 
99-Davenport * UKA computer algebraist meets a computer centre director11-0111- High-Performance Computer AlgebraThursday 
16:00
B-2624 
100-Ding
Schost *
CanadaFast multiplication and its variants in Newton iteration11-0611- High-Performance Computer AlgebraFriday 
9:00
B-2624 
101-Haque *
Hossain
Moreno Maza *
CanadaA Note on the Performance of Sparse Matrix-vector Multiplication with Column Reordering11-0911- High-Performance Computer AlgebraSunday 
12:00
B-2620 
102-Johnson *
Meng *
USASPIRAL-Generated Modular FFTs11-0811- High-Performance Computer AlgebraFriday 
10:30
B-2624 
103-Johnson *
Richardson
Krandick
Ruslanov *
USACode Generation and Autotuning in Computer Algebra11-1111- High-Performance Computer AlgebraFriday 
12:00
B-2624 
104-Lacelle *
Schost *
CanadaTowards an efficient implementation for the resolution of structured linear system11-0211- High-Performance Computer AlgebraThursday 
16:30
B-2624 
105-Pan *
Li
Moreno Maza *
CanadaImplementing Modular Methods in Maple with the Modpn library11-1011- High-Performance Computer AlgebraFriday 
11:30
B-2624 
106-Robinson
Cooperman *
Kunkle
Müller
USAParallel Disk-Based Computation and Computational Group Theory11-0311- High-Performance Computer AlgebraThursday 
17:00
B-2624 
107-Roche * CanadaMemory Efficiency in Polynomial Multiplication11-0511- High-Performance Computer AlgebraFriday 
8:30
B-2624 
108-Saunders *
Dumas
Youse
USALinear Algebra Modulo Tiny Primes11-1211- High-Performance Computer AlgebraFriday 
11:00
B-2624 
109-Verschelde * USAMultitasking Polynomial Homotopy Continuation in PHCpack11-0411- High-Performance Computer AlgebraThursday 
17:30
B-2624 
110-Xie *
Moreno Maza *
CanadaBalanced Dense Polynomial Multiplication on Multi-cores11-0711- High-Performance Computer AlgebraFriday 
9:30
B-2624 
111-Aguilera *
Galán *
Padilla *
Rodríguez *
SpainImplementation of a Probabilistic Logic with Both Precise and Imprecise Connectives in a CAS12-0712- Nonstandard Applications of Computer AlgebraThursday 
17:00
B-3432 
112-Bauldry * USAData Envelopment Analysis with Maple 1312-0612- Nonstandard Applications of Computer AlgebraFriday 
11:30
B-3420 
113-Garcia * USAConstructing and Enumerating Magic Circles and Franklin Magic Circles12-0112- Nonstandard Applications of Computer AlgebraFriday 
10:30
B-3420 
114-Hernando * SpainA New Algebraic Model for Implementing Expert Systems Represented Under the Frames–Paradigm12-0312- Nonstandard Applications of Computer AlgebraFriday 
12:00
B-3420 
115-Recio
Sendra
Tabera
Villarino
SpainParametric characterization of hypercircles12-0812- Nonstandard Applications of Computer AlgebraThursday 
17:30
B-3432 
116-Roanes-Lozano *
Hernando *
Alonso
SpainA Logic Approach to Railway Interlocking Systems using Maple12-0412- Nonstandard Applications of Computer AlgebraThursday 
16:00
B-3432 
117-Sáenz-de-Cabezón *
Hernández
et al.
SpainA Computer Implementation of the Unity Procedure and its Applications to Arthropod Population Dynamics. A Case Study...12-0512- Nonstandard Applications of Computer AlgebraFriday 
11:00
B-3420 
118-Steinberg *
Yaacob *
Wester *
USA and
Malaysia
Computing Integrals over Polynomially Defined Planar Regions and Curves12-0212- Nonstandard Applications of Computer AlgebraThursday 
16:30
B-3432 
119-Bardhan * USAChallenges in Coupling Simulation and Optimization: Biomolecule Design13-1113- Symbolic and numeric approaches to dynamical modeling and simulationThursday 
17:30
B-4404 
120-Gerhard * CanadaIndustrial Dynamical Modeling and Simulation
Files of this talk (zip)
13-0713- Symbolic and numeric approaches to dynamical modeling and simulationThursday 
10:30
B-4404 
121-Hedengren
Spivey
Edgar
USAMonitoring of Process Fouling Using First Principles Monitoring and Moving Horizon Estimation
Slides of this talk (ppt)
13-0913- Symbolic and numeric approaches to dynamical modeling and simulationThursday 
16:00
B-4404 
122-Mani * CanadaNumeric-Geometric Techniques for Differential Equations II. Applications
Slides of this talk (pdf)
13-0513- Symbolic and numeric approaches to dynamical modeling and simulationThursday 
12:00
B-4404 
123-Moreno Maza * USARegular Chains and Differential Elimination
Files of this talk (zip)
13-0813- Symbolic and numeric approaches to dynamical modeling and simulationThursday 
11:00
B-4404 
124-Reid * CanadaNumeric-Geometric Techniques for Differential Equations I. Introduction
Slides of this talk (pdf)
13-0413- Symbolic and numeric approaches to dynamical modeling and simulationThursday 
11:30
B-4404 
125-Shmoylova *
Postma
CanadaComputer Algebra versus Reality
Slides of this talk (ppt)
13-1013- Symbolic and numeric approaches to dynamical modeling and simulationThursday 
16:30
B-4404 
126-Tidefelt * SwedenUnstructured matrix-valued singular perturbations -- tackle or avoid?
Slides of this talk (pdf)
13-0113- Symbolic and numeric approaches to dynamical modeling and simulationThursday 
14:30
B-4404 
127-Wittkopf
Roche *
CanadaSymbolic Preprocessing of DAE Systems
Files of this talk (zip)
13-0613- Symbolic and numeric approaches to dynamical modeling and simulationThursday 
14:00
B-4404 
128-Wolf * CanadaApplications of the package CRACK to simplify large systems
Slides of this talk (pdf)
13-0313- Symbolic and numeric approaches to dynamical modeling and simulationThursday 
15:00
B-4404 
129-Wolf * CanadaA hybrid discrete-polynomial dynamical system modeling board positions in the game of go
Slides of this talk (pdf)
13-0213- Symbolic and numeric approaches to dynamical modeling and simulationThursday 
17:00
B-4404 
130-Chen *
Moreno Maza *
et al.
CanadaSolving Parametric Polynomial Systems with the RegularChains Library in Maple14-0514- Algorithms for Parametric Systems and their ApplicationsThursday 
14:00
B-3432 
131-Coral *
Gonzalez-Vega
SpainAlgorithms for hyperbolic and trigonometric curves: implicitization and parameterization14-0314- Algorithms for Parametric Systems and their ApplicationsThursday 
11:30
B-3432 
132-Davenport *
et al.
CanadaSimpler Interfaces to Complicated Concepts14-0614- Algorithms for Parametric Systems and their ApplicationsThursday 
14:30
B-3432 
133-Moroz * CanadaGroebner bases and parametrization14-0414- Algorithms for Parametric Systems and their ApplicationsThursday 
12:00
B-3432 
134-Schost *
Dahan
Kadri
CanadaBit-size bounds for regular chains in positive dimension14-0214- Algorithms for Parametric Systems and their ApplicationsThursday 
11:00
B-3432 
135-Suzuki * JapanGroebner bases computation within linear algebra and its application to comprehensive Groebner systems14-0114- Algorithms for Parametric Systems and their ApplicationsThursday 
10:30
B-3432 
136-Verschelde *
Piret
USASweeping for singular solutions of polynomial systems with parameters14-0714- Algorithms for Parametric Systems and their ApplicationsThursday 
15:00
B-3432