Results 161 to 170 of about 289 (170)

Basic principles of mechanical theorem proving in elementary geometries

Journal of Automated Reasoning, 1986
Wu Wen-Tsun, Wen-Tsun Wu
exaly  

Non-euclidean and Projective Geometries

2013
Garret Sobczyk, Sobczyk Garret
exaly  

A heuristic for Euclidean and rectilinear Steiner problems

European Journal of Operational Research, 1992
J E Beasley
exaly  

Monte Carlo simulations of restricted primitive model (RPM) electrolytes in non-Euclidean geometries

Journal of Electroanalytical Chemistry, 2002
exaly  

GA design of wire pre-fractal antennas and comparison with other Euclidean geometries

IEEE Antennas and Wireless Propagation Letters, 2003
Jordi Romeu, A Rubio Bretones, J M González-Arbesú   +2 more
exaly  

Strategies in the inductive reasoning process related to Non-Euclidean geometries

Thinking Skills and Creativity
Esra Demiray
exaly  

Defining relations for a degenerate elementary unitary group over a quadratic extension of an ordered Euclidean field

Mathematical Notes, 1989
exaly  

Translation normalizers of Euclidean groups. I. Elementary theory

Journal of Mathematical Physics, 1993
exaly  

Euclidean and Non-Euclidean Geometries Without Continuity

American Mathematical Monthly, 1979
exaly  

Poincare's Thesis of the Translatability of Euclidean and Non-Euclidean Geometries

Nous, 1991
exaly