Clemens Ballarin

From MaRDI portal
Person:928665

Available identifiers

zbMath Open ballarin.clemensMaRDI QIDQ928665

List of research outcomes





PublicationDate of PublicationType
Exploring the structure of an algebra text with locales2020-11-02Paper
Maple's evaluation process as constraint contextual rewriting2017-02-03Paper
Solving parametric linear systems: an experiment with constraint algebraic programming2016-07-18Paper
Locales: a module system for mathematical theories2015-07-02Paper
Tutorial to locales and locale interpretation2011-01-03Paper
Generating certified code from formal proofs: a case study in homological algebra2010-05-05Paper
A mechanized proof of the basic perturbation lemma2008-06-11Paper
A reconstruction and extension of Maple's assume facility via constraint contextual rewriting2007-10-19Paper
Interpretation of Locales in Isabelle: Theories and Proof Contexts2007-09-05Paper
Computer Aided Systems Theory – EUROCAST 20052006-11-01Paper
Types for Proofs and Programs2005-12-23Paper
Artificial Intelligence and Symbolic Computation2005-08-19Paper
https://portal.mardi4nfdi.de/entity/Q49341382000-01-17Paper
https://portal.mardi4nfdi.de/entity/Q42272891999-02-23Paper
https://portal.mardi4nfdi.de/entity/Q42179481998-11-11Paper

Research outcomes over time

This page was built for person: Clemens Ballarin

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:928665&oldid=7550855"
Powered by MediaWiki