Conferences in DBLP
Power series and linear difference equations. [Citation Graph (, )][DBLP ] Digital atlases and difference forms. [Citation Graph (, )][DBLP ] Can we create a viable free open source alternative to magma, maple, mathematica and matlab? [Citation Graph (, )][DBLP ] Towards a computer algebraic algorithm for flat output determination. [Citation Graph (, )][DBLP ] Regular systems of linear functional equations and applications. [Citation Graph (, )][DBLP ] Products of ordinary differential operators by evaluation and interpolation. [Citation Graph (, )][DBLP ] Implicitization and parametrization of quadratic surfaces with one simple base point. [Citation Graph (, )][DBLP ] Solving differential equations in terms of bessel functions. [Citation Graph (, )][DBLP ] On the computation of the topology of a non-reduced implicit space curve. [Citation Graph (, )][DBLP ] Gröbner-free normal forms for boolean polynomials. [Citation Graph (, )][DBLP ] Q-adic transform revisited. [Citation Graph (, )][DBLP ] Computing the global optimum of a multivariate polynomial over the reals. [Citation Graph (, )][DBLP ] Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalities. [Citation Graph (, )][DBLP ] Complete subdivision algorithms, II: isotopic meshing of singular algebraic curves. [Citation Graph (, )][DBLP ] A pommaret division algorithm for computing Grobner bases in boolean rings. [Citation Graph (, )][DBLP ] On lacunary polynomial perfect powers. [Citation Graph (, )][DBLP ] Plane geometry and convexity of polynomial stability regions. [Citation Graph (, )][DBLP ] An algorithm for finding symmetric Grobner bases in infinite dimensional rings. [Citation Graph (, )][DBLP ] Moment matrices, trace matrices and the radical of ideals. [Citation Graph (, )][DBLP ] Integration of algebraic functions: a simple heuristic for finding the logarithmic part. [Citation Graph (, )][DBLP ] Expressing a fraction of two determinants as a determinant. [Citation Graph (, )][DBLP ] Symbolic optimization of algebraic functions. [Citation Graph (, )][DBLP ] Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars. [Citation Graph (, )][DBLP ] Numerical primary decomposition. [Citation Graph (, )][DBLP ] Computational D-module theory with singular, comparison with other systems and two new algorithms. [Citation Graph (, )][DBLP ] Complex brackets, balanced complex differences, and applications in symbolic geometric computing. [Citation Graph (, )][DBLP ] The complete root classification of a parametric polynomial on an interval. [Citation Graph (, )][DBLP ] Hilbert's nullstellensatz and an algorithm for proving combinatorial infeasibility. [Citation Graph (, )][DBLP ] When does (T ) equal sat(T )? [Citation Graph (, )][DBLP ] Deciding polynomial-exponential problems. [Citation Graph (, )][DBLP ] On generalized ln-surfaces in 4-space. [Citation Graph (, )][DBLP ] A rational decomposition-lemma for systems of linear differential-algebraic equations. [Citation Graph (, )][DBLP ] Good reduction of puiseux series and complexity of the Newton-Puiseux algorithm over finite fields. [Citation Graph (, )][DBLP ] Multi-modular algorithm for computing the splitting field of a polynomial. [Citation Graph (, )][DBLP ] Linearizablity of 1: -3 resonant system with homogeneous cubic nonlinearities. [Citation Graph (, )][DBLP ] Integro-differential polynomials and operators. [Citation Graph (, )][DBLP ] Power series composition and change of basis. [Citation Graph (, )][DBLP ] Loewy decomposition of third-order linear aPDE's in the plane. [Citation Graph (, )][DBLP ] The nearest polynomial with a zero in a given domain from a geometrical viewpoint. [Citation Graph (, )][DBLP ] Moving frames for laplace invariants. [Citation Graph (, )][DBLP ] Real root isolation for exp-log functions. [Citation Graph (, )][DBLP ] Gröbner bases for public key cryptography. [Citation Graph (, )][DBLP ] Computing the multiplicity structure from geometric involutive form. [Citation Graph (, )][DBLP ] Exact algorithms and software in optimization and polyhedral computation. [Citation Graph (, )][DBLP ] Algorithmic invariant theory. [Citation Graph (, )][DBLP ] Algebraic algorithms and coding theory. [Citation Graph (, )][DBLP ]