|
|
First Year Report
– Mathlang Framework For, Phd Student Manuel Maarek
- 2003
|
|
20
|
Flexible encoding of mathematics on the computer
– Fairouz Kamareddine, Manuel Maarek, J. B. Wells
- 2004
|
|
|
unknown title
– Fairouz Kamareddine
- 2005
|
|
|
Logic and Computerisation in mathematics?
– Fairouz Kamareddine
- 2009
|
|
|
century: A journey through Frege, Russell and
– Fairouz Kamareddine
- 2004
|
|
2
|
The De Bruijn Factor
– Freek Wiedijk
- 2000
|
|
|
A Gradual Computerisation Path in the MathLang Framework: A First Year Report
– Robert Lamar
- 2007
|
|
8
|
Intuitive and Formal Representations: The Case of Matrices
– Martin Pollet, Volker Sorge, Manfred Kerber
- 2004
|
|
|
(ULTRA group, Heriot-Watt University)
– F. Kamareddine, M. Maarek, K. Retel, J. B. Wells, Computerisation Vs. Formalisation
|
|
|
Mechanizing and Automating Mathematics: In honor of N.G. de Bruijn
– Automath Started In, Automath N. G, Bruijn Automath
|
|
4
|
A Compendium of Continuous Lattices in MIZAR - Formalizing recent mathematics
– Grzegorz Bancerek, Piotr Rudnicki, Robert Milewski, Adam Naumowicz, Yuji Sakai, Bart Lomiej
- 2002
|
|
17
|
Toward an object-oriented structure for mathematical text
– Fairouz Kamareddine, Manuel Maarek, J. B. Wells
- 2006
|
|
|
Project Title Systems for Computer-Supported Mathematical Knowledge Evolution Specific Programme Structuring the European Research Area Activity Human Resources and Mobility Activities
– Marie Curie Actions
- 2003
|
|
|
Towards semi-automatic . . .
– Krzysztof Retel
|
|
3
|
Mathematical Vernacular in Type Theory-based Proof Assistants
– Paul Callaghan, Zhaohui Luo
- 1998
|
|
1
|
Computer-Assisted Reasoning with Natural Language: Implementing a Mathematical Vernacular
– Paul Callaghan, Zhaohui Luo
- 1998
|
|
|
Refinement Types for Logical Frameworks
– William Lovas, Karl Crary
- 2010
|
|
14
|
Mathematical Vernacular and Conceptual Well-formedness in Mathematical Language
– Zhaohui Luo, Paul Callaghan
- 1998
|
|
16
|
An extensible proof text editor
– Thomas Hallgren, Aarne Ranta
- 2000
|
