Zoltan Kovács, Pavel Pech,
"Experiments on Automatic Inclusion of Some Nondegeneracy Conditions Among the Hypotheses in Locus Equation Computations"
: Intelligent Computer Mathematics. Conference on Intelligent Computer Mathematics, Seite(n) 140-154, 7-2019
Original Titel:
Experiments on Automatic Inclusion of Some Nondegeneracy Conditions Among the Hypotheses in Locus Equation Computations
Sprache des Titels:
Englisch
Original Buchtitel:
Intelligent Computer Mathematics. Conference on Intelligent Computer Mathematics