The following pages link to (Q3745271):
Displaying 9 items.
- Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\) (Q631080) (← links)
- A polynomial-time algorithm for finding zero-sums. (Q1043611) (← links)
- A modification of the LLL reduction algorithm (Q1093661) (← links)
- A hierarchy of polynomial time lattice basis reduction algorithms (Q1101500) (← links)
- On the limits of computations with the floor function (Q1112603) (← links)
- La réduction des réseaux. Autour de l'algorithme de Lenstra, Lenstra, Lovász (Q3033847) (← links)
- Polynomial Time Algorithms for Finding Integer Relations among Real Numbers (Q3033848) (← links)
- On computations with integer division (Q3816971) (← links)
- Numerical results on relations between fundamental constants using a new algorithm (Q4205483) (← links)
