Jónathan Heras

	2009
2		Jónathan Heras, Vico Pascual, Julio Rubio: Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems. Calculemus/MKM 2009: 467-473
	2008
1		Jónathan Heras, Vico Pascual, Julio Rubio: Mediated Access to Symbolic Computation Systems. AISC/MKM/Calculemus 2008: 446-461

Coauthor Index

1	Vico Pascual	[1] [2]
2	Julio Rubio (Julio Rubio Garcia)	[1] [2]