TeXmacs-Reduce interface
Mathematical Software
2012-04-16 v1
Authors:
Andrey Grozin
Abstract
This tutorial (based on the talk at the TeXmacs workshop in Faro, Portugal, February 26 - March 2, 2012) describes the new and improved Reduce plugin in GNU TeXmacs.
Cite
@article{arxiv.1204.3020,
title = {TeXmacs-Reduce interface},
author = {Andrey Grozin},
journal= {arXiv preprint arXiv:1204.3020},
year = {2012}
}
Comments
html exported from TeXmacs (alas, arXiv does not accept TeXmacs files)
Related papers
View all related →
Symbolic Computation · Computer Science
TeXmacs-maxima interface
A. G. Grozin
2007-05-23
Symbolic Computation · Computer Science
TeXmacs interfaces to Maxima, MuPAD and REDUCE
A. G. Grozin
2007-05-23
Programming Languages · Computer Science
Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming
Maribel Fernández
2010-01-27
Symbolic Computation · Computer Science
Lectures on Reduce and Maple at UAM I - Mexico
Marc Toussaint
2007-05-23
Logic in Computer Science · Computer Science
Proceedings Fourth Workshop on Foundations of Interface Technologies
Sebastian Bauer, Jean-Baptiste Raclet
2012-07-17
Human-Computer Interaction · Computer Science
ReFinE: Streamlining UI Mockup Iteration with Research Findings
Donghoon Shin, Bingcan Guo, Jaewook Lee, Lucy Lu Wang +1
2026-04-28
Human-Computer Interaction · Computer Science
Proceedings of the 12th Workshop on User Interfaces for Theorem Provers
Serge Autexier, Pedro Quaresma
2017-01-25
Computer Vision and Pattern Recognition · Computer Science
ReMaX: Relaxing for Better Training on Efficient Panoptic Segmentation
Shuyang Sun, Weijun Wang, Qihang Yu, Andrew Howard +2
2023-07-03
Software Engineering · Computer Science
Proceedings 16th International Refinement Workshop
John Derrick, Eerke Boiten, Steve Reeves
2013-05-27
Logic in Computer Science · Computer Science
Proceedings 10th International Workshop On User Interfaces for Theorem Provers
Cezary Kaliszyk, Christoph Lüth
2013-07-08
Information Retrieval · Computer Science
MMRec: Simplifying Multimodal Recommendation
Xin Zhou
2024-02-09
Mathematical Software · Computer Science
Report on the second Toulouse Tensor Workshop
Jan Brandejs, Trond Saue, Andre Severo Pereira Gomes, Lucas Visscher +1
2026-02-06
Logic in Computer Science · Computer Science
A Web Interface for Matita
Andrea Asperti, Wilmer Ricciotti
2012-07-13
Logic in Computer Science · Computer Science
Proceedings Eighth Workshop on Intersection Types and Related Systems
Naoki Kobayashi
2017-03-31
Software Engineering · Computer Science
Deuce: A Lightweight User Interface for Structured Editing
Brian Hempel, Justin Lubin, Grace Lu, Ravi Chugh
2018-02-06
Social and Information Networks · Computer Science
Refactoring Technical Support to Reduce Interrupts of Developers
Zádor Dániel Kelemen, Balázs Tódor, Sándor Hodosi, Ákos Somfai
2015-10-19
Numerical Analysis · Mathematics
Approximation of skewed interfaces with tensor-based model reduction procedures: application to the reduced basis hierarchical model reduction approach
Mario Ohlberger, Kathrin Smetana
2016-08-01
Instrumentation and Methods for Astrophysics · Physics
Teareduce: a Python package with utilities for teaching reduction techniques in Astronomy
Nicolás Cardiel, Sergio Pascual, María Chillarón-Víctor, Cristina Cabello +3
2026-01-30
High Energy Physics - Theory · Physics
A Practical Mini-Course on Applied Holography
Matteo Baggioli
2019-12-17
Data Analysis, Statistics and Probability · Physics
GUI Tools for an Enhanced User Experience
P. A. Kienzle
2007-05-23
Software Engineering · Computer Science
Solving the TTC 2011 Reengineering Case with Edapt
Markus Herrmannsdoerfer
2011-11-22
Logic in Computer Science · Computer Science
Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming
Santiago Escobar
2012-04-25
Computation and Language · Computer Science
Learning to Reduce: Towards Improving Performance of Large Language Models on Structured Data
Younghun Lee, Sungchul Kim, Ryan A. Rossi, Tong Yu +1
2024-07-04
Software Engineering · Computer Science
RAID: Tool Support for Refactoring-Aware Code Reviews
Rodrigo Brito, Marco Tulio Valente
2021-03-23
Signal Processing · Electrical Eng. & Systems
Proceedings of the International Workshop on Reconfigurable and Communication-centric Cyber-Physical Systems (ReCoCyPS 2019)
Leandro Soares Indrusiak, Piotr Dziurzanski, Shuai Zhao
2019-09-13