ANOTHER ATTEMPT FOR PARALLEL COMPUTATION OF CHARACTERISTIC SETS.

Autor:	AJWA, IYAD A., WANG, PAUL S., DONGDAI LIN
Předmět:	PARALLEL programs (Computer programs) SET theory DIFFERENTIAL algebra GEOMETRIC function theory AUTOMATIC theorem proving
Zdroj:	Computer Mathematics - Proceedings of the Fourth Asian Symposium (Ascm 2000); 2000, p63-66, 4p
Databáze:	Complementary Index
Externí odkaz:	Zobrazit plný text záznamu