Suchergebnisse - "$\partial$-finite functions"

An extension of Zeilberger's fast algorithm to general holonomic functions

Autoren: Chyzak, Frédéric

Weitere Verfasser: Chyzak, Frédéric

Quelle: Discrete Mathematics. 217:115-134

Schlagwörter: Holonomic functions, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Zeilberger's algorithm, Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.), 0102 computer and information sciences, Symbolic computation and algebraic computation, 01 natural sciences, ∂-finite functions, Theoretical Computer Science, [MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO], $\partial$-finite functions, hypergeometric sequences, holonomic functions, Gosper's algorithm, D-finite functions, Discrete Mathematics and Combinatorics, \(\partial\)-finite functions, Symbolic integration, Symbolic summation, Abramov's algorithm, 0101 mathematics, symbolic summation, Combinatorial identities, bijective combinatorics, symbolic integration

Dateibeschreibung: application/xml; application/pdf

Zugangs-URL: https://zbmath.org/1453348
https://doi.org/10.1016/s0012-365x(99)00259-9
https://inria.hal.science/hal-01069235v1
https://www.sciencedirect.com/science/article/pii/S0012365X99002599
https://doi.org/10.1016/S0012-365X(99)00259-9
https://dblp.uni-trier.de/db/journals/dm/dm217.html#Chyzak00
https://hal.inria.fr/hal-01069235/document
https://hal.inria.fr/hal-01069235

A Direct Procedure to Test Entailment in a Separation Logic of Relations.

Autoren: Echenim, Mnacho Peltier, Nicolas

Quelle: Journal of Automated Reasoning; Jun2025, Vol. 69 Issue 2, p1-38, 38p

A Generalized Apagodu-Zeilberger Algorithm

Autoren: Chen, Shaoshi Kauers, Manuel Koutschan, Christoph

Index Begriffe: Computer Science - Symbolic Computation, I.1.2, text

URL: http://arxiv.org/abs/1402.2409

A generalized Apagodu-Zeilberger algorithm

Autoren: Christoph Koutschan Shaoshi Chen Manuel Kauers

Quelle: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation. :107-114

Schlagwörter: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Symbolic Computation (cs.SC), 0101 mathematics, 16. Peace & justice, 01 natural sciences, I.1.2

Zugangs-URL: http://www.ricam.oeaw.ac.at/publications/reports/14/rep14-05.pdf
http://arxiv.org/abs/1402.2409
https://arxiv.org/abs/1402.2409
http://www.risc.jku.at/publications/download/risc_5034/main.pdf
http://www.koutschan.de/publ/Nankai14/talk_Nankai14.pdf
http://www.algebra.uni-linz.ac.at/people/mkauers/publications/chen14a.pdf
https://core.ac.uk/display/109035180
https://www.risc.jku.at/publications/download/risc_5034/main.pdf
https://arxiv.org/abs/1402.2409
http://arxiv.org/pdf/1402.2409.pdf
https://ui.adsabs.harvard.edu/abs/2014arXiv1402.2409C/abstract

A Language for Biochemical Systems.

Autoren: Pedersen, Michael Plotkin, Gordon

Quelle: Computational Methods in Systems Biology (9783540885610); 2008, p63-82, 20p

NOAH: a tool for argument reduction, serial and parallel decomposition of decision tables.

Autoren: Pleban, M. Niewadomski, H. Buciak, P. et al.

Quelle: Proceedings of the Euromicro Symposium on Digital System Design, 2003; 2003, p248-254, 7p

A High-Level Language for Rule-Based Modelling.

Autoren: Pedersen, Michael Phillips, Andrew Plotkin, Gordon D.

Quelle: PLoS ONE; Jun2015, Vol. 10 Issue 6, p1-26, 26p

Schlagwörter: RULE-based programming, PROGRAMMING languages, COMBINATORICS, COMPUTATIONAL complexity, CHEMOTAXIS, MITOGEN-activated protein kinases

Supplementary material

Weitere Verfasser: The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.research.microsoft.com/pubs/79443/Interface09-supplement.pdf.

Schlagwörter: 4. �p ( Ã)�Γ

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.2876

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.2876
http://www.research.microsoft.com/pubs/79443/Interface09-supplement.pdf

Partition Theorems from Creatures and Idempotent Ultrafilters.

Autoren: Rosłanowski, Andrzej Shelah, Saharon

Quelle: Annals of Combinatorics; Jun2013, Vol. 17 Issue 2, p353-378, 26p

