


default search action
13th CASC 2011: Kassel, Germany
- Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov:

Computer Algebra in Scientific Computing - 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings. Lecture Notes in Computer Science 6885, Springer 2011, ISBN 978-3-642-23567-2 - Sergey Abrahamyan, Melsik Kyureghyan:

A Recurrent Method for Constructing Irreducible Polynomials over Finite Fields. 1-9 - Sergei A. Abramov

, Moulay A. Barkatou, Eckhard Pflügel
:
Higher-Order Linear Differential Systems with Truncated Coefficients. 10-24 - Juan Gerardo Alcázar

:
Topology of Families of Implicit Algebraic Surfaces Depending on a Parameter. 25-36 - Serge N. Andrianov

:
A Modular Approach for Beam Lines Design. 37-48 - Rudolf Berghammer, Agnieszka Rusinowska

, Harrie C. M. de Swart:
Computations on Simple Games Using RelView. 49-60 - François Boulier, François Lemaire, Alexandre Sedoglavic

:
On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains. 61-72 - François Boulier, François Lemaire, Michel Petitot, Alexandre Sedoglavic

:
Chemical Reaction Systems, Computer Algebra and Systems Biology - (Invited Talk). 73-87 - Dzmitry A. Budzko, Alexander N. Prokopenya

:
On the Stability of Equilibrium Positions in the Circular Restricted Four-Body Problem. 88-100 - Changbo Chen, Marc Moreno Maza:

Semi-algebraic Description of the Equilibria of Dynamical Systems. 101-125 - Victor F. Edneral

, Valery G. Romanovski
:
Normal Forms of Two p: - q Resonant Polynomial Vector Fields. 126-134 - Hassan Errami, Werner M. Seiler

, Thomas Sturm
, Andreas Weber
:
On Muldowney's Criteria for Polynomial Vector Fields with Constraints. 135-143 - Diego Fabregat-Traver

, Paolo Bientinesi:
Knowledge-Based Automatic Generation of Partitioned Matrix Expressions. 144-157 - Vladimir P. Gerdt, Yuri A. Blinkov

:
Involutive Division Generated by an Antigraded Monomial Ordering. 158-174 - A. A. Gusev, Sergey I. Vinitsky

, Ochbadrakh Chuluunbaatar
, Vladimir P. Gerdt, V. A. Rostovtsev:
Symbolic-Numerical Algorithms to Solve the Quantum Tunneling Problem for a Coupled Pair of Ions. 175-191 - Sergey A. Gutnik:

Symbolic-Numeric Investigation of the Aerodynamic Forces Influence on Satellite Dynamics. 192-199 - William Hart, Andrew Novocin:

Practical Divide-and-Conquer Algorithms for Polynomial Arithmetic. 200-214 - Matthias Hauser, Christian Salzig, Alexander Dreyer:

Fast and Robust Symbolic Model Order Reduction with Analog Insydes. 215-225 - Valentin Irtegov, Tatyana Titorenko:

On Invariant Manifolds of Lagrange Systems. 226-238 - Hidenao Iwane, Akifumi Kira

, Hirokazu Anai:
Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition. 239-250 - Bülent Karasözen

, Anastasia Trofimova, Vyacheslav Tsybulin
:
Convection in a Porous Medium and Mimetic Scheme in Polar Coordinates. 251-262 - Vladimir V. Kornyak:

Computations in Finite Groups and Quantum Physics. 263-279 - Anja Korporal, Georg Regensburger

, Markus Rosenkranz:
Regular and Singular Boundary Problems in Maple. 280-293 - Heinz Kredel, Raphael Jolly:

Algebraic Structures as Typed Objects. 294-308 - Viktor Levandovskyy, Christoph Koutschan

, Oleksandr Motsak:
On Two-Generated Non-commutative Algebras Subject to the Affine Relation. 309-320 - Brian J. Murphy:

Acceleration of the Inversion of Triangular Toeplitz Matrices and Polynomial Division. 321-332 - Zhikun She, Bai Xue:

Computing a Basin of Attraction to a Target Region by Solving Bilinear Semi-Definite Problems. 333-344 - Ágnes Szántó:

Symbolic-Numeric Solution of Ill-Conditioned Polynomial Systems (Survey Talk Overview) (Invited Talk). 345-347 - Miloslav Znojil:

Symbolic-Manipulation Constructions of Hilbert-Space Metrics in Quantum Mechanics. 348-357

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














