R. Vajda, Tudor Jebelean, Bruno Buchberger,
"Combining Logical and Algebraic Techniques for Natural Style Proving in Elementary Analysis"
, in Mathematics and Computers in Simulation, Vol. 79, Nummer 8, Elsevier, Seite(n) 2310--2316, 4-2009, ISSN: 0378-4754
Original Titel:
Combining Logical and Algebraic Techniques for Natural Style Proving in Elementary Analysis
Sprache des Titels:
Englisch
Journal:
Mathematics and Computers in Simulation
Veröffentlicher:
Elsevier
Volume:
79
Number:
8
Seitenreferenz:
2310--2316
Erscheinungsmonat:
4
Erscheinungsjahr:
2009
ISSN:
0378-4754
Anzahl der Seiten:
11
Notiz zur Publikation:
Special Issue on Nonstandard Applications of Computer Algebra
Forschungs-