Integrating multiple sources to answer questions in Algebraic Topology

 

Ponente: Jónathan Heras (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: martes 29 de junio, 10:00

Se trata de una prueba de tiempo para la charla que impartirá la semana
próxima en el congreso Mathematical Knowledge Management (MKM 2010).

En esta sesión se escucharán también sus propuestas para el Doctoral Programme y el OpenMath Training Camp, que se celebrarán, como MKM, en el marco del congreso Conferences on Intelligent Computer Mathematics  (CICM 2010).

 

Small Scale reflection: an introduction (4 / 4)

 

Ponente: Yves Bertot (Inria, Sophia Antipolis), Laurence Rideau (Inria, Sophia Antipolis)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: jueves 24 de junio, 10:00 a 11:00, 16:30 a 17:30

Abstract: We propose a course in four parts around the “ssreflect” extension of the Coq system.  The first part concerns the general structure of goals, scripts, and the main tactics.  The second part concerns the main libraries to describe numbers, type structures, finite types, and so on.  The third part concerns big operators and relies on an illustration on linear algebra.  The fourth part concerns the general algebraic structures and their instantiation on known mathematical objects, with an illustration on the complex field.

 

Small Scale reflection: an introduction (3 / 4)

 

Ponente: Yves Bertot (Inria, Sophia Antipolis), Laurence Rideau (Inria, Sophia Antipolis)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: miércoles 23 de junio, 10:00 a 11:00, 16:30 a 17:30

Abstract: We propose a course in four parts around the “ssreflect” extension of the Coq system.  The first part concerns the general structure of goals, scripts, and the main tactics.  The second part concerns the main libraries to describe numbers, type structures, finite types, and so on.  The third part concerns big operators and relies on an illustration on linear algebra.  The fourth part concerns the general algebraic structures and their instantiation on known mathematical objects, with an illustration on the complex field.

 

Small Scale reflection: an introduction (2 / 4)

 

Ponente: Yves Bertot (Inria, Sophia Antipolis), Laurence Rideau (Inria, Sophia Antipolis)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: martes 22 de junio, 10:00 a 11:00, 16:30 a 17:30

Abstract: We propose a course in four parts around the “ssreflect” extension of the Coq system.  The first part concerns the general structure of goals, scripts, and the main tactics.  The second part concerns the main libraries to describe numbers, type structures, finite types, and so on.  The third part concerns big operators and relies on an illustration on linear algebra.  The fourth part concerns the general algebraic structures and their instantiation on known mathematical objects, with an illustration on the complex field.

 

Small Scale reflection: an introduction (1 / 4)

 

Ponente: Yves Bertot (Inria, Sophia Antipolis), Laurence Rideau (Inria, Sophia Antipolis)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: lunes 21 de junio, 10:00 a 11:00, 16:30 a 17:30

Abstract: We propose a course in four parts around the “ssreflect” extension of the Coq system.  The first part concerns the general structure of goals, scripts, and the main tactics.  The second part concerns the main libraries to describe numbers, type structures, finite types, and so on.  The third part concerns big operators and relies on an illustration on linear algebra.  The fourth part concerns the general algebraic structures and their instantiation on known mathematical objects, with an illustration on the complex field.