Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Ion, P.D.F."'
Autor:
Tankink, C., Geuvers, J.H., McKinna, J., Wiedijk, F., Autexier, S., Calmet, J., Delahaye, D., Ion, P.D.F., Rideau, L., Rioboo, R., Sexton, A.P.
Publikováno v:
Autexier, S. (ed.), Intelligent Computer Mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings, pp. 440-454
Lecture Notes in Computer Science ISBN: 9783642141270
Lecture Notes in Computer Science ; 6167, 440-454. Berlin : Springer
STARTPAGE=440;ENDPAGE=454;TITLE=Lecture Notes in Computer Science ; 6167
Intelligent Computer Mathematics (10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings), 440-454
STARTPAGE=440;ENDPAGE=454;TITLE=Intelligent Computer Mathematics (10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings)
Lecture Notes in Computer Science ISBN: 9783642141270
Lecture Notes in Computer Science ; 6167, 440-454. Berlin : Springer
STARTPAGE=440;ENDPAGE=454;TITLE=Lecture Notes in Computer Science ; 6167
Intelligent Computer Mathematics (10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings), 440-454
STARTPAGE=440;ENDPAGE=454;TITLE=Intelligent Computer Mathematics (10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings)
To improve on existing models of interaction with a proof assistant (PA), in particular for storage and replay of proofs, we introduce three related concepts, those of: a proof movie, consisting of frames which record both user input and the correspo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a16c2ff03a0a0f16737239e991283961
https://doi.org/10.1007/978-3-642-14128-7_37
https://doi.org/10.1007/978-3-642-14128-7_37
Autor:
Urban, J., Alama, J., Rudnicki, P., Geuvers, J.H., Autexier, S., Calmet, J., Delahaye, D., Ion, P.D.F., Rideau, L., Rioboo, R., Sexton, A.P.
Publikováno v:
Intelligent Computer Mathematics (10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings), 455-469
STARTPAGE=455;ENDPAGE=469;TITLE=Intelligent Computer Mathematics (10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings)
Lecture Notes in Computer Science ; 6167, 455-469. Berlin : Springer
STARTPAGE=455;ENDPAGE=469;TITLE=Lecture Notes in Computer Science ; 6167
Autexier, S. (ed.), Intelligent computer mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010, pp. 455-469
Lecture Notes in Computer Science ISBN: 9783642141270
STARTPAGE=455;ENDPAGE=469;TITLE=Intelligent Computer Mathematics (10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings)
Lecture Notes in Computer Science ; 6167, 455-469. Berlin : Springer
STARTPAGE=455;ENDPAGE=469;TITLE=Lecture Notes in Computer Science ; 6167
Autexier, S. (ed.), Intelligent computer mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010, pp. 455-469
Lecture Notes in Computer Science ISBN: 9783642141270
Formal mathematics has so far not taken full advantage of ideas from collaborative tools such as wikis and distributed version control systems (DVCS). We argue that the field could profit from such tools, serving both newcomers and experts alike. We
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c88ae7889614c5f30670ded5d90d3982
https://research.tue.nl/nl/publications/4c48aea0-fc8d-44f0-98af-5e550a96f896
https://research.tue.nl/nl/publications/4c48aea0-fc8d-44f0-98af-5e550a96f896
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.