Persempit Pencarian
Hapus Filter
Topik: Computer Algebra
Format
Topik
Computer Algebra
7
Symbolic Computation
4
Cylindrical Algebraic Decomposition
4
Quantifier Elimination
4
Virtual Term Substitution
3
Algebraic Computation
more ...
3
Arbitrary Precision
3
Automatic Differentiation
3
Bounding Error
3
Common Lisp
3
Computational Mathematics
3
Computational Physics
3
Computer Science
3
Dawood's InCLosure
3
Differentiation Arithmetic
3
Guaranteed Enclosures
3
Guaranteed Enclosures of Quantifiable Uncertainties
3
Images of Families of Real Functions
3
InCL
3
InCLosure
3
InCLosure (Interval enCLosure)
3
Interval Analysis
3
Interval Arithmetic
3
Interval Automatic Differentiation
3
Interval Computations
3
Interval Differentiability
3
Interval Differentiation Arithmetic
3
Interval Enclosures
3
Interval Functions
3
Interval Mathematics
3
Interval Subdivision
3
Lisp
3
Mathematical Software
3
Mathematics
3
Numerical Analysis
3
Numerical Computation
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
InCLosure v1.0
less ...
Pengarang
Bahasa