Verification of Identities

DOI10.1137/S0097539797325387zbMath0947.68074OpenAlexW2015038316WikidataQ107209440 ScholiaQ107209440MaRDI QIDQ4943861

Sridhar Rajagopalan, Leonard J. Schulman

Publication date: 19 March 2000

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/s0097539797325387

zbMATH Keywords

randomized algorithmscomputer aided verification

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Loops, quasigroups (20N05) Sets with a single binary operation (groupoids) (20N02)

Related Items (6)

Property testing for cyclic groups and beyond ⋮ Absolute reconstruction for sums of powers of linear forms: degree 3 and beyond ⋮ Computational group theory. Abstracts from the workshop held August 15--21, 2021 (hybrid meeting) ⋮ Improved quantum query algorithms for triangle detection and associativity testing ⋮ Nearly linear time isomorphism algorithms for some nonabelian group classes ⋮ Unnamed Item

This page was built for publication: Verification of Identities