Search results for "simplification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Jason Williams 0007, Jarek Rossignac	Tightening: curvature-limiting morphological simplification.	Symposium on Solid and Physical Modeling	2005	DBLP DOI BibTeX RDF	topology, mathematical morphology, simplification
24	Shu-Kai Yang, Jung-Hong Chuang	Material-Discontinuity Preserving Progressive Mesh Using Vertex-Collapsing Simplification.	Virtual Real.	2003	DBLP DOI BibTeX RDF	Material-Discontinuity Preserving, Vertex Collapsing, Virtual Reality, Level Of Detail, Progressive Mesh, Topology Simplification
24	Youngihn Kho, Michael Garland	User-guided simplification.	SI3D	2003	DBLP DOI BibTeX RDF	user-guided simplification, level of detail, quadric error metrics
24	Peter Lindstrom 0001, Valerio Pascucci	Terrain Simplification Simplified: A General Framework for View-Dependent Out-of-Core Visualization.	IEEE Trans. Vis. Comput. Graph.	2002	DBLP DOI BibTeX RDF	continuous levels of detail, edge bisection, geomorphing, external memory paging, out-of-core algorithms, data layouts, Terrain visualization, surface simplification, error metrics, view-dependent refinement
24	Carlos Andújar, Pere Brunet, Dolors Ayala	Topology-reducing surface simplification using a discrete solid representation.	ACM Trans. Graph.	2002	DBLP DOI BibTeX RDF	Geometry simplification, surface reconstruction, multiresolution models
24	Gong Li, Benjamin Watson 0001	Semiautomatic simplification.	SI3D	2001	DBLP DOI BibTeX RDF	multiresolution modeling, model simplification
24	Herbert Edelsbrunner, David Letscher, Afra Zomorodian	Topological Persistence and Simplification.	FOCS	2000	DBLP DOI BibTeX RDF	topological persistence, growing complex, computational geometry, computational geometry, topology, fast algorithms, computational topology, topological change, filtration, algorithm theory, topological simplification, homology groups, alpha shapes
24	Paolo Cignoni, D. Constanza, Claudio Montani, Claudio Rocchini, Roberto Scopigno	Simplification of Tetrahedral meshes with accurate error evaluation.	IEEE Visualization	2000	DBLP DOI BibTeX RDF	simplical complexes, volume visualization, mesh simplification, unstructured grids
24	Frank Suits, James T. Klosowski, William P. Horn, Gérard Lecina	Simplification of surface annotations.	IEEE Visualization	2000	DBLP DOI BibTeX RDF	polygonal path, mesh, simplification, cartography, CAD/CAM, FEM
24	Xavier Tricoche, Gerik Scheuermann, Hans Hagen	A topology simplification method for 2D vector fields.	IEEE Visualization	2000	DBLP DOI BibTeX RDF	clustering, flow visualization, simplification, vector field topology
24	Jonathan D. Cohen 0001, Marc Olano, Dinesh Manocha	Appearance-Perserving Simplification.	SIGGRAPH	1998	DBLP DOI BibTeX RDF	maps, texture, color, normal, parameterization, attributes, simplification
24	David P. Luebke, Carl Erikson	View-dependent simplification of arbitrary polygonal environments.	SIGGRAPH	1997	DBLP DOI BibTeX RDF	level of detail, view dependent rendering, polygonal simplification
24	Michael Garland, Paul S. Heckbert	Surface simplification using quadric error metrics.	SIGGRAPH	1997	DBLP DOI BibTeX RDF	mutiresolution modeling, pair contraction, level of detail, surface simplification, non-manifold
24	Jonathan D. Cohen 0001, Amitabh Varshney, Dinesh Manocha, Greg Turk, Hans Weber, Pankaj K. Agarwal, Frederick P. Brooks Jr., William V. Wright	Simplification Envelopes.	SIGGRAPH	1996	DBLP DOI BibTeX RDF	hierarchical approximation, levels-of-detail generation, geometric modeling, model simplification, shape approximation, offsets
24	Susan Landau 0001	Simplification of Nested Radicals	FOCS	1989	DBLP DOI BibTeX RDF	radical simplification, nested radicals, equivalent expression, minimum nesting depth, decidable, minimal polynomial
23	Sweta Agrawal, Marine Carpuat	How To Control Text Simplification? An Empirical Study of Control Tokens for Meaning Preserving Controlled Simplification.	CoRR	2023	DBLP DOI BibTeX RDF
23	Daichi Yamaguchi, Rei Miyata, Sayuka Shimada, Satoshi Sato	Gauging the Gap Between Human and Machine Text Simplification Through Analytical Evaluation of Simplification Strategies and Errors.	EACL (Findings)	2023	DBLP DOI BibTeX RDF
23	Liam Cripwell	Controllable and Document-Level Text Simplification. (Simplification de texte contrôlable et au niveau du document).		2023	RDF
23	Abhaya Dhathri Arige	Simplification of 3D CAD models with deep learning for augmented reality. (Simplification des modèles CAO 3D avec l'apprentissage profond pour la réalité augmentée).		2023	RDF
23	Eytan Chamovitz, Omri Abend	Cognitive Simplification Operations Improve Text Simplification.	CoRR	2022	DBLP DOI BibTeX RDF
23	Eytan Chamovitz, Omri Abend	Cognitive Simplification Operations Improve Text Simplification.	CoNLL	2022	DBLP DOI BibTeX RDF
23	Hans-Jörg Schurr	Stronger SMT Solvers for Proof Assistants: Proofs, Quantifier Simplification, Strategy Schedules. (Consolidation des solveurs SMT pour les assistants de preuve: preuves, simplification des quantificateurs, planification de stratégies).		2022	RDF
23	François Buet	Modèles neuronaux pour la simplification de parole, application au sous-titrage. (Neural models for speech simplification, application to closed captioning).		2022	RDF
23	Vincent Vadez	Geometric Simplification for Radiative Thermal Simulation of satellites. (Simplification Géométrique pour la Simulation Thermique Radiative de satellites).		2022	RDF
23	Rémi Cardon, Natalia Grabar	Simplification automatique de textes biomédicaux en français: lorsque des données précises de petite taille aident (French Biomedical Text Simplification : When Small and Precise Helps ).	TALN (1)	2021	DBLP BibTeX RDF
23	Neha Srikanth, Junyi Jessy Li	Elaborative Simplification: Content Addition and Explanation Generation in Text Simplification.	ACL/IJCNLP (Findings)	2021	DBLP DOI BibTeX RDF
23	Rémi Cardon	Simplification automatique de textes techniques et spécialisés. (Automatic simplification of technical and specialized texts).		2021	RDF
23	Julien Vuillamy	Planimetric simplification and lexicographic optimal chains for 3D urban scene reconstruction. (Simplification planimétrique et chaînes lexicographiques pour la reconstruction 3D de scènes urbaines).		2021	RDF
23	Louis Martin	Automatic sentence simplification using controllable and unsupervised methods. (Simplification automatique de phrases à l'aide de méthodes contrôlables et non supervisées).		2021	RDF
23	Oscar M. Cumbicus-Pineda, Itziar Gonzalez-Dios, Aitor Soroa	Linguistic Capabilities for a Checklist-based evaluation in Automatic Text Simplification.	CTTS@SEPLN	2021	DBLP BibTeX RDF
23	Laura Vásquez-Rodríguez, Matthew Shardlow, Piotr Przybyla, Sophia Ananiadou	The Role of Text Simplification Operations in Evaluation.	CTTS@SEPLN	2021	DBLP BibTeX RDF
23	Regina Stodden	When the Scale is Unclear - Analysis of the Interpretation of Rating Scales in Human Evaluation of Text Simplification.	CTTS@SEPLN	2021	DBLP BibTeX RDF
23	Matt Huenerfauth	Human-Computer Interaction and Automatic Text Simplification: Understanding the Perspective of Deaf and Hard of Hearing Users (abstract).	CTTS@SEPLN	2021	DBLP BibTeX RDF
23	Rodrigo Alarcón, Lourdes Moreno 0001, Paloma Martínez	Exploration of Spanish Word Embeddings for Lexical Simplification.	CTTS@SEPLN	2021	DBLP BibTeX RDF
23	Niladri Chatterjee, Raksha Agarwal	DEPSYM: A Lightweight Syntactic Text Simplification Approach using Dependency Trees.	CTTS@SEPLN	2021	DBLP BibTeX RDF
23	Xu Sun 0001, Xuancheng Ren, Shuming Ma, Bingzhen Wei, Wei Li 0101, Jingjing Xu, Houfeng Wang, Yi Zhang 0050	Training Simplification and Model Simplification for Deep Learning : A Minimal Effort Back Propagation Method.	IEEE Trans. Knowl. Data Eng.	2020	DBLP DOI BibTeX RDF
23	Neha Srikanth, Junyi Jessy Li	Elaborative Simplification: Content Addition and Explanation Generation in Text Simplification.	CoRR	2020	DBLP BibTeX RDF
23	Oliver Alonzo, Matthew Seita, Abraham Glasser, Matt Huenerfauth	Automatic Text Simplification Tools for Deaf and Hard of Hearing Adults: Benefits of Lexical Simplification and Providing Users with Autonomy.	CHI	2020	DBLP DOI BibTeX RDF
23	Rodrigo Wilkens, Amalia Todirascu	Un corpus d'évaluation pour un système de simplification discursive (An Evaluation Corpus for Automatic Discourse Simplification).	JEP-TALN-RECITAL (2)	2020	DBLP BibTeX RDF
23	Sadaf Abdul-Rauf, Anne-Laure Ligozat, François Yvon, Gabriel Illouz, Thierry Hamon	Simplification automatique de texte dans un contexte de faibles ressources (Automatic Text Simplification : Approaching the Problem in Low Resource Settings for French).	JEP-TALN-RECITAL (2)	2020	DBLP BibTeX RDF
23	Rita Hijazi	Transformations syntaxiques entre niveaux de simplification dans le corpus Newsela (Syntactic transformations between simplification levels in the Newsela corpus).	JEP-TALN-RECITAL (3)	2020	DBLP BibTeX RDF
23	Corentin Mercier	Modélisation géométrique, simplification et visualisation des fibres de la matière blanche du cerveau. (Geometrical modeling, simplification and visualization of brain white matter tractograms).		2020	RDF
23	Pierre Anquez	Correction et simplification de modèles géologiques par frontières : impact sur le maillage et la simulation numérique en sismologie et hydrodynamique. (Repair and simplification of geological boundary representation models : impact on mesh and numerical simulation in seismology and hydrodynamics).		2019	RDF
23	Cyril Grouin	Simplification de schémas d'annotation : un aller sans retour ? (Annotation scheme simplification : a one way trip with no return ?).	CORIA-TALN-RJC (TALN 2)	2018	DBLP BibTeX RDF
23	Lionel Ramadier, Mathieu Lafourcade	Utilisation d'une base de connaissances de spécialité et de sens commun pour la simplification de comptes-rendus radiologiques (Radiological text simplification using a general knowledge base).	CORIA-TALN-RJC (TALN 2)	2018	DBLP BibTeX RDF
23	Rémi Cardon	Approche lexicale de la simplification automatique de textes médicaux (Lexical approach for the automatic simplification of medical texts).	CORIA-TALN-RJC (DeFT)	2018	DBLP BibTeX RDF
23	Mokhtar Boumedyen Billami	Désambiguïsation sémantique dans le cadre de la simplification lexicale: contributions à un système d'aide à la lecture pour des enfants dyslexiques et faibles lecteurs. (Word Sense Disambiguation within lexical simplification: contributions to a reading support system for children with dyslexia and poor readers).		2018	RDF
23	Xu Sun 0001, Xuancheng Ren, Shuming Ma, Bingzhen Wei, Wei Li 0101, Houfeng Wang	Training Simplification and Model Simplification for Deep Learning: A Minimal Effort Back Propagation Method.	CoRR	2017	DBLP BibTeX RDF
23	Gondy Leroy, Brianda Armenta Navarrete, Sonia Colina, David Kauchak	Spanish Text Simplification Using Term Familiarity: Applying Principles from English Text Simplification.	AMIA	2017	DBLP BibTeX RDF
23	Juliette Lemaitre	Vers une simplification de la conception de comportements stratégiques pour les opposants dans les jeux vidéo de stratégie. (Towards a simplification of strategic behaviors design for opponents in strategy video games).		2017	RDF
23	Ninon Eyrolles	Obfuscation with Mixed Boolean-Arithmetic Expressions : reconstruction, analysis and simplification tools. (Obfuscation par expressions mixtes arithmético-booléennes : reconstruction, analyse et outils de simplification).		2017	RDF
23	Alexandre Temperville	Bases creuses en algèbre linéaire exacte et simplification algorithmique de modèles biologiques. (Sparse bases in exact linear algebra and algorithmic simplification of biological models).		2016	RDF
23	Sanja Stajner, Iacer Calixto, Horacio Saggion	Automatic Text Simplification for Spanish: Comparative Evaluation of Various Simplification Strategies.	RANLP	2015	DBLP BibTeX RDF
23	Anne-Laure Ligozat, Cyril Grouin, Anne Garcia-Fernandez, Delphine Bernhard	Studying frequency-based approaches to process lexical simplification (Approches à base de fréquences pour la simplification lexicale) [in French].	TALN (1)	2013	DBLP BibTeX RDF
23	Anne-Lyse Minard, Anne-Laure Ligozat, Brigitte Grau	Simplification de phrases pour l'extraction de relations (Sentence Simplification for Relation Extraction) [in French].	JEP-TALN-RECITAL	2012	DBLP BibTeX RDF
23	Laetitia Brouwers, Delphine Bernhard, Anne-Laure Ligozat, Thomas François	Simplification syntaxique de phrases pour le français (Syntactic Simplification for French Sentences) [in French].	JEP-TALN-RECITAL	2012	DBLP BibTeX RDF
23	Elena Ovreiu	Accurate 3D Mesh Simplification. (Simplification précise de maillages 3D).		2012	RDF
23	David Kinzett, Mengjie Zhang 0001, Mark Johnston	Investigation of simplification threshold and noise level of input data in numerical simplification of genetic programs.	IEEE Congress on Evolutionary Computation	2010	DBLP DOI BibTeX RDF
20	Eric Guilbert	Line Decomposition Based on Critical Points Detection.	AGILE Conf.	2009	DBLP DOI BibTeX RDF
20	Pierre Alliez, Andreas Fabri	Computational geometry algorithms library.	SIGGRAPH ASIA Courses	2009	DBLP DOI BibTeX RDF
20	Yotam Livny, Michael Press, Jihad El-Sana	Interactive GPU-based adaptive cartoon-style rendering.	Vis. Comput.	2008	DBLP DOI BibTeX RDF	Cartoon rendering, Hardware acceleration, View-dependent rendering
20	Audun Jøsang, Touhid Bhuiyan	Optimal Trust Network Analysis with Subjective Logic.	SECURWARE	2008	DBLP DOI BibTeX RDF
20	Lihong Xu, Weihai Chen, Jingmeng Liu, Tao Lv	An improved quadric error metrics based on feature matrix.	RAM	2008	DBLP DOI BibTeX RDF
20	Emanuele Danovaro, Laura Papaleo, Davide Sobrero, Marco Attene, Waqar Saleem	Advanced remote inspection and download of 3D shapes.	Web3D	2007	DBLP DOI BibTeX RDF	multiresolution download, multiresolution triangulation, remote 3D shape inspection, LOD, Java3D
20	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Functional Modules.	All About Maude	2007	DBLP DOI BibTeX RDF
20	Tan Kim Heok, Daut Daman	A Review on Level of Detail.	CGIV	2004	DBLP DOI BibTeX RDF
20	Jie Feng 0012, Hongbin Zha	Efficient View-dependent LOD Control for Large 3D Unclosed Mesh Models of Environments.	ICRA	2004	DBLP DOI BibTeX RDF
20	Bernhard Gramlich, Salvador Lucas	Simple termination of context-sensitive rewriting.	ACM SIGPLAN Workshop on Rule-Based Programming	2002	DBLP DOI BibTeX RDF	automatic proofs of termination, context-sensitive rewriting, modular program analysis and verification, declarative programming, evaluation strategies
20	Akira Koseki, Hideaki Komatsu, Toshio Nakatani	Preference-Directed Graph Coloring.	PLDI	2002	DBLP DOI BibTeX RDF	irregular-register architectures, graph coloring, register allocation, register coalescing
20	Alvaro del Val	Simplifying Binary Propositional Theories into Connected Components Twice as Fast.	LPAR	2001	DBLP DOI BibTeX RDF
20	Claudio Rocchini, Paolo Cignoni, Fabio Ganovelli, Claudio Montani, Paolo Pingi, Roberto Scopigno	Marching Intersections: An Efficient Resampling Algorithm for Surface Management.	Shape Modeling International	2001	DBLP DOI BibTeX RDF
20	Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt	Reasoning about the Elementary Functions of Complex Analysis.	AISC	2000	DBLP DOI BibTeX RDF	Complex identities, Topics: AI and Symbolic Mathematical Computing, Integration of Logical Reasoning and Computer Algebra, Elementary functions, Branch cuts
20	David Cubanski, David Cyganski	Multivariate Classification through Adaptive Delaunay-Based C0 Spline Approximation.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	neural networks, approximation, Pattern classification, ECG, splines, non-linear optimization
20	Kwok-Bun Yue	A More General Model For Handlinh Missing Information In Relational DataBases Using A 3-Valued Logic.	SIGMOD Rec.	1991	DBLP DOI BibTeX RDF
20	P. H. Cheong, Laurent Fribourg	Efficient Integration of Simplifications into Prolog.	PLILP	1991	DBLP DOI BibTeX RDF
20	C. Faure	A Meta Simplifier.	ISSAC	1990	DBLP DOI BibTeX RDF
20	Dominique Attali, André Lieutier	Optimal reconstruction might be hard.	SCG	2010	DBLP DOI BibTeX RDF	3SAT, homological simplification, sampling conditions, topological persistence, NP-completeness, shape reconstruction
20	Xiaohui Liang, Qinping Zhao, Zhiying He, Ke Xie 0002, Yubo Liu	A point-based rendering approach for real-time interaction on mobile devices.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	point models simplification, interest degree, mobile devices, virtual environment, QoS control, area of interest
20	Lidija Comic, Leila De Floriani	Tree-Based Encoding for Cancellations on Morse Complexes.	IWCIA	2009	DBLP DOI BibTeX RDF	Morse complexes, simplification operators, graph-based representation, augmented cancellation forest, Morse theory
20	Willian Massami Watanabe, Arnaldo Cândido Júnior, Vinícius Rodrigues de Uzêda, Renata Pontin de Mattos Fortes, Thiago Alexandre Salgueiro Pardo, Sandra M. Aluísio	Facilita: reading assistance for low-literacy readers.	SIGDOC	2009	DBLP DOI BibTeX RDF	textual simplification, usability, user centered design, web accessibility, summarization
20	Yongwei Miao, Jieqing Feng, Chunxia Xiao, Qunsheng Peng 0001	High frequency geometric detail manipulation and editing for point-sampled surfaces.	Vis. Comput.	2008	DBLP DOI BibTeX RDF	Point-sampled surfaces, Shape editing, Geometric detail, Simplification sample point, Deformation field, Mean shift
20	Ismael García, Gustavo Patow	IGT: inverse geometric textures.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	LoD, appearance preserving simplification, detail-recovery, texturing, computer games, parameterizations
20	Guoning Chen, Konstantin Mischaikow, Robert S. Laramee, Pawel Pilarczyk, Eugene Zhang	Vector Field Editing and Periodic Orbit Extraction Using Morse Decomposition.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	Vector field design, vector field simplification, Morse decomposition, Conley index, periodic orbit detection, vector field visualization, connection graphs, vector field topology
20	Cledja Rolim, Alejandro César Frery, Eliana S. de Almeida, Evandro de Barros Costa, Luiz Marcos Gonçalves	Enhancing the experience of 3D virtual worlds with a cartographic generalization approach.	Vis. Comput.	2007	DBLP DOI BibTeX RDF	Image processing, Artificial intelligence, Virtual worlds, Simplification, Cartographic generalization
20	Steven J. Owen, Brett Clark, Darryl J. Melander, Michael L. Brewer, Jason Shepherd, Karl G. Merkley, Corey Ernst, Randy Morris	An Immersive Topology Environment for Meshing.	IMR	2007	DBLP DOI BibTeX RDF	geometry simplification, sweep decomposition, design through analysis, assembly meshing, imprint/merge, meshing user interface, sweeping, hexahedra
20	Li Liu, Caiming Zhang 0001, Frank Cheng	Parameterization of Quadrilateral Meshes.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	optimization, Parameterization, mesh simplification, Gaussian curvature
20	Julien Lacoste, Tamy Boubekeur, Bruno Jobard, Christophe Schlick	Appearance preserving octree-textures.	GRAPHITE	2007	DBLP DOI BibTeX RDF	appearance preserving simplification, octree-textures, GPU, normal mapping
20	Mark Harrower, Matt Bloch	MapShaper.org: A Map Generalization Web Service.	IEEE Computer Graphics and Applications	2006	DBLP DOI BibTeX RDF	web services and software, Douglas Peucker, smoothing, map generalization, line simplification
20	Aris Anagnostopoulos, Michail Vlachos, Marios Hadjieleftheriou, Eamonn J. Keogh, Philip S. Yu	Global distance-based segmentation of trajectories.	KDD	2006	DBLP DOI BibTeX RDF	DNA visualization, data simplification
20	Floris Geerts, Peter Z. Revesz, Jan Van den Bussche	On-line maintenance of simplified weighted graphs for efficient distance queries.	GIS	2006	DBLP DOI BibTeX RDF	network graph algorithms, online algorithms, topological simplification
20	Sarah Howlett, John Hamill, Carol O'Sullivan	Predicting and Evaluating Saliency for Simplified Polygonal Models.	ACM Trans. Appl. Percept.	2005	DBLP DOI BibTeX RDF	Visual perception, model simplification, salient features
20	Eric Shaffer, Michael Garland	A Multiresolution Representation for Massive Meshes.	IEEE Trans. Vis. Comput. Graph.	2005	DBLP DOI BibTeX RDF	level of detail, mesh simplification, out-of-core algorithms, Hierarchical data structures
20	Chang Ha Lee, Amitabh Varshney, David W. Jacobs	Mesh saliency.	ACM Trans. Graph.	2005	DBLP DOI BibTeX RDF	perception, visual attention, simplification, saliency, viewpoint selection
20	Javier Lluch, Rafael Gaitán, Emilio Camahort, Roberto Vivó	Interactive three-dimensional rendering on mobile computer devices.	Advances in Computer Entertainment Technology	2005	DBLP DOI BibTeX RDF	geometric simplification, mobile devices, wireless communication, multiresolution, 3D graphics
20	Wenqin Zhou, David J. Jeffrey, Gregory J. Reid	An Algebraic Method for Analyzing Open-Loop Dynamic Systems.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF	Dynaflex, RifSimp, Case Splitting, Symbolic Simplification, Graph Theory, Computer Algebra
20	Rolf Lakämper, Longin Jan Latecki, Xinyu Sun, Diedrich Wolter	Geometric Robot Mapping.	DGCI	2005	DBLP DOI BibTeX RDF	Polygon Merging, Perceptual Grouping, Robot Mapping, Polygon Simplification
20	Gisela Klette, Mian Pan	3D Topological Thinning by Identifying Non-simple Voxels.	IWCIA	2004	DBLP DOI BibTeX RDF	simple deformations, shape simplification, topology, thinning, simple points
20	Hamish A. Carr, Jack Snoeyink, Michiel van de Panne	Simplifying Flexible Isosurfaces Using Local Geometric Measures.	IEEE Visualization	2004	DBLP DOI BibTeX RDF	Isosurfaces, topological simplification, contour trees
20	Min Zhou, Michela Bertolotto	A Data Structure for Efficient Transmission of Generalised Vector Maps.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF	Progressive vector transmission, Multiple representations, Line simplification
20	James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut	A poly-algorithmic approach to simplifying elementary functions.	ISSAC	2004	DBLP DOI BibTeX RDF	simplification, branch cuts