49 citations · 185 across the 47 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
math.HO2013
Mathematics discovered, invented, and inherited
Alexandre Borovik
The classical platonist/formalist dilemma in philosophy of mathematics can be expressed in lay terms as a deceptively naive question: is new mathematics discovered or invented? Usi…
math.GR2013★ 8 cited
Fifty shades of black
Alexandre Borovik, Şükrü Yalçınkaya
The paper proposes a new and systematic approach to the so-called black box group methods in computational group theory. As the starting point of our programme, we construct Froben…
math.GR2013★ 6 cited
Steinberg presentations of black box classical groups in small characteristics
Alexandre Borovik, Sukru Yalcinkaya
The main component of (constructive) recognition algorithms for black box groups of Lie type in computational group theory is the construction of unipotent elements. In the existin…