Richard Fateman

https://people.eecs.berkeley.edu/~fateman/ [email protected]

univ. calif berkeley,ca usa prof. emeritus, computer science, Univ. Calif, Berkeley

Results 1 issues of


                                            Richard Fateman

old version loaded from suggested command on rule based integration.org

1

comment

it says PacletInstall["https://rulebasedintegration.org/Rubi-4.16.1.0.paclet"] but the latest version is 4.17.3.0