CASC B

29 papers

YearTitle / Authors
2011A Modular Approach for Beam Lines Design.
Serge N. Andrianov
2011A Recurrent Method for Constructing Irreducible Polynomials over Finite Fields.
Sergey Abrahamyan, Melsik Kyureghyan
2011Acceleration of the Inversion of Triangular Toeplitz Matrices and Polynomial Division.
Brian J. Murphy
2011Algebraic Structures as Typed Objects.
Heinz Kredel, Raphael Jolly
2011Chemical Reaction Systems, Computer Algebra and Systems Biology - (Invited Talk).
François Boulier, François Lemaire, Michel Petitot, Alexandre Sedoglavic
2011Computations in Finite Groups and Quantum Physics.
Vladimir V. Kornyak
2011Computations on Simple Games Using RelView.
Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart
2011Computer Algebra in Scientific Computing - 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings
Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov
2011Computing a Basin of Attraction to a Target Region by Solving Bilinear Semi-Definite Problems.
Zhikun She, Bai Xue
2011Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition.
Hidenao Iwane, Akifumi Kira, Hirokazu Anai
2011Convection in a Porous Medium and Mimetic Scheme in Polar Coordinates.
Bülent Karasözen, Anastasia Trofimova, Vyacheslav Tsybulin
2011Fast and Robust Symbolic Model Order Reduction with Analog Insydes.
Matthias Hauser, Christian Salzig, Alexander Dreyer
2011Higher-Order Linear Differential Systems with Truncated Coefficients.
Sergei A. Abramov, Moulay A. Barkatou, Eckhard Pflügel
2011Involutive Division Generated by an Antigraded Monomial Ordering.
Vladimir P. Gerdt, Yuri A. Blinkov
2011Knowledge-Based Automatic Generation of Partitioned Matrix Expressions.
Diego Fabregat-Traver, Paolo Bientinesi
2011Normal Forms of Two p: - q Resonant Polynomial Vector Fields.
Victor F. Edneral, Valery G. Romanovski
2011On Invariant Manifolds of Lagrange Systems.
Valentin Irtegov, Tatyana Titorenko
2011On Muldowney's Criteria for Polynomial Vector Fields with Constraints.
Hassan Errami, Werner M. Seiler, Thomas Sturm, Andreas Weber
2011On Two-Generated Non-commutative Algebras Subject to the Affine Relation.
Viktor Levandovskyy, Christoph Koutschan, Oleksandr Motsak
2011On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains.
François Boulier, François Lemaire, Alexandre Sedoglavic
2011On the Stability of Equilibrium Positions in the Circular Restricted Four-Body Problem.
Dzmitry A. Budzko, Alexander N. Prokopenya
2011Practical Divide-and-Conquer Algorithms for Polynomial Arithmetic.
William Hart, Andrew Novocin
2011Regular and Singular Boundary Problems in Maple.
Anja Korporal, Georg Regensburger, Markus Rosenkranz
2011Semi-algebraic Description of the Equilibria of Dynamical Systems.
Changbo Chen, Marc Moreno Maza
2011Symbolic-Manipulation Constructions of Hilbert-Space Metrics in Quantum Mechanics.
Miloslav Znojil
2011Symbolic-Numeric Investigation of the Aerodynamic Forces Influence on Satellite Dynamics.
Sergey A. Gutnik
2011Symbolic-Numeric Solution of Ill-Conditioned Polynomial Systems (Survey Talk Overview) (Invited Talk).
Ágnes Szántó
2011Symbolic-Numerical Algorithms to Solve the Quantum Tunneling Problem for a Coupled Pair of Ions.
A. A. Gusev, Sergey I. Vinitsky, Ochbadrakh Chuluunbaatar, Vladimir P. Gerdt, V. A. Rostovtsev
2011Topology of Families of Implicit Algebraic Surfaces Depending on a Parameter.
Juan Gerardo Alcázar