Vulcanov, Dumitru; Vulcanov, Valentina MAPPLE+GrTensorII Libraries for Cosmology. (English) Zbl 1109.68701 An. Univ. Timiș., Ser. Mat.-Inform. 42, Spec. Iss. II, 181-190 (2004). Reviewer: T. C. Mohan (Chennai) MSC: 68W30 83C05 85A40 PDFBibTeX XMLCite \textit{D. Vulcanov} and \textit{V. Vulcanov}, An. Univ. Timiș., Ser. Mat.-Inform. 42, 181--190 (2004; Zbl 1109.68701)
Ida, Tetsuo Layers of abstraction in symbolic computation. (English) Zbl 1109.68695 An. Univ. Timiș., Ser. Mat.-Inform. 42, Spec. Iss. I, 13-16 (2004). MSC: 68W30 PDFBibTeX XMLCite \textit{T. Ida}, An. Univ. Timiș., Ser. Mat.-Inform. 42, 13--16 (2004; Zbl 1109.68695)
Ivan, Gheorghe; Stoianov, George The program \(\text{BGroidAP}_2\) for determination of all subgroupoids of a Brandt groupoid. (English) Zbl 1109.20310 An. Univ. Timiș., Ser. Mat.-Inform. 42, No. 1, 93-117 (2004). Reviewer: Dimitru Buşneag (Craiova) MSC: 20N02 20L05 68W30 20D30 PDFBibTeX XMLCite \textit{G. Ivan} and \textit{G. Stoianov}, An. Univ. Timiș., Ser. Mat.-Inform. 42, No. 1, 93--117 (2004; Zbl 1109.20310)
Schneider, Carsten A collection of denominator bounds to solve parameterized linear difference equations in \(\Pi\Sigma\)-extensions. (English) Zbl 1112.68139 An. Univ. Timiș., Ser. Mat.-Inform. 42, Spec. Iss. II, 163-179 (2004). Reviewer: Friedrich Schwarz (Paderborn) MSC: 68W30 12H10 33F10 PDFBibTeX XMLCite \textit{C. Schneider}, An. Univ. Timiș., Ser. Mat.-Inform. 42, 163--179 (2004; Zbl 1112.68139)
Ţepeneu, Dorin; Ida, Tetsuo Integration of Mathematica into a grid computing network using MathGridLink. (English) Zbl 1150.68316 An. Univ. Timiș., Ser. Mat.-Inform. 42, Spec. Iss. I, 317-329 (2004). MSC: 68M14 68W30 68W10 68W15 PDFBibTeX XMLCite \textit{D. Ţepeneu} and \textit{T. Ida}, An. Univ. Timiș., Ser. Mat.-Inform. 42, 317--329 (2004; Zbl 1150.68316)
Slusanschi, Emil; Bücker, H. Martin On the limits of current implementations of algorithmic differentiations. (English) Zbl 1109.68700 An. Univ. Timiș., Ser. Mat.-Inform. 42, Spec. Iss. I, 237-250 (2004). Reviewer: Werner Seiler (Kassel) MSC: 68W30 PDFBibTeX XMLCite \textit{E. Slusanschi} and \textit{H. M. Bücker}, An. Univ. Timiș., Ser. Mat.-Inform. 42, 237--250 (2004; Zbl 1109.68700)
Kovács, Laura Ildikó; Jebelean, Tudor Automated generation of loop invariants by recurrence solving in Theorema. (English) Zbl 1109.68516 An. Univ. Timiș., Ser. Mat.-Inform. 42, Spec. Iss. I, 151-166 (2004). Reviewer: Friedrich Schwarz (Paderborn) MSC: 68Q60 68T15 68W30 PDFBibTeX XMLCite \textit{L. I. Kovács} and \textit{T. Jebelean}, An. Univ. Timiș., Ser. Mat.-Inform. 42, 151--166 (2004; Zbl 1109.68516)
Andreica, Alina Applications of category theory in symbolic computation. (English) Zbl 1150.68009 An. Univ. Timiș., Ser. Mat.-Inform. 42, Spec. Iss. I, 17-26 (2004). Reviewer: Neculai Curteanu (Iaşi) MSC: 68W30 68Q65 68T15 68T35 PDFBibTeX XMLCite \textit{A. Andreica}, An. Univ. Timiș., Ser. Mat.-Inform. 42, 17--26 (2004; Zbl 1150.68009)
Ida, Tetsuo; Buchberger, Bruno Proving and solving in computational origami. (English) Zbl 1073.68816 An. Univ. Timiș., Ser. Mat.-Inform. 41, Spec. Iss., 247-263 (2003). MSC: 68T15 PDFBibTeX XMLCite \textit{T. Ida} and \textit{B. Buchberger}, An. Univ. Timiș., Ser. Mat.-Inform. 41, 247--263 (2003; Zbl 1073.68816)
Kovács, Laura; Jebelean, Tudor Practical aspects of imperative program verification in Theorema. (English) Zbl 1073.68897 An. Univ. Timiș., Ser. Mat.-Inform. 41, Spec. Iss., 135-154 (2003). MSC: 68W30 68Q60 PDFBibTeX XMLCite \textit{L. Kovács} and \textit{T. Jebelean}, An. Univ. Timiș., Ser. Mat.-Inform. 41, 135--154 (2003; Zbl 1073.68897)
Etayo, Fernando; González-Vega, Laureano; Tănăsescu, Claudiu Computing the interesection curve of two surfaces: The tangential case. (English) Zbl 1073.65508 An. Univ. Timiș., Ser. Mat.-Inform. 41, Spec. Iss., 111-121 (2003). MSC: 65D17 68U07 68W30 PDFBibTeX XMLCite \textit{F. Etayo} et al., An. Univ. Timiș., Ser. Mat.-Inform. 41, 111--121 (2003; Zbl 1073.65508)
Corless, Robert M.; Gonzales-Vega, Laureano; Necula, Ioana; Shakoori, Azar Topology determination of implicitly defined real algebraic plane curves. (English) Zbl 1073.68896 An. Univ. Timiș., Ser. Mat.-Inform. 41, Spec. Iss., 83-96 (2003). MSC: 68W30 65D17 68U07 65D18 PDFBibTeX XMLCite \textit{R. M. Corless} et al., An. Univ. Timiș., Ser. Mat.-Inform. 41, 83--96 (2003; Zbl 1073.68896)
Andreica, Alina Defining algebraic categories in Mathematica. (English) Zbl 1073.68894 An. Univ. Timiș., Ser. Mat.-Inform. 41, Spec. Iss., 9-23 (2003). MSC: 68W30 18C10 PDFBibTeX XMLCite \textit{A. Andreica}, An. Univ. Timiș., Ser. Mat.-Inform. 41, 9--23 (2003; Zbl 1073.68894)
Scheiber, Ernest On the symbolic computation of \(e^{At}\) matrix in Derive. (English) Zbl 1073.68900 An. Univ. Timiș., Ser. Mat.-Inform. 40, Spec. Iss., 241-255 (2002). MSC: 68W30 PDFBibTeX XMLCite \textit{E. Scheiber}, An. Univ. Timiș., Ser. Mat.-Inform. 40, 241--255 (2002; Zbl 1073.68900)
Jebelean, Tudor Non-conventional algorithms for multiple precision arithmetic. (English) Zbl 1073.68655 An. Univ. Timiș., Ser. Mat.-Inform. 40, Spec. Iss., 113-119 (2002). MSC: 68Q25 11Y40 68W30 PDFBibTeX XMLCite \textit{T. Jebelean}, An. Univ. Timiș., Ser. Mat.-Inform. 40, 113--119 (2002; Zbl 1073.68655)
Andreica, Alina Implementing domains and categories in Mathematica by means of parameterized types. (English) Zbl 1073.68895 An. Univ. Timiș., Ser. Mat.-Inform. 40, Spec. Iss., 17-33 (2002). MSC: 68W30 PDFBibTeX XMLCite \textit{A. Andreica}, An. Univ. Timiș., Ser. Mat.-Inform. 40, 17--33 (2002; Zbl 1073.68895)
Mourrain, Bernard; Philippe Trébuchet Algebraic methods for numerical solving. (English) Zbl 1049.68161 An. Univ. Timiș., Ser. Mat.-Inform. 39, Spec. Iss., 149-169 (2001). MSC: 68W30 13P10 PDFBibTeX XMLCite \textit{B. Mourrain} and \textit{Philippe Trébuchet}, An. Univ. Timiș., Ser. Mat.-Inform. 39, 149--169 (2001; Zbl 1049.68161)
Konev, Boris; Jebelean, Tudor Solution lifting method for handling meta-variables in \(\text{TH}\exists\text{OREM}\forall\). (English) Zbl 1055.68670 An. Univ. Timiș., Ser. Mat.-Inform. 39, Spec. Iss., 81-106 (2001). MSC: 68W30 PDFBibTeX XMLCite \textit{B. Konev} and \textit{T. Jebelean}, An. Univ. Timiș., Ser. Mat.-Inform. 39, 81--106 (2001; Zbl 1055.68670)
Gonzalez-Vega, Laureano; Necula, Ioana Quantifier elimination and multivariate Birkhoff interpolation: low degrees and triangles. (English) Zbl 1046.03018 An. Univ. Timiș., Ser. Mat.-Inform. 39, Spec. Iss., 61-68 (2001). MSC: 03C10 03C40 68W30 PDFBibTeX XMLCite \textit{L. Gonzalez-Vega} and \textit{I. Necula}, An. Univ. Timiș., Ser. Mat.-Inform. 39, 61--68 (2001; Zbl 1046.03018)
Petcu, Dana A prototype system for cooperative cas tasks. (English) Zbl 1004.68216 An. Univ. Timiș., Ser. Mat.-Inform. 38, No. 2, 125-140 (2000). MSC: 68W30 68W15 68W10 PDFBibTeX XMLCite \textit{D. Petcu}, An. Univ. Timiș., Ser. Mat.-Inform. 38, No. 2, 125--140 (2000; Zbl 1004.68216)
González-Vega, Laureano; Necula, Ioana; Sevilla, David A symbolic/numeric toolbox for computer aided geometric design. (English) Zbl 1004.68183 An. Univ. Timiș., Ser. Mat.-Inform. 38, No. 2, 73-99 (2000). MSC: 68U07 65D17 68W30 PDFBibTeX XMLCite \textit{L. González-Vega} et al., An. Univ. Timiș., Ser. Mat.-Inform. 38, No. 2, 73--99 (2000; Zbl 1004.68183)
Buchberger, Bruno Theory exploration with Theorema. (English) Zbl 1004.68589 An. Univ. Timiș., Ser. Mat.-Inform. 38, No. 2, 9-32 (2000). MSC: 68U99 68W30 PDFBibTeX XMLCite \textit{B. Buchberger}, An. Univ. Timiș., Ser. Mat.-Inform. 38, No. 2, 9--32 (2000; Zbl 1004.68589)
Negru, Viorel (ed.); Popovici, Adriana (ed.) Special issue: 50 years jubilee of mathematics faculty, section computer science and applications. Timişoara, Romania, November 14–15, 1998. (English) Zbl 0983.00048 An. Univ. Timiș., Ser. Mat.-Inform. 37, Spec. Iss., 97-178 (1999). MSC: 00B25 68-06 65-06 68W30 00B30 PDFBibTeX XMLCite \textit{V. Negru} (ed.) and \textit{A. Popovici} (ed.), An. Univ. Timiș., Ser. Mat.-Inform. 37, 97--178 (1999; Zbl 0983.00048)
Linton, Steve; Smith, Geoff C. Contemporary computer algebra systems. (English) Zbl 0875.68564 An. Univ. Timiș., Ser. Mat.-Inform. 31, No. 2, 203-216 (1993). MSC: 68W30 08-04 20-04 PDFBibTeX XMLCite \textit{S. Linton} and \textit{G. C. Smith}, An. Univ. Timiș., Ser. Mat.-Inform. 31, No. 2, 203--216 (1993; Zbl 0875.68564)