Conferences in DBLP
Sergei A. Abramov , Manuel Bronstein , D. E. Khmelnov On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Saugata Basu , Michael Kettner Computing the Betti Numbers of Arrangements in Practice. [Citation Graph (0, 0)][DBLP ] Conf ] I. N. Belyaeva , N. A. Chekanov , Alexander Gusev , 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. [Citation Graph (0, 0)][DBLP ] Conf ] Rudolf Berghammer , Frank Neumann RelView - An OBDD-Based Computer Algebra System for Relations. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander D. Bruno , Victor F. Edneral Normal Forms and Integrability of ODE Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Busé , Houssam Khalil , Bernard Mourrain Resultant-Based Methods for Plane Curves Intersection Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Carlo Cattani , Evgenii A. Grebenikov , Alexander N. Prokopenya Symbolic Calculations in Studying the Stability of Dynamically Symmetric Satellite Motion. [Citation Graph (0, 0)][DBLP ] Conf ] Dmytro Chibisov , Victor G. Ganzha , Ernst W. Mayr , Evgenii V. Vorozhtsov Generation of Orthogonal Grids on Curvilinear Trimmed Regions in Constant Time. [Citation Graph (0, 0)][DBLP ] Conf ] Dmytro Chibisov , Victor G. Ganzha , Sergey Pankratov , Christoph Zenger Computer Algebra in Nanosciences: Modeling Electronic States in Quantum Dots. [Citation Graph (0, 0)][DBLP ] Conf ] Arthur D. Chtcherba , Deepak Kapur , Manfred Minimair Cayley-Dixon Resultant Matrices of Multi-univariate Composed Polynomials. [Citation Graph (0, 0)][DBLP ] Conf ] Arno Eigenwillig , Lutz Kettner , Werner Krandick , Kurt Mehlhorn , Susanne Schmitt , Nicola Wolpert A Descartes Algorithm for Polynomials with Bit-Stream Coefficients. [Citation Graph (0, 0)][DBLP ] Conf ] Ioannis Z. Emiris , Elias P. Tsigaridas Real Solving of Bivariate Polynomial Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jesús Gago-Vargas , Maria Isabel Hartillo-Hermoso , Jose Maria Ucha-Enríquez Nouvelle Cuisine for the Computation of the Annihilating Ideal of fs .Citation Graph (0, 0)][DBLP ] Conf ] Vladimir P. Gerdt , Yuri A. Blinkov Janet-Like Monomial Division. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir P. Gerdt , Yuri A. Blinkov Janet-Like Gröbner Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Domingo Gomez-Perez , Jaime Gutierrez , Álvar Ibeas Circulant Digraphs and Monomial Ideals. [Citation Graph (0, 0)][DBLP ] Conf ] Rocío González-Díaz , Belén Medrano , Pedro Real , Javier Sánchez-Peláez Algebraic Topological Analysis of Time-Sequence of Digital Images. [Citation Graph (0, 0)][DBLP ] Conf ] Laureano González-Vega , Carlo Traverso , Alberto Zanoni Hilbert Stratification and Parametric Gröbner Bases. [Citation Graph (0, 0)][DBLP ] Conf ] E. A. Grebenicov , D. Kozak-Skoworodkin , M. Jakubiak Investigation of the Stability Problem for the Critical Cases of the Newtonian Many-Body Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Gusev , Vladimir P. Gerdt , Michail 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. [Citation Graph (0, 0)][DBLP ] Conf ] Valentin Irtegov , Tatyana Titorenko On Some Results of Investigation of Kirchhoff Equations in Case of a Rigid Body Motion in Fluid. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir V. Kornyak On Compatibility of Discrete Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Christos Koukouvinos , E. Lappas Construction of Two Level Orthogonal Arrays Via Solutions of Linear Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Christos Kravvaritis , M. Mitrouli , Jennifer Seberry Counting Techniques Specifying the Existence of Submatrices in Weighing Matrices. [Citation Graph (0, 0)][DBLP ] Conf ] Shinya Miyajima , Takeshi Ogita , Shin'ichi Oishi Fast Verification for Respective Eigenvalues of Symmetric Matrix. [Citation Graph (0, 0)][DBLP ] Conf ] Kosaku Nagasaka Towards More Accurate Separation Bounds of Empirical Polynomials II. [Citation Graph (0, 0)][DBLP ] Conf ] David G. Richardson , Werner Krandick Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library. [Citation Graph (0, 0)][DBLP ] Conf ] Eugenio Roanes-Lozano , R. García , Eugenio Roanes-Macías , A. Aparicio , Luis M. Laita Meta-Petro : An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies.Citation Graph (0, 0)][DBLP ] Conf ] Susanne Schmitt The Diamond Operator - Implementation of Exact Real Algebraic Numbers. [Citation Graph (0, 0)][DBLP ] Conf ] Leonid Semin , Vasily Shapeev Constructing the Numerical Method for Navier - Stokes Equations Using Computer Algebra System. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Shermenev Nonlinear Waves in a Rod. [Citation Graph (0, 0)][DBLP ] Conf ] Liu Shu , Andreas Weber 0004 A Symbolic-Numeric Method for Solving Boundary Value Problems of Kirchhoff Rods. [Citation Graph (0, 0)][DBLP ] Conf ] Sergey Slavyanov , Vladimir Papshev Differential and Difference Equations for Products of Classical Orthogonal Polynomials. [Citation Graph (0, 0)][DBLP ] Conf ] Akhmadjon Soleev Algorithm of Local Resolution of Singularities of a Space Curve. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Sturm Quantifier Elimination for Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Akira Suzuki Computation of Full Comprehensive Gröbner Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Akira Terui Recursive Polynomial Remainder Sequence and the Nested Subresultants. [Citation Graph (0, 0)][DBLP ] Conf ] S. Yu. Vernov Interdependence Between the Laurent-Series and Elliptic Solutions of Nonintegrable Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Volker Weispfenning Solving Linear Differential Problems with Parameters. [Citation Graph (0, 0)][DBLP ] Conf ] Serguey Zemskov Approximate Solution of the Dirichlet Problem for Elliptic PDE and Its Error Estimate. [Citation Graph (0, 0)][DBLP ] Conf ] 