41 citations
- Universidade Federal de PernambucoBR9 papers
- Institut Jean LamourFR3 papers
- Italian Institute of TechnologyIT3 papers
- Universidade Federal da ParaíbaBR3 papers
- Universidade Federal de Campina GrandeBR3 papers
- Universidade Federal Rural de PernambucoBR3 papers
- Université de LorraineFR3 papers
- Deakin UniversityAU2 papers
- North Carolina State UniversityUS2 papers
- Universidad Central de ChileCL2 papers
- Universidade Federal de AlagoasBR2 papers
- Universidade Federal do PiauíBR2 papers
Showing 2026Show all
2 papers · 1 filter
astro-ph.EP2026
A generalized dipole-segment model for the gravitational field of elongated bodies
A. K. de Almeida, A. F. S. Ferreira, L. B. T. Santos +6
Context. Various simplified models have been investigated to understand the complex dynamical environment near irregular asteroids. We propose a generalized dipole-segment model (G…
cs.LO2026
Implementing the First-Order Logic of Here and There
Jens Otten, Torsten Schaub
We present automated theorem provers for the first-order logic of here and there (HT). They are based on a native sequent calculus for the logic of HT and an axiomatic embedding of…