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