×

Found 1,257 Documents (Results 1–100)

100
MathJax

Investigating the existence of Costas Latin squares via satisfiability testing. (English) Zbl 07495579

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 270-279 (2021).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI

From the Earth to the Moon: two stories of women and mathematics. (English) Zbl 1482.01037

Magnaghi-Delfino, Paola (ed.) et al., Faces of geometry. II edition. Based on the international conference, hosted online by Politecnico di Milano, Milan, Italy, October 27–28, 2020. Cham: Springer. Lect. Notes Netw. Syst. 172, 15-29 (2021).
MSC:  01A80 01A60 68-03
PDF BibTeX XML Cite
Full Text: DOI

A practical approach to testing random number generators in computer algebra systems. (English. Russian original) Zbl 1476.68310

Comput. Math. Math. Phys. 60, No. 1, 65-73 (2020); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 1, 70-79 (2020).
MSC:  68W30 65C10
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software