Is there a way to control the numbering of different types of theorems, when using the llncs
style?
With the envcountsame parameter, all theorems/definitions/claims use the same counter and get sequential numbering. What I'd like to have is that Theorems / Propositions / Lemmas will use one counter, and Definitions will use a different counter (also Remarks should use a new counter, maybe the one of Lemmas maybe totally fresh one).
Suggestions?