Miguel Vallejo

Available identifiers

zbMath Open vallejo.miguel-angelMaRDI QIDQ239727

List of research outcomes

Publication	Date of Publication	Type
Dedam: A kernel of data structures and algorithms for automated deduction with equality clauses	2019-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q3152556	2002-10-23	Paper
On the attitude dynamics of perturbed triaxial rigid bodies	2002-04-11	Paper
Normalization of perturbed nonlinear Hamiltonian oscillators	1997-10-28	Paper
Automated Fourier series expansions for elliptic functions	1995-04-04	Paper

Research outcomes over time

This page was built for person: Miguel Vallejo