Former Member

Dr. Florina Piroi

< back

Peer Reviewed Journal Publication
  • B. Buchberger, F. Piroi, et. al. (2006) Theorema: Towards Computer-Aided Mathematical Theory Exploration. Journal of Applied Logic.

Conference Contribution: Publication in Proceedings
  • F. Piroi, A. Winterhof (2006) Quantum period reconstruction of binary sequences., AAECC In Reihe: Lecture Notes Computer Science, Bd. 3857, S. 60-67.
  • Piroi, F.; Kutsia, T. (2005) The Theorema Environment for Interactive Proof Development. In: Sutcliffe, G.; Voronkov, A. (Hrsg.), Logic for Programming, Artificial Intelligence and Reasoning. Proceedings of the 12th International Conference LPAR 05 In Reihe: Lecture Notes in Artificial Intelligence, Bd. 3835; Montego Bay: Springer Verlag, S. 261-275.
  • Piroi, F.; Buchberger, B. (2005) Label Management in Theorema. In: Kohlhase, M. (Hrsg.), Informal proceedings of the 4th International Conference on Mathematical Knowledge Management; Bremen.