Embedded Files
All talks can be found here
http://aca.aulonapress.com/index.php/aca2010/aca2010/schedConf/presentations
EDUCATION SESSION
Solving ODEs in a Larger Context
Michel Beaudin, Gilles Picard
Comparison of the geometric capabilities of GeoGebra and Xcas
Alkis G Akritas, Evgenia K. Akritas
All mathematics in eight weeks!
J F Ogilvie
Semiotics Tools and Mathematics Curriculum
Gabriel Humberto Tamayo Valdés, Pedro Juan Torres Florez
Semiotics Acts and Processes in the definition of limit of a function according to Weierstrass
Gabriel Humberto Tamayo Valdés, Pedro Juan Torres Florez
Computer Algebra - a World of Ideas for Enhancement of Mathematics Education
Elena Apostolova Varbanova
Experiences setting individualized questions in linear algebra
David J Jeffrey
A free educational tool for visualizing topological properties: Voxelo
Ainhoa Berciano, Javier Carnero, Daniel Díaz-Pernil, Pedro Real
NONSTANDARD APPLICATIONS OF COMPUTER ALGEBRA
On the Expected Waiting Time in the Penny Ante Game
Aleksandr Mylläri
Connectivity of experimental designs using computational commutative algebra
Hugo Maruri-Aguilar, Eduardo Saenz-de-Cabezon, Henry Wynn
{Calcrostics - a marathon test for the algebraic solution of polynomial systems
Thomas Wolf
COMPUTER ALGEBRA IN KNOWLEDGE BASED APPLICATION
Representation issues regarding mathematical ontologies: why Description Logic does not suffice
Fred Freitas
Knowledge bases and conjugation of groups
Marina Knyazhansky, Tatjana Plotkin
Why AI, why Computation, why Mathematics?
Jacques Calmet
Classifying Matrix Types by Abstraction
Volker Sorge
Writing on Clouds
Stephen M Watt
COMPUTATIONAL ALGEBRAIC GEOMETRY, CODING THEORY, AND CRYPTOGRAPHY
The arithmetic of genus 2 curves
Tanush Shaska
On Algebraic Directed Graphs and Polynomial Public Key Cryptography
Aneta Aneta Wroblewska
Some Computation Problems arising in Fontaine Theory
Benjamin Justus, Radu Gaba
Matrix Reordering Problem and Applications
Lemnouar Noui
Rational points and Hasse principle for Shimura curves: a constructive approach
andrei yafaev
Families of Gromov-Witten invariants
Artur Elezi
Theta functions of hyperelliptic curves.
Lubjana Beshaj
INTERACTION BETWEEN COMPUTER ALGEBRA AND INTERVAL COMPUTATIONS
Truss Models with Uncertain Node Locations and Their Verified Finite Element Solution
Jürgen Garloff
Embedding C-XSC Automatic Differentiation in Mathematica
Evgenija Dimitrova Popova, Walter Kraemer, Milan Russev
Symbolic and verification software tools for bifurcation analysis of bioprocess models
Milen Kolev Borisov
Investigation of a model of plasmid-bearing, plasmid-free competition in a chemostat under uncertainties
Neli Stoyanova Dimitrova
Computer-Assisted Proofs and Symbolic Computations
Walter Kraemer
Combining symbolic tools with interval analysis. An application to solve robust control problems.
Inès Ferrer- Mallorquí, Josep Vehi
Ball arithmetic
Joris Van der Hoeven
PARALLEL COMPUTING
A symbolic algorithm for parallel solving of systems of partial differential equations.
Natalia Aleksandrovna Malashonok
A project of Parallel Computer Algebra
Gennadi Ivanovich Malaschonok
Vincent’s Theorem of 1836: Parallel algorithms for real root isolation
Gennadi I. Malaschonok, Alkiviadis G. Akritas, Alexey O. Lapaev, Alexandr Pochtarkov
Applications of Collusion in Parallel Computer Algebra
Stephen M Watt
3-dim. scalar discrete integrable equations - an application for parallel CA
Thomas Wolf, Winifried Neun, Sergey Tsarev
Some recent developments in (parallel) REDUCE
Winfried Neun
COMPUTER ALGEBRA FOR DYNAMICAL SYSTEMS AND CELESTIAL MECHANICS
Explicit construction of elliptic tori for planetary systems
Marco Sansottera
Determination of preliminary orbits of extrasolar planets using the radial velocity curve.
Aleksandr Mylläri, Darja Tolumbaeva
On Integrability of a Degenerated Planar Multiparameter System of ODE
Alexander Dmitrievich Bruno, Victor Fedorovich Edneral
INTEGRABLE DYNAMICAL SYSTEMS GENERATED BY QUANTUM MODELS WITH ADIABATIC PARAMETER
Sergey Yuryevich Slavyanov, Aleksandr Myllary
Long-time stability of the secular part of a planetary problem with more than three bodies
Ugo Locatelli
Applications of Groebner bases technique to the geometry of pairs of Keplerian orbits
Nikolay Nikolaevich Vasiliev
Very high-order normal form for the circular restricted three-body problem in the spatial Lunar case
Jesus Palacian
Analytical model for the motion of a low-thrust spacecraft
Francesco Biscani
ON ONE METHOD OF ANALYSIS OF LAGRANGIAN SYSTEMS.
Valentin D. Irtegov, Larisa A. Burlakova
VarInt - Variational Integrators with Maple
Christian Hellström
On Integrability of a Degenerated Planar Multiparameter System of ODE II.
Victor Fedorovich Edneral, Valery G. Romanovski
Computer Algebra Challenges from Integrable non-abelian Laurent ODEs
Thomas Wolf, Olga Efimovskaya, Eberhard Schruefer
COMPUTATION OF SPECIAL FUNCTIONS
The qTSPP Theorem
Manuel Kauers
The Lambert W-functions and some of their integrals
Walter Gautschi
From integral representations to special function identities
Clemens Gunter Raab
Mixed Transcendental and Algebraic Extensions for the Risch-Norman Algorithm
Stefan Thomas Boettner
ANTIQUANTIZATION AND INTEGRAL RELATIONS FOR HEUN EQUATIONS AND SYMMETRIES FOR THE CORRESPONDING PAINLEVE EQUATIONS
Sergey Yuryevich Slavyanov, Alexandr Ya. Kazakov, Filip R. Vukajlovic
Summation in Finite Terms over Algebraic Extensions
Burcin Erocal
Finding Recurrences for Mellin-Barnes Integrals
Flavia Stan
Generalized Fourier Series for Solutions of Linear Differential Equations.
Alexandre Benoit
Dougall's bilateral $_2H_2$-series and Ramanujan's $\pi$-formulae
WENCHANG CHU
COMPUTER ALGEBRA IN ALGEBRAIC TOPOLOGY AND ITS APPLICATIONS
Discrete vector fields for monomial resolutions
Eduardo Saenz-de-Cabezon, Francis Sergeraert
Effective Homotopy: a first approach
Ana Romero, Francis Sergeraert
Searching high order invariants in Computer Imagery
Helena Molina-Abril, Ainhoa Berciano, Pedro Real
Effective Homology and Membrane Computing
Pedro Real, Hepzibah A. Christinal, Miguel A. Gutierrez-Naranjo, Daniel Diaz-Pernil
Doxelo: Towards a Software for Processing and Visualizing Topology Computations in Doxel-based 3D+t Images
Javier Carnero, Daniel Díaz-Pernil, Pedro Real, Jean-Luc Mari
Perturbation of chain homotopy operators preserving homology
Pedro Real, Ana María Pacheco
Homology-based filter for fits images
Pedro Real, Darian Onchis, Javier Carnero,
Combinatorial Effective Homology and Homological Trees
Pedro .. Real, Helena Molina-Abril
An automatic homology-based method for processing Gel Electrophoresis digital Images
Pedro Real, Jose Manuel Falces, Belen Romero, Helena Molina-Abril, Antonio Suarez-Pliego
Homological models for semidirect products of finitely generated abelian groups
Pedro Real, Andrés Armario, Victor Alvarez Solano, María Dolores Frau
COMPUTATIONAL GROUP THEORY
Computing polycyclic quotients of finitely and certain infinitely presented groups
Max Horn
Combinatorics and Complexity of Group-theoretic Matrix Multiplication
Sandeep Rajkumar Murthy
On Geometries of Simple Groups of Lie type and their applications to Information Security
Vasyl Alex Ustimenko
A constructive approach to integral representations of finite groups.
Ekaterina Khrebtova, Dmitry Malinin
On the $PSL_2(q)$, Ramanujan graphs and key exchange protocols
Urszula Urszula Romanczuk, Vasyl Alex Ustimenko
2 groups associated to partially ordered sets
Thomas Bier
COMPUTER ALGEBRA IN CHEMISTRY AND PHYSICS
Kramers-Kronig and Fourier transforms between optical dispersion and absorption spectra
J F Ogilvie, G J Fee
Harmonic Oscillator in Chemistry
J F Ogilvie
The model of optical diffraction on stratified media
Endri Mydini, Alexey Anatoljevitch Khokhlov, Anastasiya Aleksandrovna Tyutyunnik
Flexibility of Cyclo-Octane Using Resultants of Polynomial Systems
Robert H. Lewis
ALGEBRAIC AND ALGORITHMIC ASPECTS OF DIFFERENTIAL AND INTEGRAL OPERATORS
Linear Differential Elimination for Analytic Functions
Daniel Robertz
A Formal Proof of Confluence for an Infinitely Generated Noncommutative Polynomial Ideal Parametrized over Integro-Differential Algebras
Loredana Tec
Invariant algebraic curves of rational vector fields and their explicit rational solutions
Lam Xuan Chau Ngo
Partial Integro-Differential Operators
Markus G Rosenkranz
Operational Methods in the Environment of a Computer Algebra System
Margarita Nikolova Spiridonova
Integro-differential Operators via Normal Forms in MAPLE
Anja Korporal
FGLM for Hermite and Popov normal forms of Ore polynomial matrices
Johannes Middeke
PRECONDITIONNING TECHNIQUES FOR SYSTEMS OF PARTIAL DIFFERENTIAL EQUATIONS USING ALGEBRAIC TOOLS
Thomas Cluzeau
Multiple Factorizations of Linear Partial Differential Operators of Arbitrary Order and of Arbitrary Number of Variables
Ekaterina Shemyakova
On the Problem of Removing Apparent Singularities of Linear Differential Equations with Polynomial Coefficients
Moulay Barkatou
COMPLEXITY OF SOLVING DIFFERENTIAL ALGEBRAIC SYSTEMS
Jacobi's bound and applications
François Ollivier
Geometric resolution for Implicit Systems of Differential Algebraic Equations
Pablo Solerno
A static analogue to Ritt resolvents : efficient computation of Lagrange resolvents
Marc Giusti
Relaxed power series solutions of DAEs
Joris Van der Hoeven
SOLVING PARAMETRIC ALGEBRAIC SYSTEMS AND THEIR APPLICATIONS
Stability of Gr\"obner Bases in terms of a commutative von Neumann regular ring
Yosuke Sato
Dixon-EDF: A Premier Method for Parametric Polynomial Systems
Robert H. Lewis
Using algebraic local cohomology with parameters
Katsusuke Nabeshima, Yayoi Nakamura, Shinichi Tajima
Derivation of resonant conditions with CGS
Hiroshi Yoshida, Katsusuke Nabeshima
A parametric approach to combinatorial problems
Shutaro Inoue
Page updated
Report abuse