×

Found 156 Documents (Results 1–100)

Exploring the average values of Boolean functions via asymptotics and experimentation. (English) Zbl 1423.68323

Sedgewick, Robert (ed.), Proceedings of the 3rd workshop on analytic algorithmics and combinatorics (ANALCO ’06), Miami, FL, USA, January 21, 2006. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 253-262 (2006).
MSC:  68R05 60C05 68P05 94C10
PDFBibTeX XMLCite
Full Text: DOI

Application of numerical algebraic geometry and numerical linear algebra to PDE. (English) Zbl 1356.65074

Dumas, Jean-Guillaume (ed.), Proceedings of the 2006 international symposium on symbolic and algebraic computation, ISSAC 06, Genova, Italy, July 9–12, 2006. New York, NY: ACM Press (ISBN 1-59593-276-3). 345-352 (2006).
MSC:  65D18 14Q99 35A30 65F30
PDFBibTeX XMLCite
Full Text: DOI

Low complexity algorithms for linear recurrences. (English) Zbl 1356.65246

Dumas, Jean-Guillaume (ed.), Proceedings of the 2006 international symposium on symbolic and algebraic computation, ISSAC 06, Genova, Italy, July 9–12, 2006. New York, NY: ACM Press (ISBN 1-59593-276-3). 31-38 (2006).
MSC:  65Q30 68W30 68W40
PDFBibTeX XMLCite
Full Text: DOI Link

Reflections on a geometry of processes. (English) Zbl 1316.68092

Aceto, Luca (ed.) et al., Proceedings of the workshop “Essays on algebraic process calculi” (APC 25), Bertinoro, Italy, August 1–5, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 162, 183-190 (2006).
MSC:  68Q85 68Q60 68R10
PDFBibTeX XMLCite
Full Text: DOI

YMCA: why Markov chain algebra? (English) Zbl 1316.68088

Aceto, Luca (ed.) et al., Proceedings of the workshop “Essays on algebraic process calculi” (APC 25), Bertinoro, Italy, August 1–5, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 162, 107-112 (2006).
MSC:  68Q85 60J20 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Markovian testing and trace equivalences exactly lump more than Markovian bisimilarity. (English) Zbl 1316.68086

Aceto, Luca (ed.) et al., Proceedings of the workshop “Essays on algebraic process calculi” (APC 25), Bertinoro, Italy, August 1–5, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 162, 87-99 (2006).
MSC:  68Q85 60J20 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Alternating triple systems with simple Lie algebras of derivations. (English) Zbl 1330.17006

Sabinin, Lev V. (ed.) et al., Non-associative algebra and its applications. Proceedings of the 5th international conference, Oaxtep, Mexico, July 27–August 2, 2003. Boca Raton, FL: Chapman & Hall/CRC (ISBN 0-8247-2669-3/pbk). Lecture Notes in Pure and Applied Mathematics 246, 55-82 (2006).
PDFBibTeX XMLCite

KASH: recent developments. (English) Zbl 1229.11160

Iglesias, Andrés (ed.) et al., Mathematical software – ICMS 2006. Second international congress on mathematical software, Castro Urdiales, Spain, September 1–3, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38084-9/pbk). Lecture Notes in Computer Science 4151, 170-181 (2006).
MSC:  11Y40 11-04 11Y16
PDFBibTeX XMLCite
Full Text: DOI

Plural, a non-commutative extension of Singular: past, present and future. (English) Zbl 1229.16001

Iglesias, Andrés (ed.) et al., Mathematical software – ICMS 2006. Second international congress on mathematical software, Castro Urdiales, Spain, September 1–3, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38084-9/pbk). Lecture Notes in Computer Science 4151, 144-157 (2006).
PDFBibTeX XMLCite
Full Text: DOI

The SARAG library: some algorithms in real algebraic geometry. (English) Zbl 1230.14002

Iglesias, Andrés (ed.) et al., Mathematical software – ICMS 2006. Second international congress on mathematical software, Castro Urdiales, Spain, September 1–3, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38084-9/pbk). Lecture Notes in Computer Science 4151, 122-131 (2006).
PDFBibTeX XMLCite
Full Text: DOI

