-
1دورية أكاديمية
المؤلفون: François Dubeau
المصدر: Communications in Advanced Mathematical Sciences, Vol 2, Iss 2, Pp 135-153 (2019)
مصطلحات موضوعية: absolutely continuous function, method of undetermined coefficients, numerical differentiation rules, peano kernel, taylor's expansion, Mathematics, QA1-939
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: Wu, Shaohong, Yin, Yunhe, Zheng, Du, Yang, Qinye, Deng, Haoyu
المصدر: Journal of Geographical Sciences. July 2016 26(7):791-802
-
3
المؤلفون: Joanna Golińska Pilarek, Taneli Huuskonen, Michał Zawidzki
المصدر: Automated Deduction – CADE 28 ISBN: 9783030798758
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, F.4.3, I.2.3, I.2.4, D.3.1, 0603 philosophy, ethics and religion, 01 natural sciences, Denotation, Identity (mathematics), Truth value, 0101 mathematics, Equivalence (measure theory), Mathematics, 010102 general mathematics, 06 humanities and the arts, Extension (predicate logic), Propositional calculus, Satisfiability, Differentiation rules, Logic in Computer Science (cs.LO), Algebra, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 060302 philosophy, 03B22, 03B35 (Primary) 03B20, 03A05 (Secondary)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2a627c4d36135dc73cf14290b7f502c8
https://doi.org/10.1007/978-3-030-79876-5_3 -
4
المؤلفون: Bolt, J.H., van der Gaag, L.C., Baioletti, M., Sub Decision Support Systems, Decision Support Systems
المساهمون: Sub Decision Support Systems, Decision Support Systems
المصدر: International Journal of Approximate Reasoning, 126, 272. Elsevier
مصطلحات موضوعية: Theoretical computer science, Computer science, Applied Mathematics, Computation, Lattice-based partitioning, Algorithm engineering, 02 engineering and technology, Independence relations, Small set, Differentiation rules, Theoretical Computer Science, Exponential function, Representation, Fast-closure computation, Exponential growth, Artificial Intelligence, 020204 information systems, Lattice (order), 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Computational problem, Software
وصف الملف: application/pdf
-
5كتاب إلكتروني
المؤلفون: Dalton, Bryan J., author, Jeffers, John, author, Barnett, Stephen M., author
المصدر: Phase Space Methods for Degenerate Quantum Gases, 2014.
-
6
المؤلفون: Valentin Goranko
المصدر: Axioms, Vol 8, Iss 4, p 118 (2019)
Axioms; Volume 8; Issue 4; Pages: 118مصطلحات موضوعية: Filosofi, Logic, Computer science, hybrid deduction–refutation rules, derivative hybrid rules, soundness, 0603 philosophy, ethics and religion, 01 natural sciences, Calculus, 0101 mathematics, deductive refutability, natural deduction, meta-proof theory, Mathematical Physics, Mathematical logic, Soundness, Matematik, refutation systems, completeness, Algebra and Number Theory, Natural deduction, lcsh:Mathematics, 010102 general mathematics, 06 humanities and the arts, Propositional calculus, lcsh:QA1-939, Differentiation rules, Philosophy, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Completeness (logic), Data_GENERAL, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 060302 philosophy, Geometry and Topology, Mathematics, Analysis
وصف الملف: application/pdf
-
7
-
8
المؤلفون: Guy Jumarie
المصدر: Open Physics, Vol 11, Iss 6, Pp 617-633 (2013)
مصطلحات موضوعية: Pure mathematics, Dynamical systems theory, Physics, QC1-999, fractional taylor’s series, General Physics and Astronomy, fractional derivative, systems modelling, Time-scale calculus, Derivative, Function (mathematics), fractional calculus, Differentiation rules, Fractional calculus, Generalizations of the derivative, Differentiable function, fractional derivative chain rule, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bb78d1a5351674aee4bbdde2efe02cda
https://doaj.org/article/1278920b3c634f0cae9003eaea57345c -
9
المؤلفون: Dongpo Xu, Hua Gao, Danilo P. Mandic
المصدر: Royal Society Open Science, Vol 3, Iss 9 (2016)
Royal Society Open Scienceمصطلحات موضوعية: Computer science, 02 engineering and technology, symbols.namesake, Engineering, Proof calculus, duality relationship, 0202 electrical engineering, electronic engineering, information engineering, Calculus, Quaternion, lcsh:Science, Matrix calculus, ghr calculus, Science & Technology, Multidisciplinary, product and chain rules, Multivariable calculus, 020206 networking & telecommunications, Time-scale calculus, Differentiation rules, Addendum, Multidisciplinary Sciences, Product (mathematics), symbols, Science & Technology - Other Topics, 020201 artificial intelligence & image processing, lcsh:Q, widely linear quaternion least mean square, Hamiltonian (quantum mechanics)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f28ee77b4e6aac3a0c8104a73305626c
https://royalsocietypublishing.org/doi/pdf/10.1098/rsos.160211 -
10
المؤلفون: Pedro J. Miana
المصدر: Journal of Operators.
مصطلحات موضوعية: Algebra, Leibniz integral rule, symbols.namesake, Product rule, M. Riesz extension theorem, Article Subject, Riesz representation theorem, Algebraic structure, Riesz potential, symbols, Differentiation rules, Functional calculus, Mathematics
وصف الملف: text/xhtml
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eede62eca6cccc7b35cf0daaa080c83e