1. Axiom comes with an extension language called SPAD.

Язык расширений Axiom называется SPAD.

2. Using synthetic geometric methods, he developed geometric methods to obtain priori estimates for solutions of Monge-Ampère equations.

Он использует синтетические геометрические методы, развил геометрические методы для получения априорных оценок для решений уравнений Монжа-Ампера.