Álvaro Pelayo

According to our database, Álvaro Pelayo authored at least 7 papers between 2004 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Symplectic Geometry and Spectral Properties of Classical and Quantum Coupled Angular Momenta.

Yohann Le Floch, Álvaro Pelayo

J. Nonlinear Sci., 2019

2016

Generating Hyperbolic Singularities in Semitoric Systems Via Hopf Bifurcations.

Holger R. Dullin, Álvaro Pelayo

J. Nonlinear Sci., 2016

Euler-MacLaurin formulas via differential operators.

Yohann Le Floch, Álvaro Pelayo

Adv. Appl. Math., 2016

2015

A univalent formalization of the <i>p</i>-adic numbers.

Álvaro Pelayo, Vladimir Voevodsky, Michael A. Warren

Math. Struct. Comput. Sci., 2015

2013

A preliminary univalent formalization of the p-adic numbers

Álvaro Pelayo, Vladimir Voevodsky, Michael A. Warren

CoRR, 2013

2012

Homotopy type theory and Voevodsky's univalent foundations

Álvaro Pelayo, Michael A. Warren

CoRR, 2012

2004

Unbounded trajectories of dynamical systems.

Francisco González Gascón, Álvaro Pelayo, Daniel Peralta-Salas

Appl. Math. Lett., 2004