Solving equations over small unary algebras. (English) Zbl 1193.68129

David, René (ed.) et al., Computational logic and applications, CLA ’05. Proceedings of the 3rd workshop, Chambéry, France, June 20–21, 2005. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings AF, 49-60, electronic only (2006).
MSC:  68Q25 08A60 08A70
PDFBibTeX XMLCite
Full Text: Link

Notation selection in mathematical computing environments. (English) Zbl 1204.68276

Dumas, Jean-Guillaume (ed.), Transgressive computing 2006. A conference in honor of Jean Della Dora, Granada, España, April 24–26, 2006. Proceedings. Granada: Universidad de Granada (ISBN 84-689-8381-0/pbk). 339-355 (2006).
MSC:  68W30 68T10
PDFBibTeX XMLCite

A computational method to obtain the law of the nilpotent Lie algebras \({\mathfrak g}_n\). (English) Zbl 1287.17001

Dumas, Jean-Guillaume (ed.), Transgressive computing 2006. A conference in honor of Jean Della Dora, Granada, España, April 24–26, 2006. Proceedings. Granada: Universidad de Granada (ISBN 84-689-8381-0/pbk). 53-61 (2006).
MSC:  17-08 17B30 68W30
PDFBibTeX XMLCite

Making computer algebra more symbolic. (English) Zbl 1204.68278

Dumas, Jean-Guillaume (ed.), Transgressive computing 2006. A conference in honor of Jean Della Dora, Granada, España, April 24–26, 2006. Proceedings. Granada: Universidad de Granada (ISBN 84-689-8381-0/pbk). 43-49 (2006).
MSC:  68W30
PDFBibTeX XMLCite

On the GAP package numericalsgps. (English) Zbl 1169.20309

Martínez Moro, Edgar (ed.), V jornadas de matemática discreta y algorítmica. Valladolid: Universidade de Valladolid, Secretariado de Publicaciones e Intercambio Editorial (ISBN 978-84-8448-380-9/pbk). Ciencias (Valladolid) 23, 271-278 (2006).
MSC:  20M14 20-04 68W30
PDFBibTeX XMLCite

Collapsibility in infinite-domain quantified constraint satisfaction. (English) Zbl 1225.68095

Ésik, Zoltán (ed.), Computer science logic. 20th international workshop, CSL 2006, 15th annual conference of the EACSL, Szeged, Hungary, September 25–29, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-45458-8/pbk). Lecture Notes in Computer Science 4207, 197-211 (2006).
MSC:  68Q25 03B70 08A70
PDFBibTeX XMLCite
Full Text: DOI

Matrix approach to graph transformation: Matching and sequences. (English) Zbl 1156.68436

Corradini, Andrea (ed.) et al., Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38870-8/pbk). Lecture Notes in Computer Science 4178, 122-137 (2006).
MSC:  68Q42 05C50 68R10
PDFBibTeX XMLCite
Full Text: DOI Link

Algebras of terms in Pawlak’s information systems. (English) Zbl 1162.68671

Greco, Salvatore (ed.) et al., Rough sets and current trends in computing. 5th international conference, RSCTC 2006, Kobe, Japan, November 6–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-47693-1/pbk). Lecture Notes in Computer Science 4259. Lecture Notes in Artificial Intelligence, 71-76 (2006).
MSC:  68T30 08A70
PDFBibTeX XMLCite
Full Text: DOI

On the complexity of the equational theory of relational action algebras. (English) Zbl 1135.68018

Schmidt, Renate A. (ed.), Relations and Kleene algebra in computer science. 9th international conference on relational methods in computer science and 4th international workshop on applications of Kleene algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37873-0/pbk). Lecture Notes in Computer Science 4136, 106-119 (2006).
PDFBibTeX XMLCite
Full Text: DOI

Verification of infinite-state systems with applications to security. Proceedings of the NATO Advanced Research Workshop on verification of infinite-state systems with applications to security, Timaşoara, Romania, March 17–22, 2005. (English) Zbl 1126.68054

NATO Security through Science Series. D: Information and Communication Security 1. Amsterdam: IOS Press (ISBN 978-1-58603-570-9/hbk). vii, 235 p. (2006).
MSC:  68Q85 68Q60 68-06
PDFBibTeX XMLCite

Solving linear systems of differential and difference equations with respect to a part of the unknowns. (Russian, English) Zbl 1179.65100

Zh. Vychisl. Mat. Mat. Fiz. 46, No. 2, 229-241 (2006); translation in Comput. Math. Math. Phys. 46, No. 2, 218-230 (2006).
MSC:  65L20 65F30
PDFBibTeX XMLCite

Varieties generated by certain models of reversible finite automata. (English) Zbl 1162.68480

Chen, Danny Z. (ed.) et al., Computing and combinatorics. 12th annual international conference, COCOON 2006, Taipei, Taiwan, August 15–18, 2006. Proceedings. Berlin: Springer (ISBN 3-540-36925-2/pbk). Lecture Notes in Computer Science 4112, 83-93 (2006).
MSC:  68Q70 08A70 81P68
PDFBibTeX XMLCite
Full Text: DOI

Toward the eigenvalue power law. (English) Zbl 1132.05318

Královič, Rastislav (ed.) et al., Mathematical foundations of computer science 2006. 31st international symposium, MFCS 2006, Stará Lesná, Slovakia, August 28–September 1, 2006. Proceedings. Berlin: Springer (ISBN 3-540-37791-3/pbk). Lecture Notes in Computer Science 4162, 351-362 (2006).
MSC:  05C50 05C80 68R10
PDFBibTeX XMLCite
Full Text: DOI

Systems of equations over finite semigroups and the #CSP dichotomy conjecture. (English) Zbl 1132.68424

Královič, Rastislav (ed.) et al., Mathematical foundations of computer science 2006. 31st international symposium, MFCS 2006, Stará Lesná, Slovakia, August 28–September 1, 2006. Proceedings. Berlin: Springer (ISBN 3-540-37791-3/pbk). Lecture Notes in Computer Science 4162, 584-595 (2006).
PDFBibTeX XMLCite
Full Text: DOI

Proceedings of the 2006 international symposium on symbolic and algebraic computation, ISSAC 06, Genova, Italy, July 9–12, 2006. (English) Zbl 1117.68092

New York, NY: ACM Press (ISBN 1-59593-276-3). xii, 361 p. (2006).
PDFBibTeX XMLCite

The complexity of equality constraint languages. (English) Zbl 1148.68385

Grigoriev, Dima (ed.) et al., Computer science – theory and applications. First international computer science symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8–12, 2006. Proceedings. Berlin: Springer (ISBN 3-540-34166-8/pbk). Lecture Notes in Computer Science 3967, 114-126 (2006).
PDFBibTeX XMLCite
Full Text: DOI

Minkowski decomposition of convex lattice polygons. (English) Zbl 1114.68071

Elkadi, Mohamed (ed.) et al., Algebraic geometry and geometric modeling. Based on the workshop, Nice-Sophia Antipolis, France, September 27–29, 2004. Berlin: Springer (ISBN 3-540-33274-X/hbk). Mathematics and Visualization, 217-236 (2006).
MSC:  68U05 68W20 52B20
PDFBibTeX XMLCite

On the complexity of non-universal polynomial equation solving: old and new results. (English) Zbl 1107.65316

Pardo, Luis M. (ed.) et al., Foundations of computational mathematics, Santander 2005. Selected papers based on the presentations at the international conference of the Foundations of Computational Mathematics (FoCM), Santander, Spain, June 30 – July 9, 2005. Cambridge: Cambridge University Press (ISBN 0-521-68161-8/pbk). London Mathematical Society Lecture Note Series 331, 1-35 (2006).
MSC:  65H05 12Y05 26C10 30C15 65Y20
PDFBibTeX XMLCite

Equational constraint solving via a restricted form of universal quantification. (English) Zbl 1177.03037

