Top Questions

1. Efficient distance calculation between N points and a reference in numpy/scipy
   26 votes

   6 answers
2. how to figure out what "=" means in different types in coq
   2 votes

   1 answers