sign in · help · news · about ·

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

(3)

<< < 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)
Addressing Formally-Flawed Mathematical Formulas in Tutorial Dialogs Error Analysis for Supporting Informed Reactions
Helmut Horacek, and Magdalena Wolska (2008)
to mathematics tutoring by marvinschiller on Mar 12, 2009, 1:25 PM
BibTeX (0)

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

a gripper