The following pages link to Alan P. Sexton (Q1926588):
Displayed 15 items.
- Abstracting symbolic matrices (Q1926589) (← links)
- Computing with abstract matrix structures (Q2883836) (← links)
- Abramowitz and Stegun – A Resource for Mathematical Document Analysis (Q2907321) (← links)
- MaxTract: Converting PDF to $\mbox\LaTeX$ , MathML and Text (Q2907342) (← links)
- Abstract matrices in symbolic computation (Q2959006) (← links)
- (Q3185215) (← links)
- (Q3398152) (← links)
- Symbolic Domain Decomposition (Q3582706) (← links)
- Reasoning with Generic Cases in the Arithmetic of Abstract Matrices (Q3637274) (← links)
- A Linear Grammar Approach to Mathematical Formula Recognition from PDF (Q3637278) (← links)
- Reasoning about B+ Trees with Operational Semantics and Separation Logic (Q5415648) (← links)
- Towards a Parser for Mathematical Formula Recognition (Q5756758) (← links)
- Capturing Abstract Matrices from Paper (Q5756772) (← links)
- Mathematical Knowledge Management (Q5898515) (← links)
- Mathematical Knowledge Management (Q5898521) (← links)