Mathematical Text Processing in EA-style: a Sequent Approach.
- Published in:
- Journal of Formalized Reasoning, 2016, v. 9, n. 1, p. 235
- By:
- Publication type:
- Article
Works matching IS 19725787 AND DT 2016 AND VI 9 AND IP 1
Results: 10
1
2
QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge.
- Published in:
- Journal of Formalized Reasoning, 2016, v. 9, n. 1, p. 201
- By:
- Publication type:
- Article
3
Conversion of HOL Light proofs into Metamath.
- Published in:
- Journal of Formalized Reasoning, 2016, v. 9, n. 1, p. 187
- By:
- Publication type:
- Article
4
Theorema 2.0: Computer-Assisted Natural-Style Mathematics.
- Published in:
- Journal of Formalized Reasoning, 2016, v. 9, n. 1, p. 149
- By:
- Publication type:
- Article
5
Hammering towards QED.
- Published in:
- Journal of Formalized Reasoning, 2016, v. 9, n. 1, p. 101
- By:
- Publication type:
- Article
6
Mixing Computations and Proofs.
- Published in:
- Journal of Formalized Reasoning, 2016, v. 9, n. 1, p. 71
- By:
- Publication type:
- Article
7
Formalizing Scientifically Applicable Mathematics in a Definitional Framework.
- Published in:
- Journal of Formalized Reasoning, 2016, v. 9, n. 1, p. 53
- By:
- Publication type:
- Article
8
Now is continuous (exercise!).
- Published in:
- Journal of Formalized Reasoning, 2016, v. 9, n. 1, p. 33
- By:
- Publication type:
- Article
9
Proof Auditing Formalised Mathematics.
- Published in:
- Journal of Formalized Reasoning, 2016, v. 9, n. 1, p. 3
- By:
- Publication type:
- Article
10
Preface: Twenty Years of the QED Manifesto.
- Published in:
- Journal of Formalized Reasoning, 2016, v. 9, n. 1, p. 1
- By:
- Publication type:
- Article