The implementation of the Johnson–Kendall–Roberts formalism on the basis of numerically simulated contact problems | Synapse