Formalized Mathematics

Print ISSN: 1426-2630

Electronic ISSN: 1898-9934

Basic Info

  • Publisher: Sciendo
  • Country: poland
  • Date added to EuroPub 2019/Jan/02

Subject & More

LCC Subject Category: Mathematics, Algebra

Publisher's keywords: Mathematics, Computer-Checked Mathematics, Topology, Lattice Theory, Functional Analysis, Computer-Aided Teaching of Mathematics, Algebra and Number Theory

  • Language of fulltext: english
  • Time from submission to publication: 8 Weeks

Publication Charges

  • Article Processing Charges (APCs): No
  • Submission charges: No
  • Waiver policy for charges? No

Open access & licensing

  • Type of License: CC BY-NC-ND
  • Open Access Statement: Yes
  • Year open access content began: 2006
  • Does the author retain unrestricted copyright? True
  • Does the author retain publishing rights? True

Best practice polices

  • Permanent article identifier: DOI
  • Content digitally archived in: Portico
  • Deposit policy registered in: None

Impact Factor