%0 Thesis %1 horozal2007natural %A Horozal, Fulya %D 2007 %K assistant comparison formalized mathematics proof %T Towards a Natural Representation of Mathematics in Proof Assistants

@mastersthesis{horozal2007natural, added-at = {2010-02-14T17:27:24.000+0100}, author = {Horozal, Fulya}, biburl = {https://www.bibsonomy.org/bibtex/248bc1a3d94651f45f8add660da51ee1c/marvinschiller}, interhash = {e47a090d1173f34504c7261cd7bc17f9}, intrahash = {48bc1a3d94651f45f8add660da51ee1c}, keywords = {assistant comparison formalized mathematics proof}, school = {Saarland University, Saarbr\"{u}cken, Germany}, timestamp = {2010-02-14T17:27:24.000+0100}, title = {Towards a Natural Representation of Mathematics in Proof Assistants }, year = 2007 }