Mario Carneiro

  • Citations Per Year
Learn More
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)
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)
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)
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)
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)
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)
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)