Persempit Pencarian
Hapus Filter
Topik: Symbolic Computation
Sektor
Format
Topik
Symbolic Computation
7
Computer Algebra
4
Algebraic Computation
4
Automatic Differentiation
4
Computational Mathematics
4
Computer Science
more ...
4
Cylindrical Algebraic Decomposition
4
Differentiation Arithmetic
4
InCLosure
4
Interval Analysis
4
Interval Arithmetic
4
Interval Computations
4
Interval Differentiation Arithmetic
4
Interval Mathematics
4
Mathematics
4
Numerical Analysis
4
Numerical Computation
4
Quantifier Elimination
4
Virtual Term Substitution
3
Arbitrary Precision
3
Bounding Error
3
Common Lisp
3
Computational Physics
3
Dawood's InCLosure
3
Guaranteed Enclosures
3
Guaranteed Enclosures of Quantifiable Uncertainties
3
Images of Families of Real Functions
3
InCL
3
InCLosure (Interval enCLosure)
3
Interval Automatic Differentiation
3
Interval Differentiability
3
Interval Enclosures
3
Interval Functions
3
Interval Subdivision
3
Lisp
3
Mathematical Software
3
Quantitative Knowledge
3
Real Automatic Differentiation
3
Real Differentiation Arithmetic
3
Real Functions
3
Reliability
3
Reliable Computing
3
Scientific Software
3
Set-valued functions
3
Uncertainty
3
Uncertainty Analysis
3
Uncertainty Modeling
3
Uncertainty Quantification
3
Universal Intervals
2
Biological Networks
less ...
Pengarang
Bahasa
Penerbit