Dix, Jürgen (ed.) et al., Foundations of information and knowledge systems. 4th international symposium, FoIKS 2006, Budapest, Hungary, February 14–17, 2006. Proceedings. Berlin: Springer (ISBN 3-540-31782-1/pbk). Lecture Notes in Computer Science 3861, 2-21 (2006).
MSC:  03B70 03B35
PDFBibTeX XMLCite
Full Text: DOI

Generic linear algebra and quotient rings in Maple. (English) Zbl 1107.65030

Kotsireas, Ilias (ed.) et al., Maple conference 2006. Proceedings of the conference, Waterloo, Ontario, Canada, July 23–26, 2006. Waterloo: Maplesoft (ISBN 1-897310-13-7/pbk). 179-188 (2006).
PDFBibTeX XMLCite

New Maple solution of the generalized Leibniz problem. (English) Zbl 1108.65070

Kotsireas, Ilias (ed.) et al., Maple conference 2006. Proceedings of the conference, Waterloo, Ontario, Canada, July 23–26, 2006. Waterloo: Maplesoft (ISBN 1-897310-13-7/pbk). 120-128 (2006).
PDFBibTeX XMLCite

Interactive training of mathematical analyzes students with the application of Maple. (English) Zbl 1137.00302

Marinov, M. S. (ed.) et al., Applications of mathematics in engineering and economics. Proceedings of the 31st international conference, AMEE ’05, Sozopol, Bulgaria, June 5–10, 2005. Sofia: Softtrade (ISBN 954-334-032-3/pbk). 283-291 (2006).
MSC:  00A35 97D40
PDFBibTeX XMLCite

A Picard-Fuchs system for Abelian integrals, deduced by means of the package “Mathematica”. I, II. (English) Zbl 1113.34025

Marinov, M. S. (ed.) et al., Applications of mathematics in engineering and economics. Proceedings of the 31st international conference, AMEE ’05, Sozopol, Bulgaria, June 5–10, 2005. Sofia: Softtrade (ISBN 954-334-032-3/pbk). 188-196, 197–208 (2006).
MSC:  34C08 34-04 68W30
PDFBibTeX XMLCite

Algebraic progressions and generation of subsets in universal algebra. (English) Zbl 1107.08008

Marinov, M. S. (ed.) et al., Applications of mathematics in engineering and economics. Proceedings of the 31st international conference, AMEE ’05, Sozopol, Bulgaria, June 5–10, 2005. Sofia: Softtrade (ISBN 954-334-032-3/pbk). 66-70 (2006).
MSC:  08A70
PDFBibTeX XMLCite

Generalized power Menger algebras and generalized non-deterministic hypersubstitutions. (English) Zbl 1107.08005

Dorfer, G. (ed.) et al., Proceedings of the 70th workshop on general algebra “70. Arbeitstagung Allgemeine Algebra”, Vienna, Austria, May 26–29, 2005. Klagenfurt: Verlag Johannes Heyn (ISBN 3-7084-0194-8/pbk). Contributions to General Algebra 17, 61-70 (2006).
PDFBibTeX XMLCite

\(n\)D polyhedral scene reconstruction from single 2D line drawing by local propagation. (English) Zbl 1159.68553

Hong, Hoon (ed.) et al., Automated deduction in geometry. 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16–18, 2004. Revised papers. Berlin: Springer (ISBN 3-540-31332-X/pbk). Lecture Notes in Computer Science 3763. Lecture Notes in Artificial Intelligence, 169-197 (2006).
MSC:  68T15 52B55 68U05
PDFBibTeX XMLCite
Full Text: DOI

Modern differential geometry of curves and surfaces with Mathematica. 3rd ed. (English) Zbl 1123.53001

Studies in Advanced Mathematics. Boca Raton, FL: Chapman & Hall/CRC (ISBN 1-58488-448-7/hbk). 984 p. (2006).
PDFBibTeX XMLCite

Complex graphs and networks. (English) Zbl 1114.90071

CBMS Regional Conference Series in Mathematics 107. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3657-9/pbk). vii, 264 p. (2006).
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 3

Main Field

all top 3

Software