Search results for "CASC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Evgenii A. Grebenikov, Ersain V. Ikhsanov, Alexander N. Prokopenya	Numeric-Symbolic Computations in the Study of Central Configurations in the Planar Newtonian Four-Body Problem.	CASC	2006	DBLP DOI BibTeX RDF
1	Thomas Sturm 0001	New Domains for Applied Quantifier Elimination.	CASC	2006	DBLP DOI BibTeX RDF
1	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 Magnetic Field.	CASC	2006	DBLP DOI BibTeX RDF
1	Dmytro Chibisov, Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov	On the Provably Tight Approximation of Optimal Meshing for Non-convex Regions.	CASC	2006	DBLP DOI BibTeX RDF
1	A. Casian, R. Dusciac, V. Dusciac, V. Patsiuk	Symbolic and Numerical Calculation of Transport Integrals for Some Organic Crystals.	CASC	2006	DBLP DOI BibTeX RDF
1	Isroil A. Ikromov, Akhmadjon Soleev	Newton Polyhedra and an Oscillation Index of Oscillatory Integrals with Convex Phases.	CASC	2006	DBLP DOI BibTeX RDF
1	Natasha Malaschonok	Parallel Laplace Method with Assured Accuracy for Solutions of Differential Equations by Symbolic Computations.	CASC	2006	DBLP DOI BibTeX RDF
1	Jesús Gago-Vargas, María Isabel Hartillo-Hermoso, Jorge Martín-Morales, José María Ucha-Enríquez	Sudokus and Gröbner Bases: Not Only a Divertimento.	CASC	2006	DBLP DOI BibTeX RDF
1	Gerrit Sobottka, Andreas Weber 0004	A Symbolic-Numeric Approach to Tube Modeling in CAD Systems.	CASC	2006	DBLP DOI BibTeX RDF	Kirchhoff rod, automatic differentiation, boundary value problems
1	V. P. Borunov, Yu. A. Ryabov, O. V. Surkov	Application of Computer Algebra for Construction of Quasi-periodic Solutions for Restricted Circular Planar Three Body Problem.	CASC	2006	DBLP DOI BibTeX RDF
1	Jesús Gago-Vargas, María Isabel Hartillo-Hermoso, José María Ucha-Enríquez	Algorithmic Invariants for Alexander Modules.	CASC	2006	DBLP DOI BibTeX RDF
1	Christopher W. Brown 0001, Christian Gross 0003	Efficient Preprocessing Methods for Quantifier Elimination.	CASC	2006	DBLP DOI BibTeX RDF
1	Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.)	Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings	CASC	2006	DBLP DOI BibTeX RDF
1	Svetlana Cojocaru, Ludmila Malahova, Alexander Colesnicov	Providing Modern Software Environments to Computer Algebra Systems.	CASC	2006	DBLP DOI BibTeX RDF
1	Stephen M. Watt	Algorithms for Symbolic Polynomials.	CASC	2006	DBLP DOI BibTeX RDF
1	Rudolf Berghammer	Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView.	CASC	2006	DBLP DOI BibTeX RDF
1	Alexander Semenov	On Connection Between Constructive Involutive Divisions and Monomial Orderings.	CASC	2006	DBLP DOI BibTeX RDF
1	D. M. Diarova, N. I. Zemtsova	The Instability of the Rhombus-Like Central Configurations in Newton 9-Body Problem.	CASC	2006	DBLP DOI BibTeX RDF
1	Liu Shu, Andreas Weber 0004	A Symbolic-Numeric Method for Solving Boundary Value Problems of Kirchhoff Rods.	CASC	2005	DBLP DOI BibTeX RDF
1	David G. Richardson, Werner Krandick	Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library.	CASC	2005	DBLP DOI BibTeX RDF
1	Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.)	Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings	CASC	2005	DBLP DOI BibTeX RDF
1	Alexander D. Bruno, Victor F. Edneral	Normal Forms and Integrability of ODE Systems.	CASC	2005	DBLP DOI BibTeX RDF
1	Volker Weispfenning	Solving Linear Differential Problems with Parameters.	CASC	2005	DBLP DOI BibTeX RDF
1	Jesús Gago-Vargas, María Isabel Hartillo-Hermoso, José María Ucha-Enríquez	Nouvelle Cuisine for the Computation of the Annihilating Ideal of fs.	CASC	2005	DBLP DOI BibTeX RDF
1	Domingo Gómez-Pérez, Jaime Gutierrez 0001, Álvar Ibeas	Circulant Digraphs and Monomial Ideals.	CASC	2005	DBLP DOI BibTeX RDF
1	Alexander Shermenev	Nonlinear Waves in a Rod.	CASC	2005	DBLP DOI BibTeX RDF
1	Leonid Semin, Vasily P. Shapeev	Constructing the Numerical Method for Navier - Stokes Equations Using Computer Algebra System.	CASC	2005	DBLP DOI BibTeX RDF
1	Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi	Fast Verification for Respective Eigenvalues of Symmetric Matrix.	CASC	2005	DBLP DOI BibTeX RDF
1	Arno Eigenwillig, Lutz Kettner, Werner Krandick, Kurt Mehlhorn, Susanne Schmitt, Nicola Wolpert	A Descartes Algorithm for Polynomials with Bit-Stream Coefficients.	CASC	2005	DBLP DOI BibTeX RDF
1	Laurent Busé, Houssam Khalil, Bernard Mourrain	Resultant-Based Methods for Plane Curves Intersection Problems.	CASC	2005	DBLP DOI BibTeX RDF
1	Thomas Sturm 0001	Quantifier Elimination for Constraint Logic Programming.	CASC	2005	DBLP DOI BibTeX RDF
1	Susanne Schmitt	The Diamond Operator - Implementation of Exact Real Algebraic Numbers.	CASC	2005	DBLP DOI BibTeX RDF
1	Akhmadjon Soleev	Algorithm of Local Resolution of Singularities of a Space Curve.	CASC	2005	DBLP DOI BibTeX RDF
1	Christos Koukouvinos, E. Lappas	Construction of Two Level Orthogonal Arrays Via Solutions of Linear Systems.	CASC	2005	DBLP DOI BibTeX RDF
1	Rudolf Berghammer, Frank Neumann 0001	RelView - An OBDD-Based Computer Algebra System for Relations.	CASC	2005	DBLP DOI BibTeX RDF
1	Vladimir P. Gerdt, Yuri A. Blinkov	Janet-Like Monomial Division.	CASC	2005	DBLP DOI BibTeX RDF
1	S. Yu. Vernov	Interdependence Between the Laurent-Series and Elliptic Solutions of Nonintegrable Systems.	CASC	2005	DBLP DOI BibTeX RDF
1	Serguey Zemskov	Approximate Solution of the Dirichlet Problem for Elliptic PDE and Its Error Estimate.	CASC	2005	DBLP DOI BibTeX RDF
1	Sergei A. Abramov, Manuel Bronstein, Denis E. Khmelnov	On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems.	CASC	2005	DBLP DOI BibTeX RDF
1	Alexander Gusev 0001, Vladimir P. Gerdt, Michail S. Kaschiev, Vitaly Rostovtsev, Valentin Samoylov, Tatyana Tupikova, Yoshio Uwano, Sergey I. Vinitsky	Symbolic-Numerical Algorithm for Solving the Time-Dependent Schrödinger Equation by Split-Operator Method.	CASC	2005	DBLP DOI BibTeX RDF
1	Akira Terui	Recursive Polynomial Remainder Sequence and the Nested Subresultants.	CASC	2005	DBLP DOI BibTeX RDF
1	Saugata Basu, Michael Kettner	Computing the Betti Numbers of Arrangements in Practice.	CASC	2005	DBLP DOI BibTeX RDF
1	Eugenio Roanes-Lozano, R. García, Eugenio Roanes-Macías, Alfredo Aparicio Yagüe, Luis M. Laita	Meta-Petro: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies.	CASC	2005	DBLP DOI BibTeX RDF	Metamorphic Petrology, Expert Systems, Computer Algebra Systems
1	Ioannis Z. Emiris, Elias P. Tsigaridas	Real Solving of Bivariate Polynomial Systems.	CASC	2005	DBLP DOI BibTeX RDF
1	Arthur D. Chtcherba, Deepak Kapur, Manfred Minimair	Cayley-Dixon Resultant Matrices of Multi-univariate Composed Polynomials.	CASC	2005	DBLP DOI BibTeX RDF
1	Akira Suzuki	Computation of Full Comprehensive Gröbner Bases.	CASC	2005	DBLP DOI BibTeX RDF
1	Vladimir V. Kornyak	On Compatibility of Discrete Relations.	CASC	2005	DBLP DOI BibTeX RDF
1	Kosaku Nagasaka	Towards More Accurate Separation Bounds of Empirical Polynomials II.	CASC	2005	DBLP DOI BibTeX RDF
1	E. A. Grebenicov, Dorota Kozak-Skoworodkin, M. Jakubiak	Investigation of the Stability Problem for the Critical Cases of the Newtonian Many-Body Problem.	CASC	2005	DBLP DOI BibTeX RDF
1	I. N. Belyaeva, Nikolai A. Chekanov, Alexander Gusev 0001, V. A. Rostovtsev, Yu. A. Ukolov, Yoshio Uwano, Sergey I. Vinitsky	A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue Problem by a Self-consistent Basis Method.	CASC	2005	DBLP DOI BibTeX RDF
1	Christos Kravvaritis, Marilena Mitrouli, Jennifer Seberry	Counting Techniques Specifying the Existence of Submatrices in Weighing Matrices.	CASC	2005	DBLP DOI BibTeX RDF	complete pivoting, weighing matrices, symbolic computation, Gaussian elimination, growth
1	Dmytro Chibisov, Victor G. Ganzha, Sergey Pankratov, Christoph Zenger 0001	Computer Algebra in Nanosciences: Modeling Electronic States in Quantum Dots.	CASC	2005	DBLP DOI BibTeX RDF
1	Mijail Borges-Quintana, Miguel A. Borges-Trenard, Edgar Martínez-Moro	On the Use of Gröbner Bases for Computing the Structure of Finite Abelian Groups.	CASC	2005	DBLP DOI BibTeX RDF
1	Dmytro Chibisov, Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov	Generation of Orthogonal Grids on Curvilinear Trimmed Regions in Constant Time.	CASC	2005	DBLP DOI BibTeX RDF
1	Valentin Irtegov, Tatyana Titorenko	On Some Results of Investigation of Kirchhoff Equations in Case of a Rigid Body Motion in Fluid.	CASC	2005	DBLP DOI BibTeX RDF
1	Carlo Cattani, Evgenii A. Grebenikov, Alexander N. Prokopenya	Symbolic Calculations in Studying the Stability of Dynamically Symmetric Satellite Motion.	CASC	2005	DBLP DOI BibTeX RDF
1	Vladimir P. Gerdt, Yuri A. Blinkov	Janet-Like Gröbner Bases.	CASC	2005	DBLP DOI BibTeX RDF
1	Laureano González-Vega, Carlo Traverso, Alberto Zanoni	Hilbert Stratification and Parametric Gröbner Bases.	CASC	2005	DBLP DOI BibTeX RDF	Gröbner bases, Hilbert function, Specialization
1	Sergey Slavyanov, Vladimir Papshev	Differential and Difference Equations for Products of Classical Orthogonal Polynomials.	CASC	2005	DBLP DOI BibTeX RDF
1	Rocío González-Díaz, Belén Medrano, Pedro Real 0001, Javier Sánchez-Peláez	Algebraic Topological Analysis of Time-Sequence of Digital Images.	CASC	2005	DBLP DOI BibTeX RDF
1	Vladimir V. Kornyak	A New Algorithm for Computing Cohomologies of Lie Superalgebras.	CASC	2001	DBLP DOI BibTeX RDF
1	Michal Mnuk	Representing Graph Properties by Polynomial Ideals.	CASC	2001	DBLP DOI BibTeX RDF
1	Isolde Mazzucco	SYMOPT: Symbolic Parametric Mathematical Programming.	CASC	2001	DBLP DOI BibTeX RDF
1	Victor G. Ganzha, Dmytro Chibisov, Evgenii V. Vorozhtsov	GROOME - Tool Supported Graphical Object Oriented Modelling for Computer Algebra and Scientific Computing.	CASC	2001	DBLP DOI BibTeX RDF
1	Vladimir P. Gerdt, Yuri A. Blinkov, Denis A. Yanovich	Construction of Janet Bases II. Polynomial Bases.	CASC	2001	DBLP DOI BibTeX RDF
1	Luisa M. Camacho, J. R. Gómez, R. M. Navarro, I. Rodríguez	Mathematica and Nilpotent Lie Superalgebras.	CASC	2001	DBLP DOI BibTeX RDF
1	Mohamed Barakat	Jets. A Maple-Package for Formal Differential Geometry.	CASC	2001	DBLP DOI BibTeX RDF
1	Jay Belanger, Marcus Hausdorf, Werner M. Seiler	A MuPAD Library for Differential Equations.	CASC	2001	DBLP DOI BibTeX RDF
1	Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita	A Method of Logic Deduction and Verification in KBS Using Positive Integers.	CASC	2001	DBLP DOI BibTeX RDF
1	María José Jiménez 0001, Pedro Real 0001	"Coalgebra" Structures on 1-Homological Models for Commutative Differential Graded Algebras.	CASC	2001	DBLP DOI BibTeX RDF
1	Thomas Bayer	Computing Stratifications of Quotients of Finite Groups and an Application to Shape Memory Alloys.	CASC	2001	DBLP DOI BibTeX RDF
1	Raya Khanin	A Mathematica Solver for Two-Point Singularly-Perturbed Boundary Value Problems.	CASC	2001	DBLP DOI BibTeX RDF
1	Gani E. Ergashev, Ulugbek H. Narzullaev	Recurrence Functions and Numerical Characteristics of Graphs.	CASC	2001	DBLP DOI BibTeX RDF
1	Victor G. Ganzha, Ernst Wilhelm Mayr, Evgenii V. Vorozhtsov (eds.)	Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001.	CASC	2001	DBLP DOI BibTeX RDF
1	Alexander Gusev 0001, Valentin Samoylov, Vitaly Rostovtsev, Sergey I. Vinitsky	Symbolic Algorithms of Algebraic Perturbation Theory: Hydrogen Atom in the Field of Distant Charge.	CASC	2001	DBLP DOI BibTeX RDF
1	Norbert Südland, Gerd Baumann, Theo F. Nonnenmacher	Fractional Driftless Fokker-Planck Equation with Power Law Diffusion Coefficients.	CASC	2001	DBLP DOI BibTeX RDF
1	Valentin Irtegov, Tatyana Titorenko	Employment of the Gröbner Bases in Analysis of Systems Having Algebraic First Integrals.	CASC	2001	DBLP DOI BibTeX RDF
1	Akhmadjon Soleev, Adizjon S. Barotov	The Method of Newton Polyhedra for Investigating Singular Positions of Some Mechanisms.	CASC	2001	DBLP DOI BibTeX RDF
1	Larissa Bourlakova	On the Stability of Steady Motions of Solar-Sail Satellite.	CASC	2001	DBLP DOI BibTeX RDF
1	C. F. Cid, Wilhelm Plesken	Invariants of Finite Groups and Involutive Division.	CASC	2001	DBLP DOI BibTeX RDF
1	Giuseppa Carrà Ferro, Valentina Marotta	Neighborhoods of an Ordinary Linear Differential Equation.	CASC	2001	DBLP DOI BibTeX RDF
1	Farida Benmakrouha, Christiane Hespel, Gérard Jacob, Edouard Monnier	Algebraic Identification Algorithm and Application to Dynamical Systems.	CASC	2001	DBLP DOI BibTeX RDF
1	Jesus Espinola, Laureano González-Vega, Ioana Necula	Algebraic Methods for Sectioning Parametric Surfaces.	CASC	2001	DBLP DOI BibTeX RDF
1	Joachim Engelmann, Gerd Baumann	An Involutive Reduction Method to Find Invariant Solutions for Partial Differential Equations.	CASC	2001	DBLP DOI BibTeX RDF
1	Alexander Shermenev	Progressive Long Waves on a Slope (A New Solution to the Euler Equation?).	CASC	2001	DBLP DOI BibTeX RDF
1	Bülent Karasözen, Vyacheslav Tsybulin	Conservative Finite Difference Schemes for Cosymmetric Systems.	CASC	2001	DBLP DOI BibTeX RDF
1	Evgenii A. Grebenikov	The Methods of Computer Algebra and the Arnold-Moser Theorem.	CASC	2001	DBLP DOI BibTeX RDF
1	Serguei P. Tsarev	Factorization of Overdetermined Systems of Linear Partial Differential Equations with Finite-Dimensional Solution Space.	CASC	2001	DBLP DOI BibTeX RDF
1	Hans J. Stetter	Algebraic Predicates for Empirical Data.	CASC	2001	DBLP DOI BibTeX RDF
1	Volker Weispfenning	Semilinear Motion Planning Among Moving Objects in REDLOG.	CASC	2001	DBLP DOI BibTeX RDF
1	Sonia Pérez-Díaz, Juan Rafael Sendra	Parametric G1-Blending of Several Surfaces.	CASC	2001	DBLP DOI BibTeX RDF
1	Roman E. Mäder	Parallel Computing with Mathematica.	CASC	2001	DBLP DOI BibTeX RDF
1	Andreas Dolzmann, Thomas Sturm 0001	Parametric Systems of Linear Congruences.	CASC	2001	DBLP DOI BibTeX RDF
1	Vasiliy V. Bublik	Application of Computer Algebra for Investigation of Group Properties of the Navier-Stokes Equations for Compressible Viscous Heat-Conducting Gas.	CASC	2001	DBLP DOI BibTeX RDF
1	Vladimir P. Gerdt, Yuri A. Blinkov, Denis A. Yanovich	Construction of Janet Bases I. Monomial Bases.	CASC	2001	DBLP DOI BibTeX RDF
1	Alan Stanton Deakin, H. Rasmussen	Symbolic Computation and Boundary Conditions for the Wave Equation.	CASC	2001	DBLP DOI BibTeX RDF
1	Anna Gambin, Piotr Pokarowski	A New Combinatorial Algorithm for Large Markov Chains (Extended Abstract).	CASC	2001	DBLP DOI BibTeX RDF
1	Francisco Botana, José L. Valcarce	Cooperation between a Dynamic Geometry Environment and a Computer Algebra System for Geometric Discovery.	CASC	2001	DBLP DOI BibTeX RDF
1	Gennadi I. Malaschonok	Solution of Systems of Linear Diophantine Equations.	CASC	2001	DBLP DOI BibTeX RDF
1	Victor F. Edneral	Bifurcation Analysis of Low Resonant Case of the Generalized Henon - Heiles System.	CASC	2001	DBLP DOI BibTeX RDF

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