Return to JournalSeek Home

Genamics JournalSeek

Formalized Mathematics

Published/Hosted by Walter de Gruyter GmbH & Co. KG. ISSN (printed): 1426-2630. ISSN (electronic): 1898-9934.

Pioneering Journal in the field of formalized and mechanically checked mathematics. Excellent articles on latest research in formal methods and computer-checked mathematics. Full-length original research articles in English.

   Further information
   Category Link








Add To Favorites
Email This Page



Side Panel
Privacy Policy About Us Contact Us