Login / Signup

Use of Computer Algebra to Locate Critical Loci in Fluid Mixtures.

G. C. NielsenM. O. McLindenG. Morrison
Published in: J. Symb. Comput. (1990)
Keyphrases
  • computer algebra
  • theorem prover
  • computer algebra systems
  • mixture model
  • automated theorem provers
  • blind source separation
  • genome wide