126 citations · 136 across the 18 of their papers we have counts for
1 paper · 2 filters
Peteris Daugulis
The problem of advancing coordinatization of mathematics is considered. The need to develop a theory for measuring value and complexity of mathematical implications and proofs is d…