There is a company that was recently started https://axiommath.ai They are using my common law trademark "Axiom" despite repeated notices. I contacted some Trademark law firms. They all said that it was not possible to win a lawsuit against a company funded with multi-million dollars. The Trademark applies to computer mathematics and logic due to efforts with LEAN at CMU. I spent 6 years at CMU working on this specific area with LEAN as part of the Axiom project. I continue to work on the merger.
It has now reached "the popular press": https://youtu.be/BH5_FEJNOGY?t=248 I'm watching "Axiom" being written out of history. Even the Axiom book is no longer on sale at Amazon. I would think that intellectual property theft matters to academics. On the upside, nobody seems to be using "Fricas" :-) -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/e742b313-0d82-480a-9bd2-8a02673bef4an%40googlegroups.com.
