×

zbMATH — the first resource for mathematics

Found 28 Documents (Results 1–28)

100
MathJax
Proceedings of the 40th international symposium on symbolic and algebraic computation, ISSAC 2015, Bath, UK, July 6–9, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3435-8). 347-354 (2015).
MSC:  68W30 12D10 12Y05 68T20 90C05
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 42nd annual ACM symposium on theory of computing, STOC ’10. Cambridge, MA, USA, June 5–8, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-817-9). 221-230 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Sov. Math. 31, No. 4, 40-46 (1987); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 1987, No. 4(299), 31-36 (1987).
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification
all top 3
Software