Research Output per year

## Personal profile

### Education/Academic qualification

PHD, University of Michigan-Ann Arbor

… → 1993

MS, University of Bucharest

… → 1982

## Fingerprint Dive into the research topics where Victor Pambuccian is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Axiom
Mathematics

Lobachevskian geometry
Mathematics

Axiomatization
Mathematics

Euclidean geometry
Mathematics

Triangle
Mathematics

Ternary
Mathematics

Axioms
Mathematics

Hyperbolic Plane
Mathematics

##
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.

## Research Output 1987 2019

2
Citations
(Scopus)

## Prolegomena to any theory of proof simplicity

Pambuccian, V., Mar 11 2019, In : Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 377, 2140, Y.Research output: Contribution to journal › Article

Simplicity

Geometry

Axiom

axioms

Axioms

## The Hajja–Martini inequality in a weak absolute geometry

Harutyunyan, D., Nazaryan, A. & Pambuccian, V., Aug 1 2019, In : Journal of Geometry. 110, 2, 24.Research output: Contribution to journal › Article

Triangle

P-point

## Euler’s inequality in absolute geometry

Pambuccian, V. & Schacht, C., Apr 1 2018, In : Journal of Geometry. 109, 1, 8.Research output: Contribution to journal › Article

Equilateral

Triangle

Circle

Incircle or inscribed circle

Euclidean

2
Citations
(Scopus)

## Negation-Free and Contradiction-Free Proof of the Steiner–Lehmus Theorem

Pambuccian, V., Jan 1 2018, In : Notre Dame Journal of Formal Logic. 59, 1, p. 75-90 16 p.Research output: Contribution to journal › Article

Sequent Calculus

Classical Logic

Quantifiers

Axioms

Partial

1
Citation
(Scopus)

## Problem in pythagorean arithmetic

Pambuccian, V., Jan 1 2018, In : Notre Dame Journal of Formal Logic. 59, 2, p. 197-204 8 p.Research output: Contribution to journal › Article

Odd

Integer

Form