%0 Conference Paper %1 LRK:FormareProject13 %A Lange\selfedit, Christoph %A Rowat, Colin %A Kerber, Manfred %B Intelligent Computer Mathematics %D 2013 %E Carette, Jacques %E Aspinall, David %E Lange, Christoph %E Sojka, Petr %E Windsteiger, Wolfgang %I Springer %K conference,book %N 7961 %P 330--334 %R 10.1007/978-3-642-39320-4 %T The ForMaRE Project -- Formal Mathematical Reasoning in Economics %@ 978-3-642-39319-8

@inproceedings{LRK:FormareProject13, acceptancerate = {54}, acceptanceratecomment = {MKM: 7/18, Calculemus: 5/12, DML: 6/8, S&P: 12/16}, added-at = {2017-01-27T23:28:47.000+0100}, author = {Lange\selfedit, Christoph and Rowat, Colin and Kerber, Manfred}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-39320-4}, biburl = {https://www.bibsonomy.org/bibtex/2bcfb430a9cc39a81d7f67f81b6c85811/soeren}, booktitle = {Intelligent Computer Mathematics}, crossref = {CICM13}, doi = {10.1007/978-3-642-39320-4}, editor = {Carette, Jacques and Aspinall, David and Lange, Christoph and Sojka, Petr and Windsteiger, Wolfgang}, eprint = {1303.4194}, eprintclass = {cs.CE}, eprinttype = {arxiv}, eventdate = {2013-07-08/2013-07-12}, eventtitle = {Conferences on Intelligent Computer Mathematics}, file = {http://arxiv.org/pdf/1303.4194}, interhash = {a8eb04a48817208d1a4a8cba9f37b9c9}, intrahash = {bcfb430a9cc39a81d7f67f81b6c85811}, isbn = {978-3-642-39319-8}, keywords = {conference,book}, number = 7961, pages = {330--334}, publisher = {Springer}, pubs = {clange,projects/formare}, series = {Lecture Notes in Computer Science}, speaker = {Christoph Lange}, timestamp = {2017-01-27T23:30:12.000+0100}, title = {The ForMaRE Project -- Formal Mathematical Reasoning in Economics}, venue = {Bath, UK}, year = 2013 }