Mathematical Logic Seminar

Gaussian elimination for flexible systems of linear inclusions

Sala 6.2.33, Ciências ULisboa (com transmissão via Zoom)

Por Imme van Den Berg (Universidade de Évora).

Flexible systems are linear systems of inclusions in which the elements of the coefficient matrix are external numbers in the sense of nonstandard analysis. External numbers represent real numbers with small, individual error terms. Using Gaussian elimination, a flexible system can be put into a row-echelon form with increasing error terms at the right-hand side. Then parameters are assigned to the error terms and the resulting system is solved by common methods of linear algebra. The solution set may have indeterminacy not only in terms of linear spaces, but also of modules.

Joint work with Nam Van Tran, HCMC University of Technology and Education, Vietnam.


Transmissão via Zoom.

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional

Conversas sobre a geologia rica e fascinante do Parque Natural Sintra-Cascais, com a participação de vários docentes de CIÊNCIAS.

Um dia para aprender sobre produção caseira de cogumelos, da teoria à prática! Cada participante leva consigo um kit de cogumelos produzido nesta tarde e ainda todo o conhecimento para o fazer novamente de forma autónoma!

Título "5th edition ULisses", sobre fotografia do mar

Apresentação de candidaturas até 15 de dezembro.

An annual meeting that aims to bring together Evolutionary Biologists working in Portugal and abroad in order to promote scientific cohesion and excellence. This meeting is a forum for scientists of all academic levels (from master students to principal investigators), to present their work and discuss, fostering new ideas and collaborations.

Título "Gostarias de realizar uma mobilidade Erasmus+?" e fotografia de jovem aluno

Candidaturas de 01 a 31 de dezembro.

Ação de formação para docentes e investigadores de Ciências.

A leading venue for presenting and discussing the latest research, industrial practice and innovations in dependable and secure computing.

Páginas