×

Found 81 Documents (Results 1–81)

Axiomatizing Boolean differentiation. (English) Zbl 1515.03225

Drechsler, Rolf (ed.) et al., Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24–25, 2020. Cham: Springer. 83-104 (2021).
PDFBibTeX XMLCite
Full Text: DOI

On applications of associativity of dual compositions in the algebra of Boolean matrices. (English. Russian original) Zbl 1280.15009

J. Math. Sci., New York 191, No. 5, 718-725 (2013); translation from Fundam. Prikl. Mat. 17(2011/12), No. 4, 181-192 (2012).
PDFBibTeX XMLCite
Full Text: DOI

A Mathematica package for simulation of quantum computation. (English) Zbl 1202.81022

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 11th international workshop, CASC 2009, Kobe, Japan, September 13–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04102-0/pbk). Lecture Notes in Computer Science 5743, 106-117 (2009).
MSC:  81P68 81-08 68W30
PDFBibTeX XMLCite
Full Text: DOI

On the computation of elimination ideals of Boolean polynomial rings. (English) Zbl 1166.13303

Kapur, Deepak (ed.), Computer mathematics. 8th Asian symposium, ASCM 2007, Singapore, December 15–17, 2007. Revised and invited papers. Berlin: Springer (ISBN 978-3-540-87826-1/pbk). Lecture Notes in Computer Science 5081. Lecture Notes in Artificial Intelligence, 334-348 (2008).
MSC:  13P10 68W30
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software