RISC JKU
  • @article{RISC3320,
    author = {R. Vajda and T. Jebelean and B. Buchberger},
    title = {{Combining Logical and Algebraic Techniques for Natural Style Proving in Elementary Analysis}},
    language = {english},
    journal = {Mathematics and Computers in Simulation},
    volume = {79},
    number = {8},
    pages = {2310--2316},
    publisher = {Elsevier},
    isbn_issn = {ISSN: 0378-4754},
    year = {2009},
    month = {April},
    annote = {2009-04-00-A},
    note = {Special Issue on Nonstandard Applications of Computer Algebra},
    refereed = {yes},
    length = {11},
    url = {http://www.sciencedirect.com}
    }