Assertion: algorithm | /r/HasProperty | developed by arjen lenstra
Facets:
value: in 1982
type: TEMPORAL
Source sentences:
text: The first algorithm with complete proofs was the LLL algorithm , developed by Arjen Lenstra, Hendrik Lenstra and László Lovász in 1982.