Return to JournalSeek Home

Genamics JournalSeek

Formalized Mathematics

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