scientific article; zbMATH DE number 33718
From MaRDI portal
Publication:3989061
Recommendations
- Computerizing mathematical text with MathLang
- A mathematical model for translation of natural languages
- A calculus for language transformations
- scientific article; zbMATH DE number 3300550
- Lambek calculus for transformational grammar
- scientific article; zbMATH DE number 605141
- First experiments with neural translation of informal to formal mathematics
Cited in
(3)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3989061)