To narrow your search for a journal article or book, either:

  1. Enter either the DOI (Digital Object Identifier) associated with your research if you know it, or
  2. Type some words from the article title or book title and an author first and last name. Note - if you see many results listed, try adding some additional distinctive words from the article title to help narrow down your search.

Search results for: formalized mathematics

Please sign-in or register to create a Kudos account in order to claim each of your publications.