PKK Library catalog › Results of search for 'se,phr:"Texts and Monographs in Symbolic Computation"'

	1.	Mechanical theorem proving in geometries : basic principles by Wu, Wen-tsun \| Jin, Xiaofan, tr. Wang, Dongming, tr. Material type: Book; Format: print ; Literary form: not fiction Description: xiv, 288p.Publisher: New York Springer-Verlag 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 516.0015113 W95m] (1). Place hold Add to cart (remove)
	2.	Numerical and symbolic scientific computing : progress and prospects by Langer, Ulrich [ed.] \| Paule, Peter [ed.]. Material type: Book; Format: print ; Literary form: not fiction Description: viii, 358p.Publisher: New York Springer 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.0151 N917] (1). Place hold Add to cart (remove)
	3.	Algorithms in Invariant Theory : [electronic resource] / by Sturmfels, Bernd [author.] \| SpringerLink (Online service). Edition: Second edition.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: VII, 197 p. online resource.Publisher: Vienna : Springer Vienna, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)

PKK Library