Sfoglia per Autore
The Gnome DOM Engine
2001-01-01 CASARINI P; L. PADOVANI
XML, Stylesheets and the Re-mathematization of Formal Content
2001-01-01 ASPERTI A; L. PADOVANI; SACERDOTI COEN C; SCHENA I
Formal Mathematics on the Web
2001-01-01 ASPERTI A; L. PADOVANI; SACERDOTI COEN C; SCHENA I
HELM and the Semantic Math-Web
2001-01-01 ASPERTI A; L. PADOVANI; SACERDOTI COEN C; SCHENA I
Mathematical Knowledge Management in HELM
2001-01-01 ASPERTI A; GUIDI F; L. PADOVANI; SACERDOTI COEN C; SCHENA I
A Lisp Subset Based on MathML
2002-01-01 XIE Y; WATT S. M; L. PADOVANI
A Standalone Rendering Engine for MathML
2002-01-01 L. PADOVANI
The Gnome DOM Engine
2002-01-01 P. CASARINI; L. PADOVANI
MathML Formatting with TeX Rules, TeX Fonts, and TeX Quality
2003-01-01 L. PADOVANI
Gnome DOM Engine
2003-01-01 Paolo Casarini; Luca Padovani
MATHEMATICAL KNOWLEDGE MANAGEMENT
2003-01-01 Padovani, Luca
Eighth Italian Conference on Theoretical Computer Science
2003-01-01 Luca Padovani
On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions
2003-01-01 Padovani, Luca
Mathematical Knowledge Management in HELM
2003-01-01 Asperti, A.; Guidi, F.; Padovani, Luca; SACERDOTI COEN, C.; Schena, I.
A Math Canvas for the GNOME Desktop
2004-01-01 L. PADOVANI
Interactive Editing of MathML Markup Using TeX Syntax
2004-01-01 Padovani, Luca
A Generative Approach to the Implementation of Language Bindings for the Document Object Model
2004-01-01 Padovani, Luca; SACERDOTI COEN, C.; Zacchiroli, S.
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics
2004-01-01 Padovani, Luca; Solmi, R.
Path Expression Templates Library
2005-01-01 Padovani, Luca
A Distributed Implementation of Mobile Nets as Mobile Agents
2005-01-01 Busi, N.; Padovani, Luca
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile