Related papers: The cycloid as brachistochrone: A one-page proof, …

Let k be a commutative algebra with the field of the rational numbers included in k and let (E,p,i) be a cleft extension of A. We obtain a new mixed complex, simpler than the canonical one, giving the Hochschild and cyclic homologies of E…

Braidoids generalize the classical braids and form a counterpart theory to the theory of planar knotoids, just as the theory of braids does for the theory of knots. In this paper, we introduce basic notions of braidoids, a closure operation…

This paper improves some results of the author's previous work. We will investigate the case of non-smooth points on an automorphic components and prove Breuil-Schenider conjecture. As a consequence we will see that in case when all the…

French translation, by Henri Lombardi and Stefan Neuwirth, of the article "Did Euclid need the Euclidean algorithm to prove unique factorization?", American Mathematical Monthly 113 (2006), pages 196-205.

This is an English translation from the Latin original of Leonhard Euler's ``Solutio facilior problematis Diophantei circa triangulum, in quo rectae ex angulis latera opposita bisecantes rationaliter exprimantur''. In this paper, Euler…

Input/Output (I/O) logic is a general framework for reasoning about conditional norms and/or causal relations. We streamline Bochman's causal I/O logics via proof-search-oriented sequent calculi. Our calculi establish a natural syntactic…

The solution of Apollonius' problem on constructing a circle (line), tangent to three given circles (lines), is presented in terms of oriented circles and inversive invariants. Tangency is understood as the coincidence of tangent vectors at…

We present in this paper a result about existence and convexity of solutions to a free boundary problem of Bernoulli type, with non constant gradient boundary constraint depending on the outer unit normal. In particular we prove that, in…

We present a bisequent calculus (BSC) for the minimal theory of definite descriptions (DD) in the setting of neutral free logic, where formulae with non-denoting terms have no truth value. The treatment of quantifiers, atomic formulae and…

We present a conclusive answer to Bertrand's paradox, a long standing open issue in the basic physical interpretation of probability. The paradox deals with the existence of mutually inconsistent results when looking for the probability…

Mr. C. Stephanos posed the following question in the Interm\'ediaire des Math\'ematiciens: "Do there exist polyhedra with invariant facets that are susceptible to an infinite family of transformations that only alter solid angles and…

In a recent paper, Yi-Ping Yu has given some interesting nonlinear moments of the Bernoulli umbra; the aim of this paper is to show the probabilistic counterpart of these results and to extend them to Bernoulli polynomials.

Influence diagrams are a decision-theoretic extension of probabilistic graphical models. In this paper we show how they can be used to solve the Brachistochrone problem. We present results of numerical experiments on this problem, compare…

We cautiously reanalyze some easily confused notions on particle horizon problem in this paper and then we give a new answer to the particle horizon problem. This answer is independent of physics plunging into Planck time.

We provide a simple proof of Pascal's Theorem on cyclic hexagons, as well as a generalization by M\"obius, using hyperbolic geometry.

A diagrammatic logical calculus for the syllogistic reasoning is introduced and discussed. We prove that a syllogism is valid if and only if it is provable in the calculus.

This paper aims to show the possibility of the existence of super-massive compact objects with radii less than the Schwarzschild one, which is one of the principal consequences of the author's geodesic-invariant gravitation equations (Ann.…

In this paper, we study the Skorokhod problem with two constraints, where the constraints are in a nonlinear fashion. We prove the existence and uniqueness of the solution and also provide the explicit construction for the solution. In…

We introduce a functional calculus with simple syntax and operational semantics in which the calculi introduced so far in the Curry-Howard correspondence for Classical Logic can be faithfully encoded. Our calculus enjoys confluence without…

We introduce proper display calculi for basic monotonic modal logic,the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and subformula property. Our…