CraciunH07'

BibTeX

@inproceedings{DBLP:conf/synasc/CraciunH07,
  author    = {Adrian Craciun and
               Madalina Hodorog},
  title     = {Decompositions of Natural Numbers: From a Case Study in
               Mathematical Theory Exploration},
  booktitle = {SYNASC},
  year      = {2007},
  pages     = {41-47},
  ee        = {http://dx.doi.org/10.1109/SYNASC.2007.55},
  crossref  = {DBLP:conf/synasc/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/synasc/2007,
  editor    = {Viorel Negru and
               Tudor Jebelean and
               Dana Petcu and
               Daniela Zaharie},
  title     = {Proceedings of the Ninth International Symposium on Symbolic
               and Numeric Algorithms for Scientific Computing, SYNASC
               2007, Timisoara, Romania, September 26-29, 2007},
  booktitle = {SYNASC},
  publisher = {IEEE Computer Society},
  year      = {2007},
  isbn      = {978-0-7695-3078-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}