NDLI: Fuzzy simplification of non-numeric expressions containing some intervals and/or floating point numbers

Please wait, while we are loading the content...

Mathematics by machine

Effective quantifier elimination for industrial applications

Sparse interpolation over finite fields via low-order roots of unity

Fuzzy simplification of non-numeric expressions containing some intervals and/or floating point numbers

How to develop a mobile computer algebra system

Multivariate sparse interpolation using randomized Kronecker substitutions

Maximum likelihood for matrices with rank constraints

Introduction to max-plus algebra

Computing the differential Galois group of a parameterized second-order linear differential equation

Algebraic complexity theory and matrix multiplication

A new deterministic algorithm for sparse multivariate polynomial interpolation

Gröbner bases of toric ideals and their application

A fast algorithm for computing the characteristic polynomial of the p-curvature

Symbolic-numeric algorithms for computing validated results

Computing necessary integrability conditions for planar parametrized homogeneous potentials

Improved algorithm for computing separating linear forms for bivariate systems

Solving higher order linear differential equations having elliptic function coefficients

Quantifier elimination by cylindrical algebraic decomposition based on regular chains

Parallel telescoping and parameterized Picard-Vessiot theory

A generalized Apagodu-Zeilberger algorithm

The asymptotic analysis of some interpolated nonlinear recurrence relations

Fast arithmetic for the algebraic closure of finite fields

On the computation of the topology of plane curves

Logspace computations in graph products

Essentially optimal interactive certificates in linear algebra

Root counts of semi-mixed systems, and an application to counting nash equilibria

Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation)

Sub-cubic change of ordering for Gröbner basis: a probabilistic approach

Sparse Gröbner bases: the unmixed case

The MMO problem

Factoring linear differential operators in n variables

Online order basis algorithm and its impact on the block Wiedemann algorithm

On isomorphisms of modules over non-commutative PID

Radical solutions of first order autonomous algebraic ordinary differential equations

Computing low-degree factors of lacunary polynomials: a Newton-Puiseux approach

Maximum likelihood geometry in the presence of data zeros

Constructing fewer open cells by GCD computation in CAD projection

An a posteriori certification algorithm for Newton homotopies

Evaluating parametric holonomic sequences using rectangular splitting

Equivariant lattice generators and Markov bases

Sparse polynomial interpolation codes and their decoding beyond half the minimum distance

Sparse multivariate function recovery with a high error rate in the evaluations

Bounds for D-finite closure properties

Powers of tensors and fast matrix multiplication

Reduction among bracket polynomials

Formal solutions of a class of Pfaffian systems in two variables

On the reduction of singularly-perturbed linear differential systems

High performance implementation of the TFT

Randomized detection of extraneous factors

Toric border basis

On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases

A near-optimal algorithm for computing real roots of sparse polynomials

LLL reducing with the most significant bits

Covering of surfaces parametrized without projective base points

Linear independence oracles and applications to rectangular and low rank linear systems

Cylindrical algebraic decomposition using local projections

Matrix-F5 algorithms over finite-precision complete discrete valuation fields

Faster relaxed multiplication

Unimodular completion of polynomial matrices

Tame decompositions and collisions

Fuzzy simplification of non-numeric expressions containing some intervals and/or floating point numbers

Content Provider	ACM Digital Library
Author	Stoutemyer, David R.
Abstract	This article describes a Mathematica package that improves simplification of general non-numeric expressions containing any mixture of Gaussian rational numbers, symbolic constants, machine and arbitrary-precision floating-point numbers, together with intervals having any mixture of such endpoints. Such generalized numbers are not automatically all converted to floats or to intervals. Expressions can be multivariate and non-polynomial. Techniques include: • Recognition and unification of approximately similar and approximately proportional factors and terms. • The option of infinity-norm normalization that is more robust than monic normalization. • The option of a unit-normal quasi-primitive normalization that uses large rational approximate common divisors of mixed number types and intervals to nicely normalize sums. • A polynomial division algorithm tolerant of terms with coefficients that are float zeros or intervals containing 0. • The ability to round or underflow negligible terms while satisfying the inclusion property of interval arithmetic. The package and a more detailed version of this article will be posted at arXiv.org.
Starting Page	9
Ending Page	16
Page Count	8
File Format	PDF
ISBN	9781450325011
DOI	10.1145/2608628.2627489
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2014-07-23
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Hybrid symbolic-numeric
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

On conventions for systems of numerical representation

High Speed Associative Accumulation of Floating-point Numbers and Floating-point Intervals∗

Hybrid symbolic-numeric computation

Numerical optimization in hybrid symbolic-numeric computation

Hybrid contract checking via symbolic simplification

Hotspot symbolic execution of floating-point programs

Symbolic simplification of tensor expressions using symmetries, dummy indices and identities

Extending Prolog with Constraint Arithmetic on Real Intervals (1990)

Using gradual numbers to analyze non-monotonic functions of fuzzy intervals

Fuzzy simplification of non-numeric expressions containing some intervals and/or floating point numbers

Similar Documents

On conventions for systems of numerical representation

High Speed Associative Accumulation of Floating-point Numbers and Floating-point Intervals∗

Hybrid symbolic-numeric computation

Numerical optimization in hybrid symbolic-numeric computation

Hybrid contract checking via symbolic simplification

Hotspot symbolic execution of floating-point programs

Symbolic simplification of tensor expressions using symmetries, dummy indices and identities

Extending Prolog with Constraint Arithmetic on Real Intervals (1990)

Using gradual numbers to analyze non-monotonic functions of fuzzy intervals

Fuzzy simplification of non-numeric expressions containing some intervals and/or floating point numbers