Mathematics in Computer Science

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски

Volume 10; Issue 4

Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version)

A Survey on Retrieval of Mathematical Knowledge

Semantic Spaces

On the Connection Between Ritt Characteristic Sets and Buchberger–Gröbner Bases