Skip to main content

TUDER: An ITS for symbolic derivation

  • Posters on Applications in Science and Engineering
  • Conference paper
  • First Online:
Computer Aided Learning and Instruction in Science and Engineering (CALISCE 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1108))

  • 137 Accesses

Abstract

In this paper, the design and implementation of a tutoring system for symbolic derivation is described. Thanks to a grammar-based problem generator, our system is able to produce problems involving the desired rules and at the right level of difficulty. It can also solve those problems and decide about the goodness of the students answers.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

References

  1. Lesgold, A. Towards a theory of curriculum for use in designing intelligent instructional systems. In Mandl, H. and Lesgold, A. (eds), Learning issues for Intelligent Systems. Berlin, Springer, 1988.

    Google Scholar 

  2. Pérez-de-la-Cruz J.L., Morales, R. et al. Intelligent Tutoring Systems for exercise-based domains. Proceedings of the 7th International Conference on System Research, Informatics and Cybernetics, Volume II, Baden-Baden 1994. pp 37–42.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Arantza Díaz de Ilarraza Sánchez Isabel Fernández de Castro

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Millán, E., Pérez-de-la-Cruz, J.L., Triguero-Ruiz, F., Vázquez-Sáenz, L. (1996). TUDER: An ITS for symbolic derivation. In: Díaz de Ilarraza Sánchez, A., Fernández de Castro, I. (eds) Computer Aided Learning and Instruction in Science and Engineering. CALISCE 1996. Lecture Notes in Computer Science, vol 1108. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022648

Download citation

  • DOI: https://doi.org/10.1007/BFb0022648

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61491-3

  • Online ISBN: 978-3-540-68675-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics