Path:  Home   >  Seminars
 
Seminars
<Historic> <Subscription>
Main
 
<Theme details>
Decidability of first-order theories
2019-03-26
Speaker: Cristina Sernadas (CMAFcIO, Univ. Lisboa)
Some results and reduction techniques for proving decidability of mathematical theories and completeness of logics are presented. The crucial role of the theory of real closed ordered fields is explained. Selected illustrations from Euclidean Geometry to Quantum Logic are discussed....
 
Peregrine's system revisited
2019-03-27
Speaker: Ángel Durán (Univ. Valladolid, Spain)
In 1967, D. H. Peregrine proposed a Boussinesq-type model for long waves in shallow waters of varying depth (Peregrine, J Fluid Mech 27:815-827, 1967). This prominent paper turned a new leaf in coastal hydrodynamics along with contributions by Serre (La Houille Blanche 8:374-388, 1953) and Green and...
 
Geometric constructions: some working hypotheses
2019-04-02
Speaker: Graziani Pierluigi (Univ. of Urbino Carlo Bo, Italy)
Among the many theses regarding the nature of Greek mathematics, the most popular one held by historians and philosophers of ancient mathematics is that Greek mathematics, in particular Euclid's Elements, has a constructive nature. However, it is not always clear what the defenders of this thesis...
 
Describing the singular behaviour of parabolic equations on cones in fractional Sobolev spaces
2019-04-05
Speaker: Cornelia Schneider (Univ. Erlangen-Nuremberg, Germany)
TBA...
 
On colimit-dense subcategories
2019-04-23
Speaker: Jiří Adámek (Tech. Univ. Braunschweig, Germany)
TBA...
 
Spin-orbit coupling in the Solar System
2019-04-24
Speaker: Alexandre C. M. Correia (DFUC, Univ. Coimbra)
Recent developments in the study of the Solar System dynamics have shown that it is not such a quiet place. Mutual interactions between all bodies may destabilise the orbits and the spins of all terrestrial planets and satellites. Chaotic motion is everywhere and our present quiet Earth will likely...
 
Normally ordered forms of powers of differential operators
2019-05-08
Speaker: Samuel Lopes (CMUP, Univ. Porto)
See the attached file....
 
     
© 2012 Centre for Mathematics, University of Coimbra, funded by

Science and Technology Foundation

Powered by: rdOnWeb v1.4 | technical support