Clemens Ballarin

Available identifiers

Publication	Date of Publication	Type
Exploring the structure of an algebra text with locales	2020-11-02	Paper
Maple's evaluation process as constraint contextual rewriting	2017-02-03	Paper
Solving parametric linear systems	2016-07-18	Paper
Locales: a module system for mathematical theories	2015-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q3062061	2011-01-03	Paper
Generating certified code from formal proofs: a case study in homological algebra	2010-05-05	Paper
A mechanized proof of the basic perturbation lemma	2008-06-11	Paper
A reconstruction and extension of Maple's assume facility via constraint contextual rewriting	2007-10-19	Paper
Interpretation of Locales in Isabelle: Theories and Proof Contexts	2007-09-05	Paper
Computer Aided Systems Theory – EUROCAST 2005	2006-11-01	Paper
Types for Proofs and Programs	2005-12-23	Paper
Artificial Intelligence and Symbolic Computation	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4934138	2000-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4227289	1999-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q4217948	1998-11-11	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Clemens Ballarin