Barcau, Mugurel; Paşol, Vicenţiu Computing primitive idempotents in finite commutative rings and applications. (English) Zbl 07799841 J. Symb. Comput. 123, Article ID 102294, 28 p. (2024). MSC: 94A60 81P94 68Q04 81P68 11T71 11Y16 PDFBibTeX XMLCite \textit{M. Barcau} and \textit{V. Paşol}, J. Symb. Comput. 123, Article ID 102294, 28 p. (2024; Zbl 07799841) Full Text: DOI
Kawano, Yasuhito; Sekigawa, Hiroshi Quantum Fourier transform over symmetric groups – improved result. (English) Zbl 1332.81032 J. Symb. Comput. 75, 219-243 (2016). MSC: 81P68 65T50 20B30 68Q12 PDFBibTeX XMLCite \textit{Y. Kawano} and \textit{H. Sekigawa}, J. Symb. Comput. 75, 219--243 (2016; Zbl 1332.81032) Full Text: DOI
Kubota, Takahiro; Kakutani, Yoshihiko; Kato, Go; Kawano, Yasuhito; Sakurada, Hideki Semi-automated verification of security proofs of quantum cryptographic protocols. (English) Zbl 1336.68164 J. Symb. Comput. 73, 192-220 (2016). MSC: 68Q60 68Q85 68T15 81P94 PDFBibTeX XMLCite \textit{T. Kubota} et al., J. Symb. Comput. 73, 192--220 (2016; Zbl 1336.68164) Full Text: DOI
Soeken, Mathias; Tague, Laura; Dueck, Gerhard W.; Drechsler, Rolf Ancilla-free synthesis of large reversible functions using binary decision diagrams. (English) Zbl 1336.68310 J. Symb. Comput. 73, 1-26 (2016). MSC: 68W30 68P05 68P30 94C10 PDFBibTeX XMLCite \textit{M. Soeken} et al., J. Symb. Comput. 73, 1--26 (2016; Zbl 1336.68310) Full Text: DOI arXiv
Fontein, Felix; Wocjan, Pawel On the probability of generating a lattice. (English) Zbl 1287.11085 J. Symb. Comput. 64, 3-15 (2014). Reviewer: Matthias Beck (San Francisco) MSC: 11H06 52C07 PDFBibTeX XMLCite \textit{F. Fontein} and \textit{P. Wocjan}, J. Symb. Comput. 64, 3--15 (2014; Zbl 1287.11085) Full Text: DOI arXiv