2.8k citations
- Instituto Superior TécnicoPT44 papers
- Centre National de la Recherche ScientifiqueFR35 papers
- Instituto Politécnico de LisboaPT33 papers
- Institute of Astrophysics and Space SciencesPT25 papers
- Universidade Nova de LisboaPT15 papers
- European Southern ObservatoryCL13 papers
- University of ÉvoraPT13 papers
- University of Hong KongHK13 papers
- University of PortsmouthGB13 papers
- Instituto de Engenharia de Sistemas e Computadores Investigação e DesenvolvimentoPT11 papers
- European Organization for Nuclear ResearchCH10 papers
- Observatoire Cantonal de NeuchâtelCH10 papers
12 papers · 1 filter
Licensing the Mizar Mathematical Library
Jesse Alama, Michael Kohlhase, Adam Naumowicz +3
The Mizar Mathematical Library (MML) is a large corpus of formalised mathematical knowledge. It has been constructed over the course of many years by a large number of authors and…
Large Formal Wikis: Issues and Solutions
Jesse Alama, Kasper Brink, Lionel Mamane +1
We present several steps towards large formal mathematical wikis. The Coq proof assistant together with the CoRN repository are added to the pool of systems handled by the general…
Modified Theories of Gravity: Traversable Wormholes
Miguel A. Oliveira
This MSc thesis is divided in to two parts. The first, covers the foundations of theories of gravitation, and, the second incorporates original work on the subject of the existence…
Two-fluid dark matter models
Tiberiu Harko, Francisco S. N. Lobo
We investigate the possibility that dark matter is a mixture of two non-interacting perfect fluids, with different four-velocities and thermodynamic parameters. The two-fluid model…
Mesophase formation in a system of top-shaped hard molecules: Density functional theory and Monte Carlo simulation
D. de las Heras, S. Varga, F. J. Vesely
We present the phase diagram of a system of mesogenic top-shaped molecules based on the Parsons- Lee density functional theory and Monte Carlo simulation. The molecules are modeled…
Solitons in PT-symmetric nonlinear lattices
Fatkhulla Kh. Abdullaev, Yaroslav V. Kartashov, Vladimir V. Konotop +1
Existence of localized modes supported by the PT-symmetric nonlinear lattices is reported. The system considered reveals unusual properties: unlike other typical dissipative system…