Jesús Escribano Martínez
Position: Profesor contratado doctor

Department of Informatic Systems and Computation, Faculty of Informatics, UCM (Spain)

Programme TID

e-mail: escribano@sip.ucm.es

Research interests:

• Automatic Proving in Geometry
• Algorithms in Geometry.
• Mathematicasl knowledge Coding.

• F. Botana, M.A. Abánades and J. Escribano: Computing locus equations for standard dynamic geometry environments, Lectures Notes in Computer Science, vol. 4488 (2007), 227-234.

• M.A. Abánades, J. Escribano and F. Botana: First steps on using OpenMath to add proving capabilities to standard dynamic geometry systems, Lectures Notes in Artificial Intelligence, vol. 4573 (2007), 131-145.

• J. Escribano, F. Botana and M. A. Abánades: Adding Remote Computational Capabilities to Dynamic Geometry Systems, Mathematics and Computers in Simulation. doi:10.1016/j.matcom.2008.04.019