Zobrazeno 1 - 10 of 101 pro vyhledávání: '"Autexier, S."'
2
Akademický článek
Interactive Theorem Proving with Tasks
Autor: Hübner, M., Autexier, S., Benzmüller, C., Meier, A.
Publikováno v: In Electronic Notes in Theoretical Computer Science 3 November 2004 103:161-181
Zobrazit plný text záznamu
3
Proviola: a tool for proof re-animation
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)
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
Zobrazit plný text záznamu
4
CrowdHEALTH: Holistic Health Records and Big Data Analytics for Health Policy Making and Personalized Health
Autor: Kyriazis, D., Autexier, S., Brondino, I., Boniface, M., Donat, L., Engen, V., Fernandez, R., Jimenez-Peris, R., Jordan, B., Jurak, G., Kiourtis, A., Kosmidis, T., Lustrek, M., Maglogiannis, I., Mantas, J., Martinez, A., Mavrogiorgou, A., Menychtas, A., Montandon, L., Nechifor, Cs, Sokratis Nifakos, Papageorgiou, A., Patino-Martinez, M., Perez, M., Plagianakos, V., Stanimirovic, D., Starc, G., Tomson, T., Torelli, F., Traver-Salcedo, V., Vassilacopoulos, G., Wajid, U.
Publikováno v: Karolinska Institutet
Studies in health technology and informatics
r-IIS La Fe. Repositorio Institucional de Producción Científica del Instituto de Investigación Sanitaria La Fe
instname
Today's rich digital information environment is characterized by the multitude of data sources providing information that has not yet reached its full potential in eHealth. The aim of the presented approach, namely CrowdHEALTH, is to introduce a new
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pmid_dedup__::2187e7e6acb5ab77c703e8925337ea59
https://eprints.bournemouth.ac.uk/33671/1/Paper_ICIMTH2017_Revised.pdf
Zobrazit plný text záznamu
5
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
6
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.
7
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.
8
Automated reasoning and presentation support for formalizing mathematics in Mizar
Autor: Urban, J., Sutcliffe, G., Autexier, S.
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. 132-146
Lecture Notes in Computer Science ISBN: 9783642141270
Lecture Notes in Computer Science ; 6167, 132-146. Berlin : Springer
STARTPAGE=132;ENDPAGE=146;TITLE=Lecture Notes in Computer Science ; 6167
This paper presents a combination of several automated reasoning and proof presentation tools with the Mizar system for formalization of mathematics. The combination forms an online service called MizAR, similar to the SystemOnTPTP service for first-
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fdbf22721e9fa91abd46500b8585dfc0
https://hdl.handle.net/2066/83340
Zobrazit plný text záznamu
9
A Wiki for Mizar: motivation, considerations, and initial prototype
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
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
Zobrazit plný text záznamu
10
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.

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje