Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.352.18 ◽

2021 ◽

Vol 352 ◽

pp. 156-166

Author(s):

Christopher W. Brown ◽

Zoltán Kovács ◽

Róbert Vajda

Keyword(s):

Geometric Inequalities

Download Full-text

Semimartingales and geometric inequalities on manifolds

Journal of the London Mathematical Society ◽

10.1112/jlms/jdm048 ◽

2007 ◽

Vol 75 (2) ◽

pp. 522-544 ◽

Cited By ~ 3

Author(s):

Huiling Le ◽

Dennis Barden

Keyword(s):

Geometric Inequalities

Download Full-text

A Variational Formulation for Dirac Operators in Bounded Domains. Applications to Spectral Geometric Inequalities

Communications in Mathematical Physics ◽

10.1007/s00220-021-03959-6 ◽

2021 ◽

Author(s):

Pedro R. S. Antunes ◽

Rafael D. Benguria ◽

Vladimir Lotoreichik ◽

Thomas Ourmières-Bonafos

Keyword(s):

Variational Formulation ◽

Dirac Operators ◽

Bounded Domains ◽

Geometric Inequalities

Download Full-text

Geometric inequalities and symmetry results for elliptic systems

Discrete and Continuous Dynamical Systems ◽

10.3934/dcds.2013.33.3473 ◽

2013 ◽

Vol 33 (8) ◽

pp. 3473-3496 ◽

Cited By ~ 12

Author(s):

Serena Dipierro

Keyword(s):

Elliptic Systems ◽

Geometric Inequalities

Download Full-text

Geometric inequalities

Selected Topics in Geometry with Classical vs. Computer Proving ◽

10.1142/9789812709431_0007 ◽

2007 ◽

pp. 163-185

Keyword(s):

Geometric Inequalities

Download Full-text

Geometric inequalities in Carnot groups

Pacific Journal of Mathematics ◽

10.2140/pjm.2013.263.171 ◽

2013 ◽

Vol 263 (1) ◽

pp. 171-206

Author(s):

Francescopaolo Montefalcone

Keyword(s):

Carnot Groups ◽

Geometric Inequalities

Download Full-text

New Mathematical Libray. vol. 1, Numbers: Rational and Irrational. Ivan Niven. viii + 136 pp. vol. 2, What Is Calculus About? W. W. Sawyer. viii + 118 pp. vol. 3, An Introduction to Inequalities. Edwin Beckenbach and Richard Bellman. x + 133 pp. vol. 4, Geometric Inequalities. Nicholas D. Kazarinoff. x + 132 pp. vol. 5, The Contest Problem Book. Charles T. Salkind. vi + 154 pp. vol. 6, The Lore of Large Numbers. Philip J. Davis. x + 165 pp. School Mathematics Study Group, New Haven, Conn.; Random House, New York, 1961. Paper, $1.95. (Clothbound volumes available from Library Publishers, Chicago, Ill. $2.95)

Science ◽

10.1126/science.134.3489.1514-a ◽

1961 ◽

Vol 134 (3489) ◽

pp. 1514-1515

Author(s):

W. E. Ferguson

Keyword(s):

New York ◽

School Mathematics ◽

Study Group ◽

New Haven ◽

Geometric Inequalities ◽

Large Numbers ◽

Problem Book ◽

X 132

Download Full-text

Geometric Inequalities

Research Problems in Discrete Geometry ◽

10.1007/0-387-29929-7_12 ◽

2006 ◽

pp. 435-472

Keyword(s):

Geometric Inequalities

Download Full-text

Geometric Inequalities

Inequalities ◽

10.1007/978-3-0346-0050-7_2 ◽

2009 ◽

pp. 51-99

Author(s):

Radmila Bulajich Manfrino ◽

José Antonio Gómez Ortega ◽

Rogelio Valdez Delgado

Keyword(s):

Geometric Inequalities

Download Full-text

Reducing the Time Complexity of Minkowski-Sum Based Similarity Calculations by Using Geometric Inequalities

Computational Science and Its Applications – ICCSA 2004 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24767-8_4 ◽

2004 ◽

pp. 32-41

Author(s):

Henk Bekker ◽

Axel Brink

Keyword(s):

Time Complexity ◽

Minkowski Sum ◽

Geometric Inequalities

Download Full-text

Geometric inequalities

Mathematical Surveys and Monographs - Functional Inequalities: New Perspectives and New Applications ◽

10.1090/surv/187/14 ◽

2013 ◽

pp. 191-198

Author(s):

Nassif Ghoussoub ◽

Amir Moradifam

Keyword(s):

Geometric Inequalities

Download Full-text