Normalization issues in mathematical representations

Manfred Kerber; Volker Sorge; S Autexier; J Campbell; J Rubio; M Suzuki; F Wiedijk

Normalization issues in mathematical representations

Manfred Kerber, Volker Sorge, S Autexier, J Campbell, J Rubio, M Suzuki, F Wiedijk

Computer Science

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Publication status	Published - 1 Jan 2008
Event	Intelligent Computer Mathematics: Joint Proceedings of AISC 2008, Calculemus 2008 and MKM 2008 - Birmingham, United Kingdom Duration: 28 Jul 2008 → 1 Aug 2008

Conference

Conference	Intelligent Computer Mathematics: Joint Proceedings of AISC 2008, Calculemus 2008 and MKM 2008
Country/Territory	United Kingdom
City	Birmingham
Period	28/07/08 → 1/08/08

Cite this

@conference{3c133dbb7a66471ab6c4100fece24c71,

title = "Normalization issues in mathematical representations",

author = "Manfred Kerber and Volker Sorge and S Autexier and J Campbell and J Rubio and M Suzuki and F Wiedijk",

year = "2008",

month = jan,

day = "1",

language = "English",

note = "Intelligent Computer Mathematics: Joint Proceedings of AISC 2008, Calculemus 2008 and MKM 2008 ; Conference date: 28-07-2008 Through 01-08-2008",

}

TY - CONF

T1 - Normalization issues in mathematical representations

AU - Kerber, Manfred

AU - Sorge, Volker

AU - Autexier, S

AU - Campbell, J

AU - Rubio, J

AU - Suzuki, M

AU - Wiedijk, F

PY - 2008/1/1

Y1 - 2008/1/1

M3 - Paper

T2 - Intelligent Computer Mathematics: Joint Proceedings of AISC 2008, Calculemus 2008 and MKM 2008

Y2 - 28 July 2008 through 1 August 2008

ER -