Effective Methods for Janet(-like) Completion
Conference/Journal Name
26th International Conference on Computer Algebra in Scientific Computing (CASC 2025)
doi
Article type
Conference
Co-writers
امير هاشمي, Rodrigo Iglesias, Matthias Orth, Eduardo Saenz-de-Cabezon, Werner M. Seiler