Lifting techniques for triangular decompositions

From MaRDI portal
Publication:5262750

DOI10.1145/1073884.1073901zbMath1360.14146OpenAlexW2150489476MaRDI QIDQ5262750

Marc Moreno Maza, Yuzhen Xie, Wenyuan Wu, Xavier Dahan, Éric Schost

Publication date: 16 July 2015

Published in: Proceedings of the 2005 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.9044




Related Items (21)

A softly optimal Monte Carlo algorithm for solving bivariate polynomial systems over the integersChordality Preserving Incremental Triangular Decomposition and Its ImplementationInversion Modulo Zero-Dimensional Regular ChainsA characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphersp-adic algorithm for bivariate Gröbner basesBit complexity for multi-homogeneous polynomial system solving -- application to polynomial minimizationA signature-based algorithm for computing the nondegenerate locus of a polynomial systemAlgorithms for computing triangular decomposition of polynomial systemsCharacteristic set algorithms for equation solving in finite fieldsOn the efficiency of solving Boolean polynomial systems with the characteristic set methodComplexity of triangular representations of algebraic setsHomotopy techniques for multiplication modulo triangular setsBit-size estimates for triangular sets in positive dimensionRelaxed Hensel lifting of triangular setsOn approximate triangular decompositions in dimension zeroUsage of modular techniques for efficient computation of ideal operationsChange of order for regular chains in positive dimensionThe \texttt{modpn} library: bringing fast polynomial arithmetic into \texttt{Maple}Clustering complex zeros of triangular systems of polynomialsFast arithmetic for triangular sets: from theory to practiceMultiplicity-preserving triangular set decomposition of two polynomials




This page was built for publication: Lifting techniques for triangular decompositions