Experiments on Automatic Inclusion of Some Nondegeneracy Conditions Among the Hypotheses in Locus Equation Computations

Zoltán Kovács, Pavel Pech

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings

Original language	English
Title of host publication	Intelligent Computer Mathematics. Conference on Intelligent Computer Mathematics
Pages	140-154
Number of pages	15
Publication status	Published - Jul 2019

Fields of science

@inproceedings{f7ca60a1c36346978b9d02d87eed4635,

title = "Experiments on Automatic Inclusion of Some Nondegeneracy Conditions Among the Hypotheses in Locus Equation Computations",

author = "Zolt{\'a}n Kov{\'a}cs and Pavel Pech",

year = "2019",

month = jul,

language = "English",

pages = "140--154",

booktitle = "Intelligent Computer Mathematics. Conference on Intelligent Computer Mathematics",

}