Exploring the Structure of an Algebra Text with Locales von Ballarin, Clemens

Volltext

Locales: A Module System for Mathematical Theories von Ballarin, Clemens

Volltext

Interpretation of Locales in Isabelle: Theories and Proof Contexts von Ballarin, Clemens

Volltext

Two Generalisations of Roşu and Chen’s Trace Slicing Algorithm A von Ballarin, Clemens

Volltext

Locales and Locale Expressions in Isabelle/Isar von Ballarin, Clemens

Volltext

A Mechanized Proof of the Basic Perturbation Lemma von Aransay, Jesús, Ballarin, Clemens, Rubio, Julio

Volltext

Generating certified code from formal proofs: a case study in homological algebra von Aransay, Jesús, Ballarin, Clemens, Rubio, Julio

Volltext

Extracting Computer Algebra Programs from Statements von Aransay, Jesús, Ballarin, Clemens, Rubio, Julio

Volltext

Four Approaches to Automated Reasoning with Differential Algebraic Structures von Aransay, Jesús, Ballarin, Clemens, Rubio, Julio

Volltext

A reconstruction and extension of Maple’s assume facility via constraint contextual rewriting von Armando, Alessandro, Ballarin, Clemens

Volltext

Reasoning about coding theory: The benefits we get from computer algebra von Ballarin, Clemens, Paulson, Lawrence C.

Volltext

Tutorial to locales and locale interpretation von Ballarin, Clemens

Volltext bestellen

Solving parametric linear systems: an experiment with constraint algebraic programming von Ballarin, Clemens, Kauers, Manuel

Volltext

Solving parametric linear systems von Ballarin, Clemens, Kauers, Manuel

Volltext