A’calculemus-approach’ to high-school math?

Walther Neuper

A’calculemus-approach’ to high-school math?

Walther Neuper

Institute of Software Technology (7160)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Calculemus - Symposium on the Integration of Symbolic Computation Systems and Mechanized Reasoning
Publisher	.
Pages	?-?
Publication status	Published - 2001
Event	Calculemus - Symposium on the Integration of Symbolic Computation Systems and Mechanized Reasoning - Siena, Italy Duration: 21 Jun 2001 → 22 Jun 2001

Conference

Conference	Calculemus - Symposium on the Integration of Symbolic Computation Systems and Mechanized Reasoning
Country/Territory	Italy
City	Siena
Period	21/06/01 → 22/06/01

ISAC, a transparent system for applied mathematics
Wotawa, F. & Neuper, W.
1/10/97 → 31/12/12
Project: Research project

Cite this

@inproceedings{2df76c1cb834413c8c893bd9eb774789,

title = "A{\textquoteright}calculemus-approach{\textquoteright} to high-school math?",

author = "Walther Neuper",

year = "2001",

language = "English",

pages = "?--?",

booktitle = "Calculemus - Symposium on the Integration of Symbolic Computation Systems and Mechanized Reasoning",

publisher = ".",

note = "Calculemus - Symposium on the Integration of Symbolic Computation Systems and Mechanized Reasoning ; Conference date: 21-06-2001 Through 22-06-2001",