Another interesting paper from the JAS guy: <https...

# mathematics

[breandan]

Another interesting paper from the JAS guy: https://pdfs.semanticscholar.org/ce81/39a9008bdc7d23be0ff05ef5a16d512b352c.pdf

In this paper he gives a bunch of advice for building a CAS in Java, some of which also applies to Kotlin (e.g. workaround for the lack of support for dependent types which I am also using https://github.com/breandan/kotlingrad/blob/master/src/main/kotlin/co/ndan/kotlingrad/math/types/dependent/Demo.kt and the recursive type bound trick which I have found to be very useful https://github.com/breandan/kotlingrad/blob/81c618bb5f1eb33a38882cb502d59bf7222e7758/src/main/kotlin/co/ndan/kotlingrad/math/functions/Function.kt#L9 )