diff --git a/README.md b/README.md index dbf6cf91e..218ce006f 100644 --- a/README.md +++ b/README.md @@ -331,3 +331,8 @@ Term{Real} name: Symbol x ``` and now all our analysis is able to figure out that the `Term`s are `Number`s. + +# Citations + +- The pattern matcher is an adaption of the one by Gerald Jay Sussman (as seen in [6.945](https://groups.csail.mit.edu/mac/users/gjs/6.945/) at MIT), his use of symbolic programming in the book [SICM](https://groups.csail.mit.edu/mac/users/gjs/6946/sicm-html/book.html) inspired this package. +- [Rewrite.jl](https://github.com/HarrisonGrodin/Rewrite.jl) and [Simplify.jl](https://github.com/HarrisonGrodin/Simplify.jl) by [Harrison Grodin](https://github.com/HarrisonGrodin) also inspired this package.