Vol-1888⫷ Vol-1889 ⫸Vol-1890
urn:nbn:de:0074-1889-0


Vol-1889/paper2⫷Vol-1889/paper3⫸Vol-1889/paper4

LibPoly: A Library for Reasoning about Polynomials