Combining logical and algebraic techniques for natural style proving in elementary analysis
Robert Vajda, Tudor Jebelean, Bruno BuchbergerVolume:
79
Year:
2009
Language:
english
Pages:
7
DOI:
10.1016/j.matcom.2008.11.002
File:
PDF, 110 KB
english, 2009