Stephen M. Watt

CoRR, 2023

Hybrid Intervals and Symbolic Block Matrices.

[BibT_eX]

[DOI]

Mike Ghesquiere

CoRR, 2023

Efficient Quotients Using Exact Arithmetic.

[BibT_eX]

[DOI]

CoRR, 2023

Extracting Theory Graphs from Aldor Libraries.

[BibT_eX]

[DOI]

Florian Rabe

Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023

Efficient Generic Quotients Using Exact Arithmetic.

[BibT_eX]

[DOI]

Stephen Michael Watt

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

Efficient Quotients of Non-commutative Polynomials.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing - 25th International Workshop, 2023

2022

Detecting Implicit Indeterminates in Symbolic Computation.

[BibT_eX]

[DOI]

Proceedings of the 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2022

Working with Families of Inverse Functions.

[BibT_eX]

[DOI]

David J. Jeffrey

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

2021

Telescopers for differential forms with one parameter.

[BibT_eX]

[DOI]

CoRR, 2021

2019

A Review of Algorithms for Symbolic Domains.

[BibT_eX]

[DOI]

Proceedings of the 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2019

Handwriting Feature Extraction via Legendre-Sobolev Matrix Representation.

[BibT_eX]

[DOI]

Parisa Alvandi

Proceedings of the 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2019

The LegendreSobolev Package and Its Applications in Handwriting Recognition.

[BibT_eX]

[DOI]

Parisa Alvandi

Proceedings of the Maple in Mathematics Education and Research - Third Maple Conference, 2019

2018

Real-Time Computation of Legendre-Sobolev Approximations.

[BibT_eX]

[DOI]

Parisa Alvandi

Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018

2017

TCS SNC Preface.

[BibT_eX]

[DOI]

Jan Verschelde

Lihong Zhi

Theor. Comput. Sci., 2017

Origami folds in higher-dimension.

[BibT_eX]

[DOI]

Tetsuo Ida

Proceedings of the SCSS 2017, 2017

The Global Digital Mathematics Library and the International Mathematical Knowledge Trust.

[BibT_eX]

[DOI]

Patrick D. F. Ion

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

2016

Thematic program in computer algebra: July 1 - Dec 31, 2015.

[BibT_eX]

[DOI]

George Labahn

ACM Commun. Comput. Algebra, 2016

How to Build a Global Digital Mathematics Library.

[BibT_eX]

[DOI]

Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016

Combinatorics of Hybrid Sets.

[BibT_eX]

[DOI]

Shaoshi Chen

Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016

2014

Distance-based High-frequency Trading.

[BibT_eX]

[DOI]

Travis Felker

Proceedings of the International Conference on Computational Science, 2014

2013

Guest Editors' foreword.

[BibT_eX]

[DOI]

Wolfram Koepf

J. Symb. Comput., 2013

Identifying Features via Homotopy on Handwritten Mathematical Symbols.

[BibT_eX]

[DOI]

Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

Recommendation systems in mathematical character recognition.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the MathUI, 2013

Determining Points on Handwritten Mathematical Symbols.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 2013

InkChat: a collaboration tool for mathematics.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the MathUI, 2013

2012

What is an Equation?

[BibT_eX]

[DOI]

Solomon Marcus

Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

A Structure for Adaptive Handwriting Recognition.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Conference on Frontiers in Handwriting Recognition, 2012

Recognition of Relatively Small Handwritten Characters or "Size Matters".

[BibT_eX]

[DOI]

Proceedings of the 2012 International Conference on Frontiers in Handwriting Recognition, 2012

Optimization of Point Selection on Digital Ink Curves.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Conference on Frontiers in Handwriting Recognition, 2012

Improving isolated and in-context classication of handwritten characters.

[BibT_eX]

[DOI]

Proceedings of the Document Recognition and Retrieval XIX, 2012

Linear Compression of Digital Ink via Point Selection.

[BibT_eX]

[DOI]

Proceedings of the 10th IAPR International Workshop on Document Analysis Systems, 2012

Lightweight Abstraction for Mathematical Computation in Java.

[BibT_eX]

[DOI]

Pavel Bourdykine

Proceedings of the Computer Algebra in Scientific Computing - 14th International Workshop, 2012

Writing on Clouds.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

A Streaming Digital Ink Framework for Multi-party Collaboration.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

