Conferences in DBLP
V. Álvarez , J. A. Armario , M. D. Frau , P. Real Comparison Maps for Relatively Free Resolutions. [Citation Graph (0, 0)][DBLP ] Conf ] I. N. Belyaeva , N. A. Chekanov , Alexander Gusev , Vitaly Rostovtsev , Sergey I. Vinitsky A Symbolic-Numeric Approach for Solving the Eigenvalue Problem for the One-Dimensional Schrödinger Equation. [Citation Graph (0, 0)][DBLP ] Conf ] Ainhoa Berciano , María José Jiménez , Pedro Real Reducing Computational Costs in the Basic Perturbation Lemma. [Citation Graph (0, 0)][DBLP ] Conf ] Rudolf Berghammer Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Bodrato , Alberto Zanoni Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher W. Brown , Christian Gross Efficient Preprocessing Methods for Quantifier Elimination. [Citation Graph (0, 0)][DBLP ] Conf ] A. Casian , R. Dusciac , V. Dusciac , V. Patsiuk Symbolic and Numerical Calculation of Transport Integrals for Some Organic Crystals. [Citation Graph (0, 0)][DBLP ] Conf ] Dmytro Chibisov , Victor G. Ganzha , Ernst W. Mayr , Evgenii V. Vorozhtsov On the Provably Tight Approximation of Optimal Meshing for Non-convex Regions. [Citation Graph (0, 0)][DBLP ] Conf ] Svetlana Cojocaru , Ludmila Malahova , Alexander Colesnicov Providing Modern Software Environments to Computer Algebra Systems. [Citation Graph (0, 0)][DBLP ] Conf ] D. Diarova , N. I. Zemtsova The Instability of the Rhombus-Like Central Configurations in Newton 9-Body Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Jesús Gago-Vargas , Maria Isabel Hartillo-Hermoso , Jose Maria Ucha-Enríquez Algorithmic Invariants for Alexander Modules. [Citation Graph (0, 0)][DBLP ] Conf ] Jesús Gago-Vargas , Maria Isabel Hartillo-Hermoso , Jorge Martín-Morales , Jose Maria Ucha-Enríquez Sudokus and Gröbner Bases: Not Only a Divertimento . [Citation Graph (0, 0)][DBLP ] Conf ] Rocío González-Díaz , Belén Medrano , Javier Sánchez-Peláez , Pedro Real Simplicial Perturbation Techniques and Effective Homology. [Citation Graph (0, 0)][DBLP ] Conf ] E. A. Grebenicov , D. Kozak-Skoworodkin , D. M. Diarova Numerical Study of Stability Domains of Hamiltonian Equation Solutions. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Gusev , Vladimir P. Gerdt , Michail 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. [Citation Graph (0, 0)][DBLP ] Conf ] Jaime Gutierrez , David Sevilla On Decomposition of Tame Polynomials and Rational Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Isroil A. Ikromov , Akhmadjon Soleev Newton Polyhedra and an Oscillation Index of Oscillatory Integrals with Convex Phases. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir V. Kornyak Cellular Automata with Symmetric Local Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Natasha Malaschonok Parallel Laplace Method with Assured Accuracy for Solutions of Differential Equations by Symbolic Computations. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Semenov On Connection Between Constructive Involutive Divisions and Monomial Orderings. [Citation Graph (0, 0)][DBLP ] Conf ] Gerrit Sobottka , Andreas Weber 0004 A Symbolic-Numeric Approach to Tube Modeling in CAD Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Doru Stefanescu Inequalities on Upper Bounds for Real Polynomial Roots. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Sturm New Domains for Applied Quantifier Elimination. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen M. Watt Algorithms for Symbolic Polynomials. [Citation Graph (0, 0)][DBLP ] Conf ] Song Y. Yan , Glyn James Testing Mersenne Primes with Elliptic Curves. [Citation Graph (0, 0)][DBLP ] Conf ] 