Search results for "CASC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Laurentiu Dragan, Stephen M. Watt	Type Specialization in Aldor.	CASC	2010	DBLP DOI BibTeX RDF
1	Ambedkar Dukkipati, Joel George Manathara	An Algebraic Implicitization and Specialization of Minimum KL-Divergence Models.	CASC	2010	DBLP DOI BibTeX RDF
1	Serge N. Andrianov	A Role of Symbolic Computations in Beam Physics.	CASC	2010	DBLP DOI BibTeX RDF
1	Serguey V. Zemskov, Henk M. Jonkers, Fred J. Vermolen	An Analytical Model for the Probability Characteristics of a Crack Hitting an Encapsulated Self-healing Agent in Concrete.	CASC	2010	DBLP DOI BibTeX RDF
1	Thomas Bächler, Vladimir P. Gerdt, Markus Lange-Hegermann, Daniel Robertz	Thomas Decomposition of Algebraic and Differential Systems.	CASC	2010	DBLP DOI BibTeX RDF
1	Tateaki Sasaki, Fujio Kako	Term Cancellations in Computing Floating-Point Gröbner Bases.	CASC	2010	DBLP DOI BibTeX RDF
1	Valentin Irtegov, Tatyana Titorenko	On Reduction of Lagrange Systems.	CASC	2010	DBLP DOI BibTeX RDF
1	H. Marandjian, Yuri Shoukourian	Computational Science in Armenia (Invited Talk).	CASC	2010	DBLP DOI BibTeX RDF
1	Andreas Weber 0004, Thomas Sturm 0001, Werner M. Seiler, Essam O. Abdel-Rahman	Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk).	CASC	2010	DBLP DOI BibTeX RDF
1	Evgenii V. Vorozhtsov	Derivation of Explicit Difference Schemes for Ordinary Differential Equations with the Aid of Lagrange-Burmann Expansions.	CASC	2010	DBLP DOI BibTeX RDF
1	Oleg Lobachev, Rita Loogen	Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden.	CASC	2010	DBLP DOI BibTeX RDF
1	Zoia Kostova, Nikolay Kostov, Vladimir Gerdjikov	Differential Resultant, Computer Algebra and Completely Integrable Dynamical Systems.	CASC	2010	DBLP DOI BibTeX RDF
1	Ernst W. Mayr	From Petri Nets to Polynomials: Modeling, Algorithms, and Complexity (Abstract) (Invited Talk).	CASC	2010	DBLP DOI BibTeX RDF
1	Winfried Neun, Thomas Sturm 0001, Stefan Vigerske	Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests.	CASC	2010	DBLP DOI BibTeX RDF
1	Victor F. Edneral, Valery G. Romanovski	On Sufficient Conditions for Integrability of a Planar System of ODEs Near a Degenerate Stationary Point.	CASC	2010	DBLP DOI BibTeX RDF
1	Paula Bustillo, Jaime Gutierrez 0001	On Multivariate Homogeneous Polynomial Decomposition.	CASC	2010	DBLP DOI BibTeX RDF
1	Sergey Abrahamyan	Construction of Irreducible Polynomials over Finite Fields.	CASC	2010	DBLP DOI BibTeX RDF
1	Heinz Kredel, Raphael Jolly	Generic, Type-Safe and Object Oriented Computer Algebra Software.	CASC	2010	DBLP DOI BibTeX RDF
1	Sergei A. Abramov, Amal Gheffar, Denis E. Khmelnov	Factorization of Polynomials and GCD Computations for Finding Universal Denominators.	CASC	2010	DBLP DOI BibTeX RDF
1	Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.)	Computer Algebra in Scientific Computing - 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings	CASC	2010	DBLP DOI BibTeX RDF
1	Christoph Zengler, Wolfgang Küchlin	Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases.	CASC	2010	DBLP DOI BibTeX RDF
1	Evgenii V. Vorozhtsov	New Analytic Solutions of the Problem of Gas Flow in a Casing with Rotating Disc.	CASC	2009	DBLP DOI BibTeX RDF
1	Akira Suzuki	Computing Gröbner Bases within Linear Algebra.	CASC	2009	DBLP DOI BibTeX RDF
1	Mark Giesbrecht, Myung Sub Kim	On Computing the Hermite Form of a Matrix of Differential Polynomials.	CASC	2009	DBLP DOI BibTeX RDF
1	Vladimir P. Gerdt, Yuri A. Blinkov	Involution and Difference Schemes for the Navier-Stokes Equations.	CASC	2009	DBLP DOI BibTeX RDF
1	Jin-San Cheng, Xiao-Shan Gao, Jia Li 0023	Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities.	CASC	2009	DBLP DOI BibTeX RDF
1	Kosaku Nagasaka	A Study on Gröbner Basis with Inexact Input.	CASC	2009	DBLP DOI BibTeX RDF
1	Nikita Gogin, Aleksandr Mylläri	On the Average Growth Rate of Random Compositions of Fibonacci and Padovan Recurrences.	CASC	2009	DBLP DOI BibTeX RDF
1	Ekaterina Shemyakova	Multiple Factorizations of Bivariate Linear Partial Differential Operators.	CASC	2009	DBLP DOI BibTeX RDF
1	Maha Youssef, Gerd Baumann	Hybrid Solution of Two-Point Linear Boundary Value Problems.	CASC	2009	DBLP DOI BibTeX RDF
1	Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger	A Symbolic Framework for Operations on Linear Boundary Problems.	CASC	2009	DBLP DOI BibTeX RDF	Linear boundary problem, Green’s operator, Integro-Differential Operator, Ordinary Differential Equation, Wave Equation
1	Michael B. Monagan, Paul Vrbik	Lazy and Forgetful Polynomial Arithmetic and Applications.	CASC	2009	DBLP DOI BibTeX RDF
1	Rudolf Berghammer, Bernd Braßel	Computing and Visualizing Closure Objects Using Relation Algebra and RelView.	CASC	2009	DBLP DOI BibTeX RDF
1	Sergey I. Vinitsky, Ochbadrakh Chuluunbaatar, Vladimir P. Gerdt, A. A. Gusev 0001, V. A. Rostovtsev	Symbolic-Numerical Algorithms for Solving Parabolic Quantum Well Problem with Hydrogen-Like Impurity.	CASC	2009	DBLP DOI BibTeX RDF	parabolic quantum well, hydrogen-like impurity, modified prolate angular spheroidal functions, Symbolic-numerical algorithms
1	Vladimir P. Gerdt, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.)	Computer Algebra in Scientific Computing, 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings	CASC	2009	DBLP DOI BibTeX RDF
1	Shutaro Inoue	On the Computation of Comprehensive Boolean Gröbner Bases.	CASC	2009	DBLP DOI BibTeX RDF
1	Michael Kerber	On the Complexity of Reliable Root Approximation.	CASC	2009	DBLP DOI BibTeX RDF
1	Larisa A. Burlakova	Conditions of D-Stability of the Fifth-Order Matrices.	CASC	2009	DBLP DOI BibTeX RDF
1	Vladimir P. Gerdt, Robert Kragler, Alexander N. Prokopenya	A Mathematica Package for Simulation of Quantum Computation.	CASC	2009	DBLP DOI BibTeX RDF
1	Vyacheslav Tsybulin, Andrew D. Nemtsev, Bülent Karasözen	A Mimetic Finite-Difference Scheme for Convection of Multicomponent Fluid in a Porous Medium.	CASC	2009	DBLP DOI BibTeX RDF
1	Andrey V. Banshchikov	Parametric Analysis of Stability Conditions for a Satellite with Gyrodines.	CASC	2009	DBLP DOI BibTeX RDF
1	Ling Ding, Éric Schost	Code Generation for Polynomial Multiplication.	CASC	2009	DBLP DOI BibTeX RDF
1	Masayuki Noro	Modular Algorithms for Computing a Generating Set of the Syzygy Module.	CASC	2009	DBLP DOI BibTeX RDF
1	Valentin Irtegov, Tatyana Titorenko	On Invariant Manifolds of Dynamical Systems in Lie Algebras.	CASC	2009	DBLP DOI BibTeX RDF
1	Natasha Malaschonok	An Algorithm for Symbolic Solving of Differential Equations and Estimation of Accuracy.	CASC	2009	DBLP DOI BibTeX RDF
1	Jean-Charles Faugère	Solving Structured Polynomial Systems and Applications to Cryptology.	CASC	2009	DBLP DOI BibTeX RDF
1	Sergei A. Abramov, Moulay A. Barkatou, Denis E. Khmelnov	On m-Interlacing Solutions of Linear Difference Equations.	CASC	2009	DBLP DOI BibTeX RDF
1	Alexander D. Bruno, Victor F. Edneral	On Integrability of a Planar ODE System Near a Degenerate Stationary Point.	CASC	2009	DBLP DOI BibTeX RDF	local integrability, resonant normal form, power geometry, computer algebra, ordinary differential equations
1	Takuya Kitamoto	Algebraic Approach to the Computation of the Defining Polynomial of the Algebraic Riccati Equation.	CASC	2009	DBLP DOI BibTeX RDF
1	Clarita Saldarriaga Vargas	Mathematical Model for Dengue Epidemics with Differential Susceptibility and Asymptomatic Patients Using Computer Algebra.	CASC	2009	DBLP DOI BibTeX RDF	Dengue disease, SEIR model, DSEIR model, differential susceptibility, basic reproduction number, equilibrium states, stability analysis, epidemiology
1	Vladimir V. Kornyak	Discrete Dynamics: Gauge Invariance and Quantization.	CASC	2009	DBLP DOI BibTeX RDF
1	Aless Lasaruk, Thomas Sturm 0001	Effective Quantifier Elimination for Presburger Arithmetic with Infinity.	CASC	2009	DBLP DOI BibTeX RDF
1	Alexander V. Flegontov, M. J. Marusina	The Comparison Method of Physical Quantity Dimensionalities.	CASC	2009	DBLP DOI BibTeX RDF
1	Michael B. Monagan, Roman Pearce	Polynomial Division Using Dynamic Arrays, Heaps, and Packed Exponent Vectors.	CASC	2007	DBLP DOI BibTeX RDF
1	Daniel Esteban Sierra Sosa	Automatic Stability Analysis for a Diffusion Equation with Memories Using Maple.	CASC	2007	DBLP DOI BibTeX RDF
1	Ekaterina S. Kovaleva, Vyacheslav Tsybulin, Kurt Frischmuth	Dynamics of Nonlinear Parabolic Equations with Cosymmetry.	CASC	2007	DBLP DOI BibTeX RDF
1	Ainhoa Berciano, María José Jiménez 0001, Pedro Real 0001	On the Computation of Ainfinity-Maps.	CASC	2007	DBLP DOI BibTeX RDF	A ???-algebra, Basic Perturbation Lemma, computation, contraction, transference
1	N. A. Kostov, Z. T. Kostova	Exact Solutions of Completely Integrable Systems and Linear ODE's Having Elliptic Function Coefficients.	CASC	2007	DBLP DOI BibTeX RDF
1	Doru Stefanescu	Bounds for Real Roots and Applications to Orthogonal Polynomials.	CASC	2007	DBLP DOI BibTeX RDF
1	Changbo Chen, Oleg Golubitsky, François Lemaire, Marc Moreno Maza, Wei Pan 0001	Comprehensive Triangular Decomposition.	CASC	2007	DBLP DOI BibTeX RDF
1	Franz Winkler 0001, Ekaterina Shemyakova	Symbolic and Algebraic Methods for Linear Partial Differential Operators.	CASC	2007	DBLP DOI BibTeX RDF
1	Takuya Kitamoto, Tetsu Yamaguchi	On the Computation of the Defining Polynomial of the Algebraic Riccati Equation.	CASC	2007	DBLP DOI BibTeX RDF
1	Wilhelm Plesken, Daniel Robertz	Some Elimination Problems for Matrices.	CASC	2007	DBLP DOI BibTeX RDF
1	Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.)	Computer Algebra in Scientific Computing, 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings	CASC	2007	DBLP DOI BibTeX RDF
1	Sergei A. Abramov, Marko Petkovsek	Analytic Solutions of Linear Difference Equations, Formal Series, and Bottom Summation.	CASC	2007	DBLP DOI BibTeX RDF
1	Ochbadrakh Chuluunbaatar, Alexander Gusev 0001, Vladimir P. Gerdt, Michail S. Kaschiev, Vitaly Rostovtsev, Valentin Samoylov, Tatyana Tupikova, Sergey I. Vinitsky	A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in the Magnetic Field: Cylindrical Coordinates.	CASC	2007	DBLP DOI BibTeX RDF
1	Dmytro Chibisov, Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov	Stability Investigation of a Difference Scheme for Incompressible Navier-Stokes Equations.	CASC	2007	DBLP DOI BibTeX RDF
1	Valentin Irtegov, Tatyana Titorenko	On the Peculiar Properties of Families of Invariant Manifolds of Conservative Systems.	CASC	2007	DBLP DOI BibTeX RDF
1	Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto	An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks.	CASC	2007	DBLP DOI BibTeX RDF
1	Evgenii A. Grebenikov, Ersain V. Ikhsanov, Alexander N. Prokopenya	Studying the Stability of the Second Order Non-autonomous Hamiltonian System.	CASC	2007	DBLP DOI BibTeX RDF
1	Ulugbek Kh. Narzullaev, Akmal R. Akhatov, Olim I. Jumanov	Construction of Computer System for Microobjects Recognition Based on Neural Networks.	CASC	2007	DBLP DOI BibTeX RDF
1	Juan Ospina, Mario Vélez	Analytical Solution for Transient Flow of a Generalized Bingham Fluid with Memory in a Movable Tube Using Computer Algebra.	CASC	2007	DBLP DOI BibTeX RDF
1	Maki Iwami	A Unified Algorithm for Multivariate Analytic Factorization.	CASC	2007	DBLP DOI BibTeX RDF
1	Victor F. Edneral	An Algorithm for Construction of Normal Forms.	CASC	2007	DBLP DOI BibTeX RDF	resonant normal form, nonlinear ordinary differential equations, computer algebra
1	Vladimir P. Gerdt, Arsen Khvedelidze, Yuri Palii	Deducing the Constraints in the Light-Cone SU (3) Yang-Mills Mechanics Via Gröbner Bases.	CASC	2007	DBLP DOI BibTeX RDF
1	Anna Deytseva	On the Representation of the Differential Operator in Bases of Periodic Coiflets and It's Application.	CASC	2007	DBLP DOI BibTeX RDF
1	Rudolf Berghammer, Gunther Schmidt 0001	Algebraic Visualization of Relations Using RelView.	CASC	2007	DBLP DOI BibTeX RDF
1	Volker Weispfenning	Robust Stability for Parametric Linear ODEs.	CASC	2007	DBLP DOI BibTeX RDF
1	Alexei Yu. Uteshev, Marina V. Yashina 0002	Distance Computation from an Ellipsoid to a Linear or a Quadric Surface in IR n .	CASC	2007	DBLP DOI BibTeX RDF
1	Alkiviadis G. Akritas, Gennadi I. Malaschonok	Computations in Modules over Commutative Domains.	CASC	2007	DBLP DOI BibTeX RDF
1	Alkiviadis G. Akritas, Adam W. Strzebonski, Panagiotis S. Vigklas	Advances on the Continued Fractions Method Using Better Estimations of Positive Root Bounds.	CASC	2007	DBLP DOI BibTeX RDF
1	Evgenii A. Grebenikov, Dorota Kozak-Skoworodkin, N. I. Zemtsova	Properties of the Liapunov Stability Zones of the Lagrange Triangle.	CASC	2007	DBLP DOI BibTeX RDF
1	Stephan Fritzsche	Computer Algebra: A 'Classical' Path to Explore Decoherence and Entanglement Phenomena in Quantum Information Theory.	CASC	2007	DBLP DOI BibTeX RDF
1	Werner Backes, Susanne Wetzel	An Efficient LLL Gram Using Buffered Transformations.	CASC	2007	DBLP DOI BibTeX RDF
1	Song Y. Yan, Carsten Maple, Glyn James	A New Scheme for Deniable/Repudiable Authentication.	CASC	2007	DBLP DOI BibTeX RDF	Deniable/repudiable authentication, quadratic residuosity problem, intractability
1	Kosaku Nagasaka	Ruppert Matrix as Subresultant Mapping.	CASC	2007	DBLP DOI BibTeX RDF
1	Vladimir V. Kornyak	Symmetries and Dynamics of Discrete Systems.	CASC	2007	DBLP DOI BibTeX RDF
1	Ekaterina Shemyakova, Franz Winkler 0001	A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form.	CASC	2007	DBLP DOI BibTeX RDF	Linear Partial Differential Operators, Gauge transformations, Invariants
1	Aless Lasaruk, Thomas Sturm 0001	Weak Integer Quantifier Elimination Beyond the Linear Case.	CASC	2007	DBLP DOI BibTeX RDF
1	Nikita Gogin, Aleksandr Mylläri	On the Weight Spectra of Conway Matrices Related to the Non-transitive Head-or-Tail Game.	CASC	2007	DBLP DOI BibTeX RDF
1	Jaime Gutierrez 0001, David Sevilla	On Decomposition of Tame Polynomials and Rational Functions.	CASC	2006	DBLP DOI BibTeX RDF
1	Song Y. Yan, Glyn James	Testing Mersenne Primes with Elliptic Curves.	CASC	2006	DBLP DOI BibTeX RDF	Mersenne numbers, Lucas-Lehmer test, elliptic curve test, Mersenne primes
1	I. N. Belyaeva, Nikolai A. Chekanov, Alexander Gusev 0001, Vitaly Rostovtsev, Sergey I. Vinitsky	A Symbolic-Numeric Approach for Solving the Eigenvalue Problem for the One-Dimensional Schrödinger Equation.	CASC	2006	DBLP DOI BibTeX RDF
1	Víctor Álvarez 0001, José Andrés Armario, María Dolores Frau, Pedro Real 0001	Comparison Maps for Relatively Free Resolutions.	CASC	2006	DBLP DOI BibTeX RDF
1	E. A. Grebenicov, Dorota Kozak-Skoworodkin, D. M. Diarova	Numerical Study of Stability Domains of Hamiltonian Equation Solutions.	CASC	2006	DBLP DOI BibTeX RDF
1	Vladimir V. Kornyak	Cellular Automata with Symmetric Local Rules.	CASC	2006	DBLP DOI BibTeX RDF
1	Marco Bodrato, Alberto Zanoni	Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study.	CASC	2006	DBLP DOI BibTeX RDF
1	Ainhoa Berciano, María José Jiménez 0001, Pedro Real 0001	Reducing Computational Costs in the Basic Perturbation Lemma.	CASC	2006	DBLP DOI BibTeX RDF
1	Rocío González-Díaz, Belén Medrano, Javier Sánchez-Peláez, Pedro Real 0001	Simplicial Perturbation Techniques and Effective Homology.	CASC	2006	DBLP DOI BibTeX RDF
1	Doru Stefanescu	Inequalities on Upper Bounds for Real Polynomial Roots.	CASC	2006	DBLP DOI BibTeX RDF

Publications at "CASC"( http://dblp.L3S.de/Venues/CASC )