An architecture for generic extensions.

[BibT_eX]

[DOI]

Cosmin E. Oancea

Sci. Comput. Program., 2011

In honour of Keith Geddes on his 60th birthday.

[BibT_eX]

[DOI]

Mark Giesbrecht

J. Symb. Comput., 2011

Computational Tools for Mathematical Collaboration.

[BibT_eX]

[DOI]

Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011

Polynomial approximation in handwriting recognition.

[BibT_eX]

[DOI]

Proceedings of the SNC 2011, 2011

2010

Distance-based classification of handwritten symbols.

[BibT_eX]

[DOI]

Int. J. Document Anal. Recognit., 2010

On the Mathematics of Mathematical Handwriting Recognition.

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

Digital Ink Compression via Functional Approximation.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Frontiers in Handwriting Recognition, 2010

Improved classification through runoff elections.

[BibT_eX]

[DOI]

Proceedings of the Ninth IAPR International Workshop on Document Analysis Systems, 2010

Toward affine recognition of handwritten mathematical characters.

[BibT_eX]

[DOI]

Proceedings of the Ninth IAPR International Workshop on Document Analysis Systems, 2010

Type Specialization in Aldor.

[BibT_eX]

[DOI]

Laurentiu Dragan

Proceedings of the Computer Algebra in Scientific Computing - 12th International Workshop, 2010

Symbolic Domain Decomposition.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009

Algorithms for the Functional Decomposition of Laurent Polynomials.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 2009

Reasoning with Generic Cases in the Arithmetic of Abstract Matrices.

[BibT_eX]

[DOI]

Alan P. Sexton

Volker Sorge

Proceedings of the Intelligent Computer Mathematics, 2009

Confidence Measures in Recognizing Handwritten Mathematical Symbols.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 2009

A new approach to parallelising tracing algorithms.

[BibT_eX]

[DOI]

Cosmin E. Oancea

Alan Mycroft

Proceedings of the 8th International Symposium on Memory Management, 2009

Computing with abstract matrix structures.

[BibT_eX]

[DOI]

Alan P. Sexton

Volker Sorge

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009

A Collaborative Interface for Multimodal Ink and Audio Documents.

[BibT_eX]

[DOI]

Amit Regmi

Proceedings of the 10th International Conference on Document Analysis and Recognition, 2009

Online Recognition of Multi-Stroke Symbols with Orthogonal Series.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Document Analysis and Recognition, 2009

Online computation of similarity between handwritten characters.

[BibT_eX]

[DOI]

Proceedings of the Document Recognition and Retrieval XVI, 2009

2008

On the functional decomposition of multivariate laurent polynomials (abstract only).

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2008

Communicating Mathematics via Pen-Based Interfaces.

[BibT_eX]

[DOI]

Elena S. Smirnova

Proceedings of the SYNASC 2008, 2008

Abstract Matrix Arithmetic.

[BibT_eX]

[DOI]

Alan P. Sexton

Volker Sorge

Proceedings of the SYNASC 2008, 2008

Functional Decomposition of Symbolic Polynomials.

[BibT_eX]

[DOI]

Proceedings of the Selected Papers of the Sixth International Conference on Computational Sciences and Its Applications, 2008

An Empirical Measure on the Set of Symbols Occurring in Engineering Mathematics Texts.

[BibT_eX]

[DOI]

Proceedings of the Eighth IAPR International Workshop on Document Analysis Systems, 2008

Online stroke modeling for handwriting recognition.

[BibT_eX]

[DOI]

Proceedings of the 2008 conference of the Centre for Advanced Studies on Collaborative Research, 2008

2007

Dynamic ADTs: a "don't ask, don't tell" policy for data abstraction.

[BibT_eX]

[DOI]

Geoff Wozniak

Mark Daley

Proceedings of the International Lisp Conference, 2007

Multiprocessed parallelism support in ALDOR on SMPs and multicores.

[BibT_eX]

[DOI]

Proceedings of the Parallel Symbolic Computation, 2007

Generation and optimisation of code using coxeter lattice paths.

[BibT_eX]

[DOI]

Thomas J. Ashby

Anthony D. Kennedy

Proceedings of the Parallel Symbolic Computation, 2007

New Aspects of InkML for Pen-Based Computing.

[BibT_eX]

[DOI]