|
|
Monday (06/27)
|
|
Tuesday (06/28)
|
|
|
Regency Ballroom
|
Rio Grande (2nd floor)
|
|
Regency Ballroom
|
Rio Grande (2nd floor)
|
|
08:00
|
Registration
|
|
Registration
|
|
|
|
08:30
|
Opening
Invited Speaker (Regency
Ballroom)
Seth Sullivant (NCSU)
Algebraic
Statistics
|
|
Invited Speaker (Regency
Ballroom)
F.
Winkler (RISC-Linz)
Algebra
+ Geometry ==> Differential Equation Solving
|
|
|
|
|
09:30
|
|
Symb-Num Comp.
T. Hibi & H.
Ohsugi,
Toric rings and ideals of nested configurations arising
in algebraic statistics
|
Non-Standard
G. Aguilera-Venegas et al.,
A CAS
implementation of a neural model to simulate car traffic
|
|
10:00
|
Coffee Break
|
|
Coffee Break
|
|
10:30
|
Alg. Topology
J. Heras et al.,
Homological
processing of biomedical digital images: automation and
certification
|
Non-Standard
A. Hernando et al.,
An
Algebraic Model for implementing Expert Systems based on the
Knowledge of different Experts
|
|
Symb-Num Comp.
(Regency Ballroom)
J.
Verschelde & Genady Yoffe,
Quality Up in Polynomial
Homotopy Continuation by Multithreaded Path Tracking
|
|
|
Alg. Topology
J. Carnero & P. Real,
Computational algebraic topology techniques for automated analysis
of diabetic retinopathy lesions
|
Non-Standard
F. Botana,
Revisiting the
connection between 3D dynamic geometry systems and automated
provers
|
|
Symb-Num Comp.
D. Adrovic
Polyhedral
Methods for Positive Dimensional Solution Sets
|
Celestial
Adam Mahdi et
al.,
Computational approach to the center problem on a center
manifold
|
|
|
Alg. Topology
P. Dlotko,
Applications
of computational homology and cohomology theory
|
Non-Standard
A. Hernando et al.,
A
natural language for implementing algebraically expert systems
|
|
Symb-Num Comp.
M. Comer
The
Berlekamp/Massey Algorithm and Counting Singular Hankel Matrices
over a Finite Field
|
AADIOS
C. Koutschan
Lattice Green's
Functions
|
|
12:00
|
Lunch time
|
|
Lunch time
|
|
1:30
|
Alg. Topology
A. Berciano et al.,
Approaching Computational Algebraic Topology, Digital Topology and
Membrane Computing
|
Non-Standard
S. Fox,
Multiplying
Univariate Polynomials Via Fast Fourier Transforms Over Finite
Fields
|
|
Symb-Num Comp. Invited Speaker (Regency
Ballroom)
A. Platzer (Carnegie
Mellon
University),
Logical
Analysis of Hybrid Systems: How Logic and Computer Algebra Help
Save the World
|
|
|
Alg. Topology
H. Molina-Abril & P.
Real,
Homological perturbation via chain homotopy trees
|
Non-Standard
E. Roanes-Lozano et
al.
Revisiting Belnap's four-valued logic from the computer
algebra system Maple
|
|
|
|
Alg. Topology
J. Carnero et al.,
A New
Approach to Image Segmentation using Bio-inspired Models
|
Non-Standard
M. Poza & E.
Sáenz-de-Cabezón
FIABRAICO: A Computer Algebra based software
for System Reliability computations
|
|
Symb-Num Comp.
F. Guo
Certified Global
Optimization with Exact Sum-Of-Squares
|
AADIOS
A. Levin
Methods of Computation
and Invariants of Difference-Differential Dimension Polynomials
|
|
3:00
|
Coffee Break
|
|
Coffee Break
|
|
3:30
|
Alg. Topology
M. Mrozek et al.,
CAPD::REDHOM - Homology software based on reduction algorithms
|
Non-Standard
R. Lewis,
Flexibility of
Molecules via Computer Algebra
|
|
Diff. & Int. Symb-Num Algo.
E.
Shemyakova,
Approximation of Moutard equations by integrable
PDEs
|
AADIOS
A. Leykin,
Computing
localizations iteratively
|
|
|
Alg. Topology
B. Jesup et al.,
Rational
Topological Complexity
|
Non-Standard
T. Recio et al.,
Factoring
analytic polynomials and non-standard Cauchy-Riemann conditions
|
|
AADIOS (Rio
Grande)
L. Tec
Symbolic Boundary Problems in the
Theorema Framework of General Polynomial Domains
|
|
|
Alg. Topology
P. Dlotko,
Computational
topology in Maxwell's equations and Material Science
|
Non-Standard
S. Fox & R.
Lewis,
Algorithmic Determination of Molecule Flexibility via
Resultants
|
|
AADIOS (Rio
Grande)
H. Umemura,
Soliton theory is Abelian
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
6:30
|
|
|
|
Banquet
Ballroom
(6:30PM-8:30PM)
|
|
|
Wednesday (06/29)
|
|
Thursday (06/30)
|
|
|
Regency Ballroom
|
Rio Grande (2nd fl)
|
|
Regency Ballroom
|
Rio Grande (2nd fl)
|
|
08:00
|
Panel Discussion on Trends in Applications of Computer
Algebra (Regency Ballroom)
E. Kaltofen (NCSU), R. Laubenbacher (VT),
S. Sullivant
(NCSU), Q-N. Tran (Lamar), and F. Winkler (RISC-Linz)
|
|
Invited Speaker (Regency
Ballroom)
Reinhard Laubenbacher (Virginia Tech)
Algebraic models in
systems biology
|
|
|
|
09:00
|
|
Education
K. Schmidt,
Teaching an
Undergraduate Mathematics Course with Technology – What do the
students think?
|
|
|
09:30
|
Invited Speaker (Regency Ballroom)
E. Kaltofen
(NCSU)
Fast Estimates of Hankel
Matrix Condition Numbers and Numeric Sparse Interpolation
|
|
Education
W. Ellis & B.Bauldry,
The
Critical Connection of Didactic Questions to CAS Activities
|
|
|
10:00
|
Coffee Break
|
|
Coffee Break
|
|
10:30
|
Groeber Bases
C. Doench,
Relative
Reduction and Characterization of Relative Groebner Bases
|
Derive
E. Roanes-Lozano et al.
Building
my first Rule Based Expert System with DERIVE
|
|
Education
P. Yasskin et al.,
Computer
Algebra in Education: Maplets for Calculus: A CAS-Enabled Study
Guide for Calculus
|
|
|
|
Groeber Bases
A. Levin
Generalized
Groebner bases and bivariate dimension polynomials of D-modules
|
Derive
J. Galán et al.
NIIVP.mth:
Numerical Integration of Initial Value Problems with DERIVE
|
|
Education
G. Aguilera et al.,
Teaching
Automated Theorem Proving for Propositional Classical Logic with
DERIVE
|
|
|
|
Groeber Bases
Q-N. Tran,
Groebner Bases
Computation in Boolean Rings for Model Checking and Their
Applications in BioInformatics
|
Derive
A. García et al.,
Orthogonal
transformations with DERIVE
|
|
Closing (Regency Ballroom)
|
|
|
|
12:00
|
Lunch time
|
|
Trip to NASA
(meet at the lobby at
12:00PM)
|
|
1:30
|
Groeber Bases
C. Eder,
Signature-based
algorithms to compute Groebner bases
|
Derive
K. Schmidt,
Investigating 3x3
Magic Squares with DERIVE
|
|
|
|
Groeber Bases
Z. Meng,
Groebner bases
in difference-differential modules with coefficients in a
commutative ring
|
Derive
G. Aguilera et al.
Line
Integrals with Applications: Migrating from Derive to wxMaxima
|
|
|
Groeber Bases
M. Kuijper,
Groebner
p-bases for applications in finite ring coding
|
Derive
M. Beaudin,
Teaching Integration
Techniques Surrounded by CAS
|
|
3:00
|
Coffee Break
|
|
3:30
|
Education
M. Beaudin,
TI-Nspire CAS for
Teaching at University Level
|
Software
SINGULAR - Recent developments with a
glimpse into the future
|
|
|
Education
F. Botana & M. Abánades,
An
Automatic Deduction Environment for Dynamic Geometry Based on the
Open Source Computer Algebra System Sage
|
Derive
G. Aguilera et al.,
Using Derive
on a Multilayer Perceptron Implementation
|
|
|
Business Meeting
(Regency Ballroom)
|