BibSonomy :: user :: marvinschiller ::

tag user group author concept BibTeX key search:all search:marvinschiller

The blue social bookmark and publication sharing system.

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(5)

<< < 1 > >>

Towards a Natural Representation of Mathematics in Proof Assistants
Fulya Horozal Saarland University, Saarbrücken, Germany, (2007)
to assistant comparison formalized mathematics proof by marvinschiller on Feb 14, 2010, 5:27 PM
BibTeX (0)
Approaching Proof in a Community of Mathematical Practice
Kirsti Hemmi Department of Mathematics, Stockholm University, (2006)
to communities cop mathematics practice proof by marvinschiller on Dec 17, 2009, 1:49 PM
URL | BibTeX (0)
Granularity-Adaptive Proof Presentation
Marvin Schiller, and Christoph Benzmüller Artificial Intelligence in Education -- Building Learning Systems tat Care: From Knowledge Representation to Affective Modelling, 200, page 599--601. Amsterdam, IOS Press, (2009)
to adaptive granularity presentation proof reasoning by marvinschiller and 1 other user on Aug 25, 2009, 10:21 PM
BibTeX (0)
Presenting Proofs with Adapted Granularity
Marvin Schiller, and Christoph Benzmüller KI 2009: Advances in Artificial Intelligence, 5803, page 289-279. Berlin Heidelberg, Springer Verlag, (2009)
to granularity presentation proof by marvinschiller on Aug 25, 2009, 7:52 PM
BibTeX (0)
Advanced Geometry Tutor: An intelligent tutor that teaches proof-writing with construction
Noboru Matsuda, and Kurt VanLehn Proceedings of The 12th International Conference on Artificial Intelligence in Education, page 443 -- 450. Amsterdam, IOS Press, (2005)
to ITS geometry imported proof tutoring by marvinschiller and 1 other user on Dec 29, 2008, 11:08 PM
BibTeX (0)

<< < 1 > >>publications per page: 5 10 20 50 100