@misc{indiciaeba94de912b0a,
  title = {Formal Proof of SCHUR Conjugate Function},
  author = {Franck Butelle and Florent Hivert and Micaela Mayero and Frédéric Toumazet},
  year = {2010},
  url = {https://arxiv.org/abs/1004.5034},
  note = {Source identifier: 1004.5034}
}