Results 41 to 50 of about 37,802 (311)

A Rocq-Based Formalization of Hilbert’s Geometry: Building a Reusable Foundation for 3D Perpendicularity Theory and Verification

Mathematical and Computational Applications
Hilbert’s axiom system for geometry is a landmark in formal methods. This paper presents a complete formalization of spatial perpendicularity—a theory not fully developed in Hilbert’s original work—using the Rocq proof assistant.
Qimeng Zhang, Wensheng Yu
doaj   +1 more source

On the geometry and behavior of n-body motions

International Journal of Mathematics and Mathematical Sciences, 2001
The kinematic separation of size, shape, and orientation of n-body systems is investigated together with specific issues concerning the dynamics of classical n-body motions.
Eldar Straume
doaj   +1 more source

Complex Kerr Geometry and Nonstationary Kerr Solutions

, 2003
In the frame of the Kerr-Schild approach, we consider the complex structure of Kerr geometry which is determined by a complex world line of a complex source. The real Kerr geometry is represented as a real slice of this complex structure.
A. Burinskii, A. Sen, A.Ya. Burinskii, A.Ya. Burinskii, A.Ya. Burinskii, A.Ya. Burinskii, A.Ya. Burinskii, A.Ya. Burinskii, Alexander Burinskii, B. Carter, B.S. De Witt, C.A. López, D. Cox, D. Ivanenko, D. Ivanenko, E. Newman, E.T. Newman, E.T. Newman, G.C. Debney, H. Ooguri, H. Ooguri, H. Ruse, O. Veblen, P.C. Vaidya, R. Penrose, R.P. Kerr, R.W. Lind, W. Israel, W. Kinnersley   +28 more
core   +1 more source

Figure and its influence on problem solving strategies for a flat Geometry problem

Educação Matemática Debate, 2018
In this paper we aim to analyze how a figure proposed as part of the statement of a problem situation about flat Geometry can influence the resolution procedures presented by students entering a Mathematics degree course.
Cleusiane Vieira Silva, Weslley Igor da Cruz dos Santos   +1 more
doaj   +1 more source

A convex combinatorial property of compact sets in the plane and its roots in lattice theory [PDF]

Categories and General Algebraic Structures with Applications, 2019
K. Adaricheva and M. Bolat have recently proved that if $\,\mathcal U_0$ and $\,\mathcal U_1$ are circles in a triangle with vertices $A_0,A_1,A_2$, then there exist $j\in \{0,1,2\}$ and $k\in\{0,1\}$ such that $\,\mathcal U_{1-k}$ is included in the ...
Gábor Czédli, Árpád Kurusa
doaj   +1 more source

Rotation and pseudo-rotation

, 2005
Eigenvectors of stress-energy tensor (the source in Einstein's equations) form privileged bases in description of the corresponding space-times. When one or more of these vector fields are rotating (the property well determined in differential geometry),
A.P. Lightman, C.W. Misner, D. Kramer, D.M. Chitre, F. Fayos, H. Stephani, Héctor Vargas-Rodríguez, J. Horskÿ, N.V. Mitskievich, N.V. Mitskievich, N.V. Mitskievich, Nikolai V. Mitskievich   +11 more
core   +1 more source

Enhancing Optoelectronic Properties in Phthalocyanine‐Based SURMOFs: Synthesis of ABAB Linkers by Avoiding Statistical Condensation with Tailored Building Blocks

Advanced Functional Materials, EarlyView.
A novel phthalocyanine (PC)‐based metal–organic framework (MOFs) is synthesized using ditopic PC linkers obtained through regioselective statistical condensation. The resulting MOF exhibits significant improvements in electronic absorption, thereby enhancing the material's performance in light harvesting and energy conversion.
Lukas S. Langer, Mareen Stahlberger, Xiaojing Liu, Yi Luo, Niklas E. Häußermann, Puja Singhvi, Yidong Liu, Olaf Fuhr, Martin Nieger, Lars Heinke, Thomas Heine, Christof Wöll, Stefan Bräse   +12 more
wiley   +1 more source

Implementation of Ethnomathematics Strategy in Indonesian Traditional Games as Mathematics Learning Media

Journal of Innovation in Educational and Cultural Research, 2023
The learning strategy by associating cultural elements with mathematics is called ethnomathematics. The application of ethnomathematics in learning is very important in fostering a love for local culture which is currently almost abandoned due to ...
Zuhri Zuhri, Sinta Verawati Dewi, Jaka Wijaya Kusuma, Sri Rafiqoh, Isnaini Mahuda, Hamidah Hamidah   +5 more
doaj   +1 more source

Complex Kerr Geometry, Twistors and the Dirac Electron

, 2008
The Kerr-Newman spinning particle displays some remarkable relations to the Dirac electron and has a reach spinor structure which is based on a twistorial description of the Kerr congruence determined by the Kerr theorem. We consider the relation between
A Burinskii, Akhiezer A I, Berestetsky V B, Burinskii A, Burinskii A, Burinskii A, Burinskii A, Burinskii A, Burinskii A, Burinskii A Elizalde E Hildebrandt S R Magli G, Burinskii A Kerr R P, Burinskii A Ya, Burinskii A Ya, Burinskii A Ya, Burinskii A Ya, Feynman R P, Gelfand I M, Ivanenko D, Ivanenko D, Kramer D, Rosquist K   +20 more
core   +1 more source

Géométrie Orthogonale Non Symétrique et Congruences Quadratiques (Nonsymmetric Orthogonal Geometry and Quadratic Congruences) [PDF]

Geometriae Dedicata, 2001
This paper is devoted to the study of quadratic congruences, which appear in the theory of exceptional bundles on projective spaces. A quadratic congruence associates to each point P of a projective space ℙ a quadratic in ℙ containing P. We study several geometric constructions of quadratic congruences and try to classify them.
openaire   +1 more source