Professor Raúl Rojas has published a book about how symbols have been used throughout history in mathematics. The work was translated into English this year.

For years, a French mathematician searched for a proof that a gigantic number is prime. His method is still used 150 years ...

The proof, known to be so hard that a mathematician once offered 10 martinis to whoever could figure it out, uses number ...

Abstract: API recommendation methods have evolved from literal and semantic keyword matching to query expansion and query clarification. The latest query clarification method is knowledge graph ...

Abstract: S-parameters of electrical networks are often extracted using an electromagnetic (EM) simulator, and imported directly or after conversion to rational function models into a transient ...