E. Nunez

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Quantifier Elimination

First Order Logic

Stochastic Dominance

Top Venues

Comput. Phys. Commun.

Publications

L. G. S. Duarte, L. A. C. P. da Mota, E. Nunez
Finding first order differential invariants through the S-function. Comput. Phys. Commun. 207 (2016)