%0 Journal Article %1 journals/jsc/HerasPRS11 %A Heras, Jónathan %A Pascual, Vico %A Rubio, Julio %A Sergeraert, Francis %D 2011 %J J. Symb. Comput. %K dblp %N 6 %P 685-698 %T fKenzo: A user interface for computations in Algebraic Topology. %U http://dblp.uni-trier.de/db/journals/jsc/jsc46.html#HerasPRS11 %V 46

@article{journals/jsc/HerasPRS11, added-at = {2021-10-14T00:00:00.000+0200}, author = {Heras, Jónathan and Pascual, Vico and Rubio, Julio and Sergeraert, Francis}, biburl = {https://www.bibsonomy.org/bibtex/27caa7e005541813fceb813d877da653c/dblp}, ee = {https://doi.org/10.1016/j.jsc.2011.01.005}, interhash = {188db725d4ca49ff9284095c3c8ba1c1}, intrahash = {7caa7e005541813fceb813d877da653c}, journal = {J. Symb. Comput.}, keywords = {dblp}, number = 6, pages = {685-698}, timestamp = {2024-04-09T05:30:38.000+0200}, title = {fKenzo: A user interface for computations in Algebraic Topology.}, url = {http://dblp.uni-trier.de/db/journals/jsc/jsc46.html#HerasPRS11}, volume = 46, year = 2011 }