## Adam Sobieski

- RE: Using content-MathML for computation and analysis in Science and Engineering
- RE: Mathematical Typography, Layout and Rendering

## Andreas Strotmann

## Andreas.strotmann

- AW: Re: Using content-MathML for computation and analysis in Science and Engineering
- AW: Re: Using content-MathML for computation and analysis in Science and Engineering
- AW: Re: Using content-MathML for computation and analysis in Science and Engineering

## Andrew Miller

- Section 4.3.4.1.2 - type attribute on nary-set.class members
- Re: MathML 3 - section 4.6 "The Strict Content MathML Transformation"
- MathML 3 - section 4.6 "The Strict Content MathML Transformation"
- MathML3 specification is inconsistent about qualifier content of non-strict constructors
- Minor problems found in MathML 3 specification

## Bruce Miller

## Christoph LANGE

## Daniel Marques

## David Carlisle

- Re: MathML3 specification is inconsistent about qualifier content of non-strict constructors
- Fwd: [tex-fonts] Lucida OpenType available from TUG
- Re: Using content-MathML for computation and analysis in Science and Engineering
- Re: Using content-MathML for computation and analysis in Science and Engineering
- Re: Minor problems found in MathML 3 specification
- Re: Using content-MathML for computation and analysis in Science and Engineering
- Re: Using content-MathML for computation and analysis in Science and Engineering
- Re: Using content-MathML for computation and analysis in Science and Engineering
- Re: Using content-MathML for computation and analysis in Science and Engineering
- Re: gcedil

## Davide P. Cervone

## Frédéric WANG

- Re: Embellished operators
- Re: Embellished operators
- Re: Fwd: [tex-fonts] Lucida OpenType available from TUG

## Joe Java

## m.kohlhase@jacobs-university.de

## Neil Soiffer

- Re: Embellished operators
- Re: Embellished operators
- Re: MathPlayer 2.2 stretches parentheses to the size of the integral symbol.

## Paul Libbrecht

- Re: Using content-MathML for computation and analysis in Science and Engineering
- Re: Using content-MathML for computation and analysis in Science and Engineering
- MathUI 2012: first call for papers (Mathematical User Interfaces Workshop)

## Peter Murray-Rust

- Re: Re: Using content-MathML for computation and analysis in Science and Engineering
- Re: Using content-MathML for computation and analysis in Science and Engineering
- Re: Using content-MathML for computation and analysis in Science and Engineering
- Re: Using content-MathML for computation and analysis in Science and Engineering
- Re: Using content-MathML for computation and analysis in Science and Engineering
- Re: Using content-MathML for computation and analysis in Science and Engineering
- Re: Using content-MathML for computation and analysis in Science and Engineering
- Re: Using content-MathML for computation and analysis in Science and Engineering
- Re: Using content-MathML for computation and analysis in Science and Engineering
- Re: Using content-MathML for computation and analysis in Science and Engineering
- Re: Using content-MathML for computation and analysis in Science and Engineering
- Using content-MathML for computation and analysis in Science and Engineering

## Roberto Sebastiani

- PHD position on SAT/SMT applications to requirement engineering in Trento
- PHD position on SMT-based formal verification in Trento