Research Output per year

## Personal profile

### Education/Academic qualification

PHD, University of Michigan-Ann Arbor

… → 1993

MS, University of Bucharest

… → 1982

## Fingerprint Fingerprint is based on mining the text of the experts' scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

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