Your browser does not allow JavaScript!
JavaScript is necessary for the proper functioning of this website. Please enable JavaScript or use a modern browser.
Repository of the University of Ljubljana
Open Science Slovenia
Open Science
DiKUL
slv
|
eng
Search
Browse
New in RUL
About RUL
In numbers
Help
Sign in
Details
Računalniško dokazovanje identitet : delo diplomskega seminarja
ID
Pavlin, Janez
(
Author
),
ID
Konvalinka, Matjaž
(
Mentor
)
More about this mentor...
PDF - Presentation file,
Download
(391,35 KB)
MD5: D2D16CBDEFEE547D4E9E16FFCB3D4468
Image galllery
Language:
Slovenian
Keywords:
matematika
,
Gosperjev algoritem
,
identiteta
,
polinomska rešitev
,
zaključena oblika
Work type:
Final seminar paper
Typology:
2.11 - Undergraduate Thesis
Organization:
FMF - Faculty of Mathematics and Physics
Place of publishing:
Ljubljana
Publisher:
[J. Pavlin]
Year:
2017
Number of pages:
23 str.
PID:
20.500.12556/RUL-100658
UDC:
004
COBISS.SI-ID:
18201177
Publication date in RUL:
04.04.2018
Views:
1517
Downloads:
422
Metadata:
Cite this work
Plain text
BibTeX
EndNote XML
EndNote/Refer
RIS
ABNT
ACM Ref
AMA
APA
Chicago 17th Author-Date
Harvard
IEEE
ISO 690
MLA
Vancouver
:
PAVLIN, Janez, 2017,
Računalniško dokazovanje identitet : delo diplomskega seminarja
[online]. Bachelor’s thesis. Ljubljana : J. Pavlin. [Accessed 14 April 2025]. Retrieved from: https://repozitorij.uni-lj.si/IzpisGradiva.php?lang=eng&id=100658
Copy citation
Share:
Secondary language
Language:
English
Title:
Computer proving identities
Keywords:
mathematics
,
Gosper algorithm
,
identity
,
polynomial solution
,
closed form
Similar documents
Similar works from RUL:
Closed form summation
Computational complexity of the binomial model
Polynomial space complexity
Polynomial primality testing
Regression
Similar works from other Slovenian collections:
Identities with generalized skew derivations on Lie ideals
O kodimenzijski rasti enostavnih barvnih Liejevih algeber
Chang, Chi-Ming: Power central values of derivations on multilinear polynomials. (English). - [J] Taiwanese J. Math. 7, No.2, 329-338 (2003). [ISSN 1027-5487]
Lee, Tsiu-Kwen; Pan, Ching-Yueh: Left annihilators characterized by differential identities. (English). - [J] Proc. Edinb. Math. Soc., II. Ser. 47, No.2, 411-419 (2004). [ISSN 0013-0915; ISSN 1464-3839]
Rational Bézier curves
Back