#### Filter Results:

- Full text PDF available (11)

#### Publication Year

2002

2016

- This year (0)
- Last 5 years (6)
- Last 10 years (9)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Mario Carneiro, Ricardo Dizioli Navarro, Gilberto Yoshinobu Nakama, João Maurício Barretto, Antônio Altenor Bessa de Queiroz, Marcus Vinicius Malheiro Luzo
- Knee Surgery, Sports Traumatology, Arthroscopy
- 2008

In this article, an original double-bundle anterior cruciate ligament reconstruction technique is described. The procedure is developed using hamstring tendon grafts while maintaining tibial osseous insertion. Two tibial tunnels are drilled and a simplified and precise outside-in double tunnel femoral drilling technique is utilized. The graft fixation is… (More)

- Mario Carneiro
- FM4M/MathUI/ThEdu/DP/WIP@CIKM
- 2016

We present the formalization of Dirichlet’s theorem on the infinitude of primes in arithmetic progressions, and Selberg’s elementary proof of the prime number theorem, which asserts that the number π(x) of primes less than x is asymptotic to x/ log x, within the proof system Metamath.

- Mario Carneiro
- FM4M/MathUI/ThEdu/DP/WIP@CIKM
- 2016

Although some work has been done on the metamathematics of Metamath, there has not been a clear definition of a model for a Metamath formal system. We define the collection of models of an arbitrary Metamath formal system, both for tree-based and string-based representations. This definition is demonstrated with examples for propositional calculus, ZFC set… (More)

In this paper we show that, under certain generic conditions, billiards on ovals have only a finite number of periodic orbits, for each period N , all non-degenerate and at least one of them is hyperbolic. Moreover, the invariant curves of two hyperbolic points are transversal. We explore these properties to give some dynamical consequences specially about… (More)

- Mario Carneiro, Johan Commelin, +10 authors Milena Maric
- 2015

Unlike some other formal systems, the proof system Metamath has no built-in concept of “decimal number” in the sense that arbitrary digit strings are not recognized by the system without prior definition. We present a system of theorems and definitions and an algorithm to apply these as basic operations to perform arithmetic calculations with a number of… (More)

- Mario Carneiro, Ricardo Dizioli Navarro, Gilberto Yoshinobu Nakama, João Maurício Barretto, Antonio Altenor Bessa de Queiroz, Marcus Vinicius Malheiro Luzo
- Revista brasileira de ortopedia
- 2009

Surgical procedures for double-bundle reconstruction of anterior cruciate ligament, which currently use semitendinous and gracilis tendon grafts, have been described in the last decade. Most of the techniques utilize twice the hardware used in single-bundle reconstructions. We report an original anterior cruciate ligament double-bundle reconstruction… (More)

- Ricardo Dizioli Navarro, Mario Carneiro
- The Knee
- 2004

The inclination of the joint line after supracondylar osteotomy of the femur for valgus deformity was studied in 22 patients and 26 knees. The patients (four males and 18 females) were 17-77 years old (mean, 49.5 years). The obliquity of the joint line was measured in positive degrees (medial inclination) and negative degrees (lateral inclination). Mean… (More)

- Mario Carneiro
- ArXiv
- 2015

Unlike some other formal systems, the proof system Metamath has no built-in concept of “decimal number” in the sense that arbitrary digit strings are not recognized by the system without prior definition. We present a system of theorems and definitions and an algorithm to apply these as basic operations to perform arithmetic calculations with a number of… (More)

In this paper we show the existence of a plateau for the minimal action function associated with a model for a particle under the influence of a magnetic field (Hall effect). We will describe the structure of the Mather sets, that is, sets that are support of minimizing measures for the corresponding autonomous Lagrangian. This description is obtained by… (More)

- Mario Carneiro, Gilberto Yoshinobu Nakama, Vinicius Malheiros Luzo
- 2015

A case of loss of range of motion after anterior cruciate ligament reconstruction in a 26 year old man with 2 years of surgery is reported. He has been already submitted to an arthroscopic arthrolisis three months after the prime surgery with no benefit. We did an arthroscopic posteromedial capsulotomy associated to manipulation, followed by a strong… (More)