LibPoly: A Library for Reasoning about Polynomials∗ Dejan Jovanovi´c and Bruno Dutertre SRI International Abstract LibPoly is a C library for computing with polynomials. It provides data structures to represent multiv

First Page		Document Content
Date: 2017-09-02 14:08:49 Algebra Mathematics Polynomials Abstract algebra Polynomial Irreducible polynomial Factorization of polynomials Resultant Algebraic geometry Factorization Polynomial greatest common divisor Permutation polynomial		LibPoly: A Library for Reasoning about Polynomials∗ Dejan Jovanovi´c and Bruno Dutertre SRI International Abstract LibPoly is a C library for computing with polynomials. It provides data structures to represent multiv Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Download Document from Source Website File Size: 464,33 KB Share Document on Facebook

	Abstract This is a survey of results on positivity of vector bundles, inspired by the BrunnMinkowski and Prékopa theorems. Applications to complex analysis, Kähler geometry and algebraic geometry are also discussed. Pr DocID: 1xVyz - View Document
	Grivaux, Julien Infinitesimal deformations of rational surface automorphisms. (English) Zbl Math. Z. 288, No. 3-4, ). The basic problem of deformation theory in algebraic geometry involves wa DocID: 1xV8R - View Document
	Sur les surfaces K3 et les variétés hyperkählériennes 7th Swiss-French workshop in Algebraic Geometry Charmey, Suisse Janvier 2018 Olivier Debarre DocID: 1xTJ3 - View Document
	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–588) BIRATIONAL GEOMETRY OF ALGEBRAIC VARIETIES Caucher Birkar DocID: 1xTtZ - View Document
	ISOPERIMETRIC PROFILE AND RANDOM WALKS ON LOCALLY COMPACT SOLVABLE GROUPS ROMAIN TESSERA Abstract. We study the large-scale geometry of a large class of amenable locally compact groups comprising all solvable algebraic g DocID: 1xTi0 - View Document