542 citations
- Universidade do Estado do Rio de JaneiroBR10 papers
- University of GlasgowGB8 papers
- Ghent University HospitalBE7 papers
- University of MichiganUS7 papers
- Friedrich-Alexander-Universität Erlangen-NürnbergDE5 papers
- Istituto Superiore di SanitàIT5 papers
- Johannes Gutenberg University MainzDE5 papers
- National Institute for Subatomic PhysicsNL5 papers
- University of LiverpoolGB5 papers
- Vrije Universiteit AmsterdamNL5 papers
- A. Alikhanyan National LaboratoryAM4 papers
- Centre National de la Recherche ScientifiqueFR4 papers
Showing 2002Show all
3 papers · 1 filter
math.DG2002★ 2 cited
Geometric aspects of the Maximum Principle and lifts over a bundle map
B. Langerock
A coordinate-free proof of the Maximum Principle is provided in the specific case of an optimal control problem with fixed time. Our treatment heavily relies on a special notion of…
math.DG2002
Leafwise holonomy of connections over a bundle map
B. Langerock
In this paper we introduce a generalisation of the notion of holonomy for connections over a bundle map on a principal fibre bundle. We prove that, as in the standard theory on pri…
cs.LO2002★ 12 cited
On a Partial Decision Method for Dynamic Proofs
Diderik Batens
This paper concerns a goal directed proof procedure for the propositional fragment of the adaptive logic ACLuN1. At the propositional level, it forms an algorithm for final derivab…