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

	Linear recurrences with polynomial coefficients and computation of the Cartier-Manin operator on hyperelliptic curves ´ Alin Bostan1 , Pierrick Gaudry2 , Eric Schost3 DocID: 1qMft - View Document
	Project 1: Part 1 Project 1 will be to calculate orthogonal polynomials. It will have several parts. Note: The scheme code in this writeup is available in the file project1.scm, available from the course web page. Warmup DocID: 1q8Ma - View Document
	JMLR: Workshop and Conference Proceedings vol 40:1–14, 2015 Variable Selection is Hard Dean P. Foster DEAN @ FOSTER . NET DocID: 1pEs6 - View Document
	Fast modular composition in any characteristic Kiran S. Kedlaya∗ MIT Christopher Umans† Caltech DocID: 1pqIx - View Document
	A fast algorithm for computing the p-curvature Alin Bostan Xavier Caruso Éric Schost DocID: 1p9lJ - View Document