AW: Re: Using content-MathML for computation and analysis in Science and Engineering
CfP: Math Information Retrieval Worksohp 14. July 2012
Embellished operators
Fwd: [tex-fonts] Lucida OpenType available from TUG
gcedil
Mathematical Typography, Layout and Rendering
MathML 3 - section 4.6 "The Strict Content MathML Transformation"
MathML3 specification is inconsistent about qualifier content of non-strict constructors
MathPlayer 2.2 stretches parentheses to the size of the integral symbol.
MathUI 2012: first call for papers (Mathematical User Interfaces Workshop)
Minor problems found in MathML 3 specification
PHD position on SAT/SMT applications to requirement engineering in Trento
PHD position on SMT-based formal verification in Trento
Section 4.3.4.1.2 - type attribute on nary-set.class members
SePublica Submission Deadline Extended to March 18. Workshop@ESWC (May 27/28): Future of Scholarly Communication and Scientific Publishing
Using content-MathML for computation and analysis in Science and Engineering
- Peter Murray-Rust (Tuesday, 27 March)
- David Carlisle (Tuesday, 20 March)
- Peter Murray-Rust (Tuesday, 20 March)
- David Carlisle (Tuesday, 20 March)
- Paul Libbrecht (Tuesday, 20 March)
- Peter Murray-Rust (Tuesday, 20 March)
- Peter Murray-Rust (Tuesday, 20 March)
- Andreas Strotmann (Tuesday, 20 March)
- Adam Sobieski (Monday, 19 March)
- David Carlisle (Monday, 19 March)
- Peter Murray-Rust (Monday, 19 March)
- Peter Murray-Rust (Friday, 16 March)
- Peter Murray-Rust (Thursday, 15 March)
- Roger Martin (Thursday, 15 March)
- David Carlisle (Thursday, 15 March)
- Peter Murray-Rust (Thursday, 15 March)
- Peter Murray-Rust (Thursday, 15 March)
- Bruce Miller (Thursday, 15 March)
- David Carlisle (Thursday, 15 March)
- Peter Murray-Rust (Thursday, 15 March)
- Paul Libbrecht (Thursday, 15 March)
- David Carlisle (Thursday, 15 March)
- Peter Murray-Rust (Thursday, 15 March)
- Daniel Marques (Thursday, 15 March)
- Peter Murray-Rust (Thursday, 15 March)
Version 1.1.0 of the STIX fonts has been released
Last message date: Thursday, 29 March 2012 16:25:35 UTC