×

Found 33 Documents (Results 1–33)

Empirical study on human evaluation of complex argumentation frameworks. (English) Zbl 1525.68162

Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11468, 102-115 (2019).
MSC:  68T27 68T30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Algorithm for construction of volume forms on toric varieties starting from a convex integer polytope. (English. Russian original) Zbl 1370.14044

Program. Comput. Softw. 42, No. 2, 99-106 (2016); translation from Programmirovanie 42, No. 2 (2016).
MSC:  14M25 52B20 68W30
PDFBibTeX XMLCite
Full Text: DOI

Use case analysis based on formal methods: an empirical study. (English) Zbl 1472.68196

Codescu, Mihai (ed.) et al., Recent trends in algebraic development techniques. 22nd international workshop, WADT 2014, Sinaia, Romania, September 4–7, 2014. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9463, 110-130 (2015).
MSC:  68T30 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Teaching linear algebra at university. (English) Zbl 1029.00006

Li, Ta Tsien (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2002, Beijing, China, August 20-28, 2002. Vol. III: Invited lectures. Beijing: Higher Education Press. 875-884 (2002).
MSC:  00A35 15-01 97C90 97C50 97D20
PDFBibTeX XMLCite
Full Text: arXiv

Representation theories and algebraic geometry. Proceedings of the NATO Advanced Study Institute, Montreal, Canada, July 28–August 8, 1997. (English) Zbl 0897.00026

NATO ASI Series. Series C. Mathematical and Physical Sciences. 514. Dordrecht: Kluwer Academic Publishers. xxii, 443 p. (1998).
PDFBibTeX XMLCite

Linear operators. Part II: Spectral theory, self adjoint operators in Hilbert space. With the assistance of William G. Bade and Robert G. Bartle. Repr. of the orig., publ. 1963 by John Wiley & Sons Ltd., Paperback ed. (English) Zbl 0635.47002

Wiley Classics Library. New York etc.: John Wiley & Sons Ltd./Interscience Publishers, Inc. ix, 859-1923 $25.95 (1988).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software