Clemens Ballarin - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2020

Exploring the Structure of an Algebra Text with LocalesClemens Ballarin. JAR, 64(6):1093-1121, 2020. [doi]

2019

A Case Study in Basic AlgebraClemens Ballarin. afp, 2019, 2019. [doi]

2014

Locales: A Module System for Mathematical TheoriesClemens Ballarin. JAR, 52(2):123-153, 2014. [doi]

Two Generalisations of Roşu and Chen's Trace Slicing Algorithm AClemens Ballarin. RV 2014: 15-30 [doi]

2013

Reading an algebra textbookClemens Ballarin. mkm 2013: [doi]

Towards monitoring temporal properties with JamaicaVMClemens Ballarin. jtres 2013: 89-95 [doi]

2010

Generating certified code from formal proofs: a case study in homological algebraJesús Aransay, Clemens Ballarin, Julio Rubio. fac, 22(2):193-213, 2010. [doi]

2008

A Mechanized Proof of the Basic Perturbation LemmaJesús Aransay, Clemens Ballarin, Julio Rubio. JAR, 40(4):271-292, 2008. [doi]

Computer algebra and theorem provingClemens Ballarin. PhD thesis, Karlsruhe University, Germany, 2008. [doi]

2006

Interpretation of Locales in Isabelle: Theories and Proof ContextsClemens Ballarin. AISC 2006: 31-43 [doi]

2005

Extracting Computer Algebra Programs from StatementsJesús Aransay, Clemens Ballarin, Julio Rubio. eurocast 2005: 159-168 [doi]

A reconstruction and extension of Maple s assume facility via constraint contextual rewritingAlessandro Armando, Clemens Ballarin. JSC, 39(5):503-521, 2005. [doi]

Fast Fourier TransformClemens Ballarin. afp, 2005, 2005. [doi]

2004

Four Approaches to Automated Reasoning with Differential Algebraic StructuresJesús Aransay, Clemens Ballarin, Julio Rubio. AISC 2004: 222-235 [doi]

Solving parametric linear systems: an experiment with constraint algebraic programmingClemens Ballarin, Manuel Kauers. cca, 38(2):33-46, 2004. [doi]

2003

Locales and Locale Expressions in Isabelle/IsarClemens Ballarin. TYPES 2004: 34-50 [doi]

2001

Maple s evaluation process as constraint contextual rewritingAlessandro Armando, Clemens Ballarin. issac 2001: 32-37 [doi]

1999

A Pragmatic Approach to Extending Provers by Computer Algebra - with Applications to Coding TheoryClemens Ballarin, Lawrence C. Paulson. FUIN, 39(1-2):1-20, 1999.

1998

Reasoning About Coding Theory: The Benefits We Get from Computer AlgebraClemens Ballarin, Lawrence C. Paulson. AISC 1998: 55-66 [doi]

1995

Theorems and Algorithms: An Interface between Isabelle and MapleClemens Ballarin, Karsten Homann, Jacques Calmet. issac 1995: 150-157 [doi]

Sign in or sign up to see more results.

runs on WebDSL