Skip to content

Research at St Andrews

View of Computer Algebra Data from Coq

Research output: Contribution to conferencePaperpeer-review

Standard

View of Computer Algebra Data from Coq. / Komendantsky, Vladimir; Konovalov, Alexander; Linton, Steve.

2011. 74-89 Paper presented at 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy.

Research output: Contribution to conferencePaperpeer-review

Harvard

Komendantsky, V, Konovalov, A & Linton, S 2011, 'View of Computer Algebra Data from Coq', Paper presented at 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, 18/07/11 - 23/07/11 pp. 74-89.

APA

Komendantsky, V., Konovalov, A., & Linton, S. (2011). View of Computer Algebra Data from Coq. 74-89. Paper presented at 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy.

Vancouver

Komendantsky V, Konovalov A, Linton S. View of Computer Algebra Data from Coq. 2011. Paper presented at 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy.

Author

Komendantsky, Vladimir ; Konovalov, Alexander ; Linton, Steve. / View of Computer Algebra Data from Coq. Paper presented at 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy.16 p.

Bibtex - Download

@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",

}

RIS (suitable for import to EndNote) - Download

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 -

Related by author

  1. GAP – Groups, Algorithms, and Programming, Version 4.11.1

    The GAP Group, Behrends, R., Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 2 Mar 2021

    Research output: Non-textual formSoftware

  2. GAP – Groups, Algorithms, and Programming, Version 4.11.0

    The GAP Group, Behrends, R., Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 29 Feb 2020

    Research output: Non-textual formSoftware

  3. GAP – Groups, Algorithms, and Programming, Version 4.10.2

    The GAP Group, Behrends, R., Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 19 Jun 2019

    Research output: Non-textual formSoftware

  4. GAP – Groups, Algorithms, and Programming, Version 4.10.1

    The GAP Group, Behrends, R., Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 23 Feb 2019

    Research output: Non-textual formSoftware

  5. GAP – Groups, Algorithms, and Programming, Version 4.10.0

    The GAP Group, Behrends, R., Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 1 Nov 2018

    Research output: Non-textual formSoftware

ID: 11506130

Top