%0 Generic %1 noauthororeditor2015vulcan %A Marcus, Ryan %D 2015 %K javascript math proof webdevelopment %T Vulcan: A JavaScript Automated Proof System %U http://rmarcus.info/blog/2015/09/02/vulcan.html

@electronic{noauthororeditor2015vulcan, added-at = {2015-09-07T12:43:55.000+0200}, author = {Marcus, Ryan}, biburl = {https://www.bibsonomy.org/bibtex/22d3cbf0c980c4aed8132328a6ce466a1/maxirichter}, interhash = {b0d9e94600c80479fa34bc9f58321fa8}, intrahash = {2d3cbf0c980c4aed8132328a6ce466a1}, keywords = {javascript math proof webdevelopment}, timestamp = {2015-09-07T12:43:55.000+0200}, title = {Vulcan: A JavaScript Automated Proof System}, url = {http://rmarcus.info/blog/2015/09/02/vulcan.html}, year = 2015 }