Clemens Ballarin

J. Autom. Reason., 2020

2019

A Case Study in Basic Algebra.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2019

2014

Locales: A Module System for Mathematical Theories.

[BibT_eX]

[DOI]

J. Autom. Reason., 2014

Two Generalisations of Roşu and Chen's Trace Slicing Algorithm A.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 5th International Conference, 2014

2013

Reading an algebra textbook.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the MathUI, 2013

Towards monitoring temporal properties with JamaicaVM.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, 2013

2010

Generating certified code from formal proofs: a case study in homological algebra.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2010

2008

Computer algebra and theorem proving

[BibT_eX]

[DOI]

PhD thesis, 2008

A Mechanized Proof of the Basic Perturbation Lemma.

[BibT_eX]

[DOI]

J. Autom. Reason., 2008

2006

Interpretation of Locales in Isabelle: Theories and Proof Contexts.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

2005

A reconstruction and extension of Maple's assume facility via constraint contextual rewriting.

[BibT_eX]

[DOI]

Alessandro Armando

J. Symb. Comput., 2005

Fast Fourier Transform.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2005

Extracting Computer Algebra Programs from Statements.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory, 2005

2004

Solving parametric linear systems: an experiment with constraint algebraic programming.

[BibT_eX]

[DOI]

Manuel Kauers

SIGSAM Bull., 2004

Four Approaches to Automated Reasoning with Differential Algebraic Structures.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

2003

Locales and Locale Expressions in Isabelle/Isar.

[BibT_eX]

[DOI]

Proceedings of the Types for Proofs and Programs, International Workshop, 2003

2001

Maple's evaluation process as constraint contextual rewriting.

[BibT_eX]

[DOI]

Alessandro Armando

Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, 2001

1999

A Pragmatic Approach to Extending Provers by Computer Algebra - with Applications to Coding Theory.

[BibT_eX]

[DOI]

Lawrence C. Paulson

Fundam. Informaticae, 1999

1998

Reasoning About Coding Theory: The Benefits We Get from Computer Algebra.

[BibT_eX]

[DOI]

Lawrence C. Paulson

Proceedings of the Artificial Intelligence and Symbolic Computation, 1998

1995

Theorems and Algorithms: An Interface between Isabelle and Maple.

[BibT_eX]

[DOI]