Results 181 to 190 of about 2,059 (204)
Some of the next articles are maybe not open access.
A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG
Applied Mathematics and Computation, 2006Tolga Guyer, Şeref Mirasyedioğlu
exaly
Computer algebra and symbolic computation: Mathematical methods
The Mathematical Gazette, 2004openaire +1 more source
Special Issue on Symbolic and Algebraic Computation: ISSAC 2017
Journal of Symbolic Computation, 2020Mohab Safey El Din, Chee Yap
openaire +1 more source
IFAC Postprint Volumes IPPV / International Federation of Automatic Control, 2014
Nicolas Heraud
exaly
Nicolas Heraud
exaly

