Clemens Ballarin

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Exploring the structure of an algebra text with locales Journal of Automated Reasoning	2020-11-02	Paper
Maple's evaluation process as constraint contextual rewriting Proceedings of the 2001 international symposium on Symbolic and algebraic computation	2017-02-03	Paper
Solving parametric linear systems: an experiment with constraint algebraic programming ACM SIGSAM Bulletin	2016-07-18	Paper
Locales: a module system for mathematical theories Journal of Automated Reasoning	2015-07-02	Paper
Tutorial to locales and locale interpretation	2011-01-03	Paper
Generating certified code from formal proofs: a case study in homological algebra Formal Aspects of Computing	2010-05-05	Paper
A mechanized proof of the basic perturbation lemma Journal of Automated Reasoning	2008-06-11	Paper
A reconstruction and extension of Maple's assume facility via constraint contextual rewriting Journal of Symbolic Computation	2007-10-19	Paper
Interpretation of Locales in Isabelle: Theories and Proof Contexts Lecture Notes in Computer Science	2007-09-05	Paper
Computer Aided Systems Theory – EUROCAST 2005 Lecture Notes in Computer Science	2006-11-01	Paper
Types for Proofs and Programs Lecture Notes in Computer Science	2005-12-23	Paper
Artificial Intelligence and Symbolic Computation Lecture Notes in Computer Science	2005-08-19	Paper
scientific article; zbMATH DE number 1389645 (Why is no real title available?)	2000-01-17	Paper
scientific article; zbMATH DE number 1254246 (Why is no real title available?)	1999-02-23	Paper
scientific article; zbMATH DE number 1222424 (Why is no real title available?)	1998-11-11	Paper

Research outcomes over time

This page was built for person: Clemens Ballarin