How to use cylindrical algebraic decomposition
From MaRDI portal
Publication:624830
zbMath1246.68271MaRDI QIDQ624830
Publication date: 9 February 2011
Published in: Séminaire Lotharingien de Combinatoire (Search for Journal in Brave)
Full work available at URL: http://www.emis.de/journals/SLC/wpapers/s65kauers.html
Related Items (10)
Smoothing analysis of distributive red-black Jacobi relaxation for solving 2D Stokes flow by multigrid method ⋮ On the robustness and optimality of algebraic multilevel methods for reaction-diffusion type problems ⋮ A unimodal sequence with mode at a quarter length ⋮ A Unified Approach to Unimodality of Gaussian Polynomials ⋮ Stanley's Lemma and Multiple Theta Functions ⋮ Polynomial bivariate copulas of degree five: characterization and some particular inequalities ⋮ A local Fourier convergence analysis of a multigrid method using symbolic computation ⋮ The impact on the properties of the EFGM copulas when extending this family ⋮ Combinatorial Representation of Parameter Space for Switching Networks ⋮ A hypergeometric inequality
Uses Software
This page was built for publication: How to use cylindrical algebraic decomposition