Schlagwörter: ULTRAFILTERS (Mathematics), NUMBER theory, IDEMPOTENTS, RAMSEY theory, FORCING (Model theory), PROBABILITY theory, FUNCTIONAL analysis

Restrictions on the degree spectra of algebraic structures.

Autoren: Kalimullin, I. Sh.

Quelle: Siberian Mathematical Journal; Nov2008, Vol. 49 Issue 6, p1034-1043, 10p

Schlagwörter: ALGEBRA, LINEAR orderings, SET theory, COMBINATORICS, MATHEMATICS

FUNCTIONAL DECOMPOSITION — THE VALUE AND IMPLICATION FOR BOTH NEURAL NETWORKS AND DIGITAL DESIGNING.

Autoren: SELVARAJ, HENRY SAPIECHA, PIOTR RAWSKI, MARIUSZ et al.

Quelle: International Journal of Computational Intelligence & Applications; Mar2006, Vol. 6 Issue 1, p123-138, 16p, 6 Diagrams, 4 Charts

Schlagwörter: ARTIFICIAL neural networks, BOOLEAN algebra, SYSTEM analysis, ARTIFICIAL intelligence, NEURAL circuitry, MATHEMATICAL programming

Non-commutative Elimination in Ore Algebras Proves Multivariate Identities: Non-commutative elimination in Ore algebras proves multivariate identities

Autoren: Chyzak, Frédéric Salvy, Bruno

Weitere Verfasser: Chyzak, Frédéric Salvy, Bruno

Quelle: Journal of Symbolic Computation. 26:187-227

Schlagwörter: combinatorial identities, functions and sequences, Computational Mathematics, Algebra and Number Theory, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], special function identities, Ore algebras, Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.), holonomic systems, 0101 mathematics, Symbolic computation and algebraic computation, 01 natural sciences, Combinatorial identities, bijective combinatorics

Dateibeschreibung: application/xml; application/pdf

Zugangs-URL: https://inria.hal.science/hal-01069833v1
https://www.sciencedirect.com/science/article/abs/pii/S0747717198902073
https://dblp.uni-trier.de/db/journals/jsc/jsc26.html#ChyzakS98
https://jglobal.jst.go.jp/en/detail?JGLOBAL_ID=200902173514381937
https://doi.org/10.1006/jsco.1998.0207
https://www.sciencedirect.com/science/article/pii/S0747717198902073
https://dl.acm.org/doi/10.1006/jsco.1998.0207

Complex indeterminates in Prolog and its application to discourse models.

Autoren: Mukai, Kuniaki Yasukawa, Hideki

Quelle: New Generation Computing; Dec1985, Vol. 3 Issue 4, p441-466, 26p

Frontiers of Combining Systems

Autoren: René Thiemann Christoph Weidenbach

Resource Type: eBook.

Categories: COMPUTERS / Software Development & Engineering / General

Automated Reasoning with Analytic Tableaux and Related Methods

Autoren: Revantha Ramanayake Josef Urban

Resource Type: eBook.

Schlagworte: Automatic theorem proving--Congresses, Artificial intelligence

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Logic, Language, Information, and Computation

Autoren: Dexter Kozen Ruy de Queiroz

Resource Type: eBook.

Categories: COMPUTERS / Hardware / General

Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

Autoren: Serenella Cerrito Andrei Popescu

Resource Type: eBook.

Schlagworte: Artificial intelligence, Machine theory, Computer science—Mathematics, Software engineering, Electronic digital computers—Evaluation

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Applied

Transactions on Computational Systems Biology XII : Special Issue on Modeling Methodologies

Resource Type: eBook.

Schlagworte: Computational biology, Computer Simulation, Systems biology

Categories: SCIENCE / Life Sciences / Biology, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Simulation, MATHEMATICS / Probability & Statistics / General, SCIENCE / Research & Methodology

Computational Methods in Systems Biology : 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings

Autoren: Monika Heiner Adelinde M. Uhrmacher

Resource Type: eBook.

Schlagworte: Molecular biology--Data processing--Congresses, Bioinformatics--Congresses, Proteomics--Congresses, Systems Biology--methods--Congresses, Models, Biological--Congresses, Models, Genetic--Congresses

Categories: SCIENCE / Life Sciences / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Simulation, SCIENCE / Life Sciences / Biology, SCIENCE / Research & Methodology

Creating genetic devices