Fixed Polarity Pascal Transforms with Symbolic Computer Algebra Applications.

Kaitlin N. Smith Mitchell A. Thornton

Published in: PACRIM (2019)

Keyphrases

computer algebra
computer algebra systems
theorem prover
sentiment analysis
neural network
positive or negative
object recognition
sentiment classification
symbolic representation
machine learning
case study
information extraction
positive and negative
theorem proving
automated theorem provers