View of Computer Algebra Data from Coq

Vladimir Komendantsky; Alexander Konovalov; Steve Linton

View of Computer Algebra Data from Coq

Vladimir Komendantsky, Alexander Konovalov, Steve Linton

Research output: Contribution to conference › Paper › peer-review

Original language	English
Pages	74-89
Number of pages	16
Publication status	Published - 2011
Event	18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011 - Bertinoro, Italy Duration: 18 Jul 2011 → 23 Jul 2011

Conference

Conference	18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011
Country/Territory	Italy
City	Bertinoro
Period	18/07/11 → 23/07/11

Cite this

@conference{422bd02e613947038fce78aad4b34a30,

title = "View of Computer Algebra Data from Coq",

author = "Vladimir Komendantsky and Alexander Konovalov and Steve Linton",

note = "10.1007/978-3-642-22673-1_6; 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011 ; Conference date: 18-07-2011 Through 23-07-2011",

year = "2011",

language = "English",

pages = "74--89",

}

TY - CONF

T1 - View of Computer Algebra Data from Coq

AU - Komendantsky, Vladimir

AU - Konovalov, Alexander

AU - Linton, Steve

N1 - 10.1007/978-3-642-22673-1_6

PY - 2011

Y1 - 2011

UR - http://dx.doi.org/10.1007/978-3-642-22673-1_6

M3 - Paper

SP - 74

EP - 89

T2 - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011

Y2 - 18 July 2011 through 23 July 2011

ER -

View of Computer Algebra Data from Coq

Conference

Other files and links

1 Symbolic Compulation Infra' 026133: Symbolic computation infrastructure for Europe

Cite this

View of Computer Algebra Data from Coq

Conference

Other files and links

Projects

1 Symbolic Compulation Infra' 026133: Symbolic computation infrastructure for Europe

Cite this