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 proceedingConference proceedings

Original languageEnglish
Title of host publicationIntelligent Computer Mathematics. Conference on Intelligent Computer Mathematics
Pages140-154
Number of pages15
Publication statusPublished - Jul 2019

Fields of science

  • 503 Educational Sciences
  • 503007 Didactics
  • 503008 E-learning
  • 503013 Subject didactics of natural sciences
  • 503015 Subject didactics of technical sciences
  • 503032 Teaching and learning research

JKU Focus areas

  • Digital Transformation

Cite this