Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
32
views
6
references
Top references
cited by
3
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
767
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Rewriting Techniques and Applications
Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra Systems
other
Author(s):
Howard S. Cohl
,
Moritz Schubotz
,
Abdou Youssef
,
André Greiner-Petter
,
Jürgen Gerhard
,
Bonita V. Saunders
,
Marjorie A. McClain
,
Joon Bang
,
Kevin Chen
Publication date
(Online):
June 28 2017
Publisher:
Springer International Publishing
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Semantic Knowledge Base
Most cited references
6
Record
: found
Abstract
: not found
Book
: not found
Handbook of Continued Fractions for Special Functions
A. Cuyt
,
V PETERSEN
,
B Verdonk
…
(2008)
0
comments
Cited
6
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Semantification of Identifiers in Mathematics for Better Math Information Retrieval
Moritz Schubotz
,
Alexey Grigorev
,
Marcus Leich
…
(2016)
0
comments
Cited
6
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Part-of-Math Tagging and Applications
Abdou Youssef
(2017)
0
comments
Cited
4
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2017
Publication date (Online):
June 28 2017
Pages
: 115-131
DOI:
10.1007/978-3-319-62075-6_9
SO-VID:
fe92831e-1c9f-44a8-a743-c38114ec1e1f
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 3
Mobile-Application Based Cognitive Behavior Therapy (CBT) for Identifying and Managing Depression and Anxiety
pp. 11
Learning to Avoid Poor Images: Towards Task-aware C-arm Cone-beam CT Trajectories
pp. 18
Achieving Anonymity against Major Face Recognition Algorithms
pp. 36
SMSFR: SMS-Based FAQ Retrieval System
pp. 47
Technological Approach for Early and Unobtrusive Detection of Possible Health Changes Toward More Effective Treatment
pp. 81
Gamification Design Framework for Mobile Health: Designing a Home-Based Self-management Programme for Patients with Chronic Heart Failure
pp. 114
Sentiment Spreading: An Epidemic Model for Lexicon-Based Sentiment Analysis on Twitter
pp. 115
Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra Systems
pp. 151
Limited-Memory Warping LCSS for Real-Time Low-Power Pattern Recognition in Wireless Nodes
pp. 55
A Simple Dual Ascent Algorithm for the Multilevel Facility Location Problem
pp. 156
Linear Second-Order Unification and Context Unification with Tree-Regular Constraints
pp. 172
Adoption Factors for Crowdsourcing Based Medical Information Platforms
pp. 225
Verifying Hybrid Systems with Modal Kleene Algebra
pp. 186
Personalized Deep Learning for Tag Recommendation
pp. 224
Privacy-Preserving Cloud Auditing with Multiple Uploaders
pp. 261
Explaining the Influence of Prior Knowledge on POMCP Policies
pp. 292
Using Personality Types to Support Argumentation
pp. 170
AFCAL and the Emergence of Computer Science in France: 1957–1967
pp. 290
Automated Inference of Library Specifications for Source-Sink Property Verification
pp. 320
Identifying and Prioritizing Architectural Debt Through Architectural Smells: A Case Study in a Large Software Company
pp. 226
A Two-Layered Integration Approach for Product Information in B2B E-commerce
pp. 311
Usability of User-Centric Mobile Application Design from Visually Impaired People’s Perspective
pp. 126
Combining P-Plan and the REPRODUCE-ME Ontology to Achieve Semantic Enrichment of Scientific Experiments Using Interactive Notebooks
pp. 283
Modelling Social Network Evolution
pp. 503
Identification of Translationese: A Machine Learning Approach
pp. 437
Emotion Recognition Using Physiological Signals
pp. 531
Human Identification Based on Gait Paths
pp. 361
A Composite Wavelets and Morphology Approach for ECG Noise Filtering
pp. 548
Software Fault Localization Using N-gram Analysis
pp. 442
Solving the Vanishing Information Problem with Repeated Potential Mutual Information Maximization
pp. 449
On the Security of Cluster-Based Communication Protocols for Wireless Sensor Networks
pp. 599
A distributed solution to the k-out of-M resources allocation problem
pp. 454
An Agent-Based Wireless Sensor Network for Water Quality Data Collection
Similar content
767
Generation of Boxes and Permutations Using a Bijective Function and the Lorenz Equations: An Application to Color Image Encryption
Authors:
Víctor Manuel Silva-García
,
Rolando Flores-Carapia
,
Manuel Alejandro Cardona-López
…
Metasurface-based bijective illumination collection imaging provides high-resolution tomography in three dimensions
Authors:
Masoud Pahlevaninezhad
,
Yao-Wei Huang
,
Majid Pahlevani
…
A simple explicit bijection between (n,2) Gog and Magog trapezoids
Authors:
See all similar
Cited by
3
Part-of-Math Tagging and Applications
Authors:
Abdou Youssef
Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra Systems
Authors:
Andre Greiner-Petter
,
Moritz Schubotz
,
Akiko Aizawa
…
Improving the Representation and Conversion of Mathematical Formulae by Considering their Textual Context
Authors:
Bela Gipp
,
Howard S. Cohl
,
Philipp Scharpf
…
See all cited by