Combining Logical and Algebraic Techniques for Natural Style Proving in Elementary Analysis

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	2310-2316
Number of pages	7
Journal	Mathematics and Computers in Simulation
Volume	79
Issue number	8
DOIs	https://doi.org/10.1016/j.matcom.2008.11.002
Publication status	Published - Apr 2009

Fields of science

@article{031f08f57c974cb099e7aadabf7c278d,

title = "Combining Logical and Algebraic Techniques for Natural Style Proving in Elementary Analysis",

author = "R. Vajda and Tudor Jebelean and Bruno Buchberger",

year = "2009",

month = apr,

doi = "10.1016/j.matcom.2008.11.002",

language = "English",

volume = "79",

pages = "2310--2316",

journal = "Mathematics and Computers in Simulation",

issn = "0378-4754",

publisher = "Elsevier Verlag",

number = "8",

}

TY - JOUR

T1 - Combining Logical and Algebraic Techniques for Natural Style Proving in Elementary Analysis

AU - Vajda, R.

AU - Jebelean, Tudor

AU - Buchberger, Bruno

PY - 2009/4

Y1 - 2009/4

UR - https://www.scopus.com/pages/publications/63449089597

U2 - 10.1016/j.matcom.2008.11.002

DO - 10.1016/j.matcom.2008.11.002

M3 - Article

SN - 0378-4754

VL - 79

SP - 2310

EP - 2316

JO - Mathematics and Computers in Simulation

JF - Mathematics and Computers in Simulation

IS - 8

ER -