article · Annals of Mathematics and Artificial Intelligence · 2014

Formalizing complex plane geometry

Cited by 6Abstract and details only

Abstract

The index has no abstract for this paper. The publisher’s page may have one.

Cite this paper

Marić, F., & Petrović, D. (2014). Formalizing complex plane geometry. Annals of Mathematics and Artificial Intelligence, 74(3-4), 271–308. https://doi.org/10.1007/s10472-014-9436-4

MLA 9

Marić, Filip, and Danijela Petrović. “Formalizing complex plane geometry.” Annals of Mathematics and Artificial Intelligence, vol. 74, no. 3-4, 2014, pp. 271–308, https://doi.org/10.1007/s10472-014-9436-4.

Chicago

Marić, Filip, and Danijela Petrović. 2014. “Formalizing complex plane geometry.” Annals of Mathematics and Artificial Intelligence 74 (3-4): 271–308. https://doi.org/10.1007/s10472-014-9436-4.

Harvard

Marić, F. and Petrović, D. (2014) ‘Formalizing complex plane geometry’, Annals of Mathematics and Artificial Intelligence, 74(3-4), pp. 271–308. Available at: https://doi.org/10.1007/s10472-014-9436-4.

BibTeX

@article{maric2014formalizing,
  title = {{Formalizing complex plane geometry}},
  author = {Marić, Filip and Petrović, Danijela},
  journal = {Annals of Mathematics and Artificial Intelligence},
  volume = {74},
  number = {3-4},
  pages = {271--308},
  year = {2014},
  doi = {10.1007/s10472-014-9436-4}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.