I would like to understand if it is legal to make publicly available results/substantial parts of the content of a journal article/book that is not available in the public domain in the context of certain specific use cases that are described via examples below:
- I use an algorithm that was recently published in a (non-open access) journal article in my software and provide the description of the algorithm in the documentation (expressed in my own words). The algorithm is not patented in any way and there is no software associated with the publication of the algorithm. I release the software under one of the open-source licenses, thus making the algorithm and its description publicly available, perhaps for the first time. Would I be doing something illegal?
- There exists software that can be used to formalize mathematics. Examples include Isabelle, Coq, Agda. In general, such software can be used to translate mathematical argot to a (human readable) formal language. Suppose, I use one of these software packages to formalize a (non-open access) book, almost as it is written. I guess, this process could be seen as a translation of a book from one language to another. However, keep in mind that the original work is not a work of fiction, but mathematics. What would be the legal perspective on the matter of making such "formal proof document" available in the public domain?