• Postbus 513, MF

    5600MB Eindhoven

    Nederland

Onderzoeksoutput

Filter
Conferentiebijdrage
2000

Error-correcting codes over an alphabet of four elements

Bogdanova, G. T., Brouwer, A. E., Kapralov, S. N. & Ostergård, P. R. J., 1 jan 2000, 2000 IEEE International Symposium on Information Theory . Piscataway: Institute of Electrical and Electronics Engineers, blz. 142 1 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Factorization of a 512-bit RSA modulus

Cavallar, S., Dodson, B., Lenstra, A. K., Lioen, W. M., Montgomery, P. L., Murphy, B. & Riele, te, H. J. J., 2000, Advances in Cryptology - EUROCRYPT 2000 (Proceedings International Conference on the Theory and Application of Cryptographic Techniques, Bruges, Belgium, May 14-18, 2000). Preneel, B. (redactie). Berlin: Springer, blz. 1-18 (Lecture Notes in Computer Science; vol. 1807).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

61 Citaten (Scopus)

How to formally and efficiently prove Prime(1999)

Caprotti, O. & Oostdijk, M. D., 2000, Symbolic Computation and Automated Reasoning: The Calculemus-2000 Symposium. Kerber, M. & Kohlhase, M. (redactie). St. Andrews: A.K. Peters, blz. 114-125

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Interactief onderwijs in de algebra

Sterk, H. J. M., 2000, Vakantiecursus 2000: Is wiskunde nog wel mensenwerk?. Amsterdam: Centrum voor Wiskunde en Informatica, blz. 3-20 (CWI Syllabus; vol. 48).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageProfessioneel

Key improvements to XTR

Lenstra, A. K. & Verheul, E. R., 2000, Advances in Cryptology - ASIACRYPT 2000 (Proceedings 6th International Conference on the Theory and Application of Cryptology and Information Security, Kyoto, Japan, December 3-7, 2000). Okamoto, T. (redactie). Berlin: Springer, blz. 220-233 (Lecture Notes in Computer Science; vol. 1976).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

27 Citaten (Scopus)

Optimally efficient accountable time-stamping

Buldas, A., Lipmaa, H. & Schoenmakers, L. A. M., 2000, Public Key Cryptography (Proceedings PKC 2000, Melbourne, Australia, January 18-20, 2000). Imai, H. & Zheng, Y. (redactie). Berlin: Springer, blz. 293-305 (Lecture Notes in Computer Science; vol. 1751).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

29 Citaten (Scopus)

Selecting cryptographic key sizes

Lenstra, A. K. & Verheul, E. R., 2000, Public Key Cryptography (Proceedings PKC 2000, Melbourne, Australia, January 18-20, 2000). Imai, H. & Zheng, Y. (redactie). Berlin: Springer, blz. 446-465 (Lecture Notes in Computer Science; vol. 1751).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

84 Citaten (Scopus)

The XTR public key system

Lenstra, A. K. & Verheul, E. R., 2000, Advances in Cryptology - CRYPTO 2000 (Proceedings 20th Annual International Cryptology Conference, Santa Barbara CA, USA, August 20-24, 2000). Bellare, M. (redactie). Berlin: Springer, blz. 1-19 (Lecture Notes in Computer Science; vol. 1880).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

161 Citaten (Scopus)

Using OpenMath servers for distributing mathematical computations

Caprotti, O., Cohen, A. M., Cuypers, F. G. M. T., Riem, M. N. & Sterk, H. J. M., 2000, ATCM : proceedings of the 5th Asian Technology Conference in Mathematics, December 17-21, 2000, Chiang Mai, Thailand. Yang, W. C., Chu, S. C. & Chuan, J. C. (redactie). Blacksburg: ATCM, blz. 325-336

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Whizzkids: two exercises in computational discrete optimization

Aarts, E. H. L., Hurkens, C. A. J. & Lenstra, J. K., 2000, ICIAM 99: Proceedings of the Fourth International Congress on Industrial & Applied Mathematics, Edinburgh. Ball, J. M. & Hunt, J. C. R. (redactie). Oxford: Oxford University Press, blz. 141-152

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1999

A construction of systematic authentication codes based on error-correcting codes

Xu, S. B. & Tilborg, van, H. C. A., 1999, Proceedings 1999 Workshop on Coding and Cryptography. Augot, D. & Carlet, C. (redactie). Paris: INRIA, blz. 279-289

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

A simple publicly verifiable secret sharing scheme and its application to electronic voting

Schoenmakers, L. A. M., 1999, Advances in Cryptology - CRYPTO'99 (Proceedings 19th Annual International Cryptology Conference, Santa Barbara CA, USA, August 15-19, 1999). Wiener, M. J. (redactie). Berlin: Springer, blz. 148-164 (Lecture Notes in Computer Science; vol. 1666).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

232 Citaten (Scopus)

Connecting proof checkers and computer algebra using OpenMath

Caprotti, O. & Cohen, A. M., 1999, Theorem Proving in Higher Order Logics (Proceedings TPHOLs'99, Nice, France, September 14-17, 1999). Bertot, Y., Dowek, G., Hirschowitz, A. & Paulin, C. (redactie). Berlin: Springer, blz. 109-112 (Lecture Notes in Computer Science; vol. 1690).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

Doing more with fewer bits

Brouwer, A. E., Pellikaan, G. R. & Verheul, E. R., 1999, Advances in Cryptology - ASIACRYPT '99 (Proceedings International Conference on the Theory and Applications of Cryptology and Information Security, Singapore, November 14-18, 1999). Lam, K. Y., Okamoto, E. & Xing, C. P. (redactie). Berlin: Springer, blz. 321-332 (Lecture Notes in Computer Science; vol. 1716).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

20 Citaten (Scopus)

Integrating computational and deduction systems using OpenMath

Caprotti, O. & Cohen, A. M., 1999, Proceedings Calculemus 99 (Trento, Italy, July 1999). blz. 469-480 (Electronic Notes in Theoretical Computer Science; vol. 23).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)
1 Downloads (Pure)

Market split and basis reduction : Towards a solution of the Cornuéjols-Dawande instances

Aardal, K. I., Bixby, R. E., Hurkens, C. A. J., Lenstra, A. K. & Smeltink, J. W., 1999, Integer Programming and Combinatorial Optimization (Proceedings 7th International IPCO Conference, Graz, Austria, June 9-11, 1999). Cornuéjols, C., Burkard, R. E. & Woeginger, G. J. (redactie). Berlin: Springer, blz. 1-16 (Lecture Notes in Computer Science; vol. 1610).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

13 Citaten (Scopus)

On a tensor category for the exceptional Lie groups

Cohen, A. M. & Man, de, R., 1999, Computational methods for representations of groups and algebras : Euroconference in Essen (Germany), April 1-5, 1997 / Ed. P. Draexler, G.O. Michler, C.M. Ringel. Basel: Birkhäuser Verlag, blz. 121-137 (Progress in mathematics; vol. 173).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

7 Citaten (Scopus)
1 Downloads (Pure)

Polynomials in finite geometries

Ball, S. M., 1999, Surveys in combinatorics (Canterbury, UK, 1999). Lamb, J. D. & Preece, D. A. (redactie). Cambridge: Cambridge University Press, blz. 17-35 (London Mathematical Society Lecture Note Series; vol. 267).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Some indications that the exceptional groups form a series

Cohen, A. M. & Man, de, R., 1999, Computational methods for representations of groups and algebras (Essen, Germany, April 1-5, 1997). Draexler, P., Michler, G. O. & Ringel, C. M. (redactie). Basel: Birkhäuser Verlag, blz. 121-138 (Progress in Mathematics; vol. 173).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

7 Citaten (Scopus)
1998

A construction for quasi-cyclic codes from BCH-codes over an extension field

Keuning, K. J., 1998, Winter school on information and coding theory. Technische Universiteit Eindhoven

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Affine near hexagons related to the spin module of type $B_3$

Bon, van, J. T. M. & Cuypers, F. G. M. T., 1998, Groups and Geometries (Proceedings, Siena, Italy, September 1-7, 1996). Martino, di, L., Kantor, W. M., Lunardon, G., Pasini, A. & Tamburini, M. C. (redactie). Basel: Birkhäuser Verlag, blz. 215-229

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Linear transvection groups

Cuypers, F. G. M. T. & Steinbach, A., 1998, Proceedings of the conference Algebraic Combinatorics. Munemasa, A. (redactie). Kyoto: RIMS, blz. 61-71

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Perfect codes for metrics generated by primitive 2-error-correcting binary BCH codes.

Gabidulin, E. M. & Simonis, J., 1998, Proceedings 1998 IEEE International Symposium Information Theory (ISIT 1998, Cambridge MA, USA, August 16-21, 1998). Institute of Electrical and Electronics Engineers, blz. 68- 1 blz. 708651

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Philosophical aspects of computerized verification of mathematics

Bruijn, de, N. G., 1998, Automated Reasoning with Analytic Tableaux and Related Methods (Proceedings TABLEAUX'98, Oisterwijk, The Netherlands, May 5-7, 1998). Swart, de, H. C. M. (redactie). Springer, blz. 1-9 (Lecture Notes in Computer Science; vol. 1397).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Solving a linear diophantine equation with lower and upper bounds on the variables

Aardal, K. I., Hurkens, C. A. J. & Lenstra, A. K., 1998, Integer Programming and Combinatorial Optimization (Proceedings 6th International IPCO Conference, Houston TX, USA, June 22-24, 1998). Bixby, R. E., Rios-Mercado, R. Z. & Boyd, E. A. (redactie). Berlin: Springer, blz. 229-242 (Lecture Notes in Computer Science; vol. 1412).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

14 Citaten (Scopus)

The geometry far from a residue

Brouwer, A. E. & Blok, R. J., 1998, Groups and Geometries (Proceedings, Siena, Italy, September 1-7, 1996). Martino, di, L., Kantor, W. M., Lunardon, G., Pasini, A. & Tamburini, M. C. (redactie). Basel: Birkhäuser Verlag, blz. 29-38

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

29 Citaten (Scopus)

Trinomial curves with many rational points

Beelen, P. H. T. & Pellikaan, G. R., 1998, Proceedings Information Theory Workshop (IWT 1998, Killarney, Ireland, June 22-26, 1998). Institute of Electrical and Electronics Engineers, blz. 38-39 2 blz. 706401

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Type-theoretical checking and the philosophy of mathematics

Bruijn, de, N. G., 1998, Twenty-five Years of Constructive Type Theory (Proceedings of a congress held in Venice, Italy, October 1995). Sambin, G. & Smith, J. M. (redactie). Oxford: Clarendon Press, blz. 41-56

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1997

$GL_4$-orbits in a 16-dimensional module over chararteristic 3

Cohen, A. M. & Wales, D. B., 1997, Proceedings of the Organic Math Workshop (Vancouver, Canada, December 1995), Canadian Mathematical Society Conference Proceedings, 20 (electronic). blz. 155-173

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

A construction of a k out of n visual secret sharing scheme

Verheul, E. R. & Tilborg, van, H. C. A., 1997, Proceedings 1st INTAS International Seminar on Coding Theory and Combinatorics. blz. 130-138

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Binding ElGamal : A fraud-detectable alternative to key-escrow proposals

Verheul, E. R. & Tilborg, van, H. C. A., 1997, Advances in Cryptology - EUROCRYPT'97 (Proceedings International Conference on the Theory and Application of Cryptographic Techniques, Konstanz, Germany, May 11-15, 1997). Fumy, W. (redactie). Berlin: Springer, blz. 119-133 (Lecture Notes in Computer Science; vol. 1233).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

31 Citaten (Scopus)

Computer algebra in service courses

Simons, F. H., 1997, Second IMA Conference on Mathematical Education of Engineers (Loughborough, UK, April 7-9, 1997).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Open Access
Bestand
25 Downloads (Pure)

Constructing faithful matrix representations of Lie algebras

Graaf, de, W. A., 1997, Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation (ISSAC '97, Kihei, HI, USA). New York: Association for Computing Machinery, Inc, blz. 54-59

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

9 Citaten (Scopus)

Cryptanalysis of 'less short' RSA secret exponents

Verheul, E. R. & Tilborg, van, H. C. A., 1997, Proceedings of the Eighteenth Symposium on Information Theory in the Benelux (Veldhoven, The Netherlands, May 15-16, 1997). Willems, F. M. J. & Tjalkens, T. J. (redactie). Enschede: Werkgemeenschap voor Informatie- en Communicatietheorie (WIC), blz. 113-114

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

56 Citaten (Scopus)

Embedding partial geometries in Steiner designs

Brouwer, A. E., Haemers, W. H. & Tonchev, V. D., 1997, Geometry, Combinatorial Designs and Related Structures (Proceedings of the first Pythagorean Conference, Island of Spetses, Greece, June 1-7, 1996). Hirschfeld, J. W. P., Magliveras, S. S. & Resmini, de, M. F. (redactie). Cambridge: Cambridge University Press, blz. 33-41 (London Mathematical Society Lecture Note Series; vol. 245).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Generalized Hamming weights of q-ary Reed-Muller codes

Heijnen, P. W. & Pellikaan), G. R. R., 1997, Proceedings 1997 IEEE International Symposium on Information Theory (ISIT 1997, Ulm, Germany, June 29-July 4, 1997). Institute of Electrical and Electronics Engineers, blz. 360- 1 blz. 613295

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

GL(4)-orbits in a 16-dimensional module for characteristic 3

Cohen, A. M. & Wales, D. B., 1997, Organic mathematics : proceedings of the Organic Mathematics Workshop, December 12-14, 1995, Simon Fraser University, Burnaby, British Columbia / Ed. J.M. Borwein. Providence: American Mathematical Society, blz. 155-174 (Canadian Mathematical Society Conference Proceedings; vol. 20).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Open Access
Bestand
68 Downloads (Pure)

On the missing functions of a pyramid of curves

Pellikaan, G. R., 1997, Proceedings 35th Allerton Conference on Communication, Control and Computing (Monticello IL, USA, September 29-October 1, 1997). Basar, T. & Vardy, A. (redactie). Urbana-Champaign: University of Illinois, blz. 33-40

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Order functions and evaluation codes

Høholdt, T., van Lint, J. H. & Pellikaan, G. R., 1997, Applied Algebra, Algebraic Algorithms and Error-Correcting Codes (Proceedings 12th International Conference, AAECC-12, Toulouse, France, June 23-27, 1997). Mora, T. & Mattson, H. F. (redactie). Berlin: Springer, blz. 138-150 (Lecture Notes in Computer Science; vol. 1255).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
6 Citaten (Scopus)
51 Downloads (Pure)

Performance and complexity of decoding algorithms

Keuning, K. J., 1997, Proceedings of the Eighteenth Symposium on Information Theory in the Benelux (Veldhoven, The Netherlands, May 15-16, 1997). Willems, F. M. J. & Tjalkens, T. J. (redactie). Enschede: Werkgemeenschap voor Informatie- en Communicatietheorie (WIC), blz. 5-8

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Splitting fields for Jordan subgroups

Cohen, A. M. & Tiep, P. H., 1997, Proceedings of Finite Reductive Groups, Related structures and Representations. Cabanes, M. (redactie). Boston: Birkhäuser Verlag, blz. 165-183

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
68 Downloads (Pure)

The decoding quasi-cyclic codes

Heijnen, P. W., 1997, Proceedings of the Eighteenth Symposium on Information Theory in the Benelux (Veldhoven, The Netherlands, May 15-16, 1997). Willems, F. M. J. & Tjalkens, T. J. (redactie). Enschede: Werkgemeenschap voor Informatie- en Communicatietheorie (WIC), blz. 1-4

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1996

Asymptotically good sequences of curves and codes

Pellikaan, G. R., 1996, Proceedings 34th Allerton Conference on Communication, Control and Computing (Allerton House, Urbana-Champaign IL, USA, October 2-4, 1996). blz. 276-285

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Computer algebra systems in mathematical education

Simons, F. H., 1996, Mathematical Modelling Courses for Engineering Education. Ersoy, Y. & Moscardini, A. O. (redactie). Berlin: Springer, blz. 239-240 (NATO ASI Series, Series F: Computer and Systems Sciences).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Does an engineer need proof?

Asch, van, A. G., 1996, Proceedings 8th International Congress on Mathematical Education (ICME-8, Sevilla, Spain, July 14-21, 1996). blz. 53-57

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

How Derive can be used to build an architect

Asch, van, A. G., 1996, Proceedings 2nd International Conference on Technology in Mathematics Teaching (ICTMT-2, Edinburgh, UK, September 4-7, 1995).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageProfessioneel

Issues involved in teaching calculus with computer algebra systems

Simons, F. H., 1996, Mathematical Modelling Courses for Engineering Education (Proceedings of the NATO advanced research workshop, Izmir, Turkey, July 12-16, 1993. Ersoy, Y. & Moscardini, A. O. (redactie). Berlin: Springer, blz. 93-112 (NATO ASI Series, Series F: Computer and Systems Sciences; vol. 132).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1995

A broadcast key distribution scheme based on block designs

Korjik, V. I., Ivkov, M., Merinovich, Y., Barg, A. & Tilborg, van, H. C. A., 1995, Cryptography and Coding (Proceedings of the 5th IMA Conference, Cirencester, UK, December 18-20, 1995). Boyd, C. (redactie). Berlin: Springer, blz. 3-12 (Lecture Notes in Computer Science; vol. 1025).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (Scopus)

Applied computer algebra : experience from Cam design

Cohen, A. M. & Heck, A., 1995, Computer algebra in science and engineering : workshop, 28-31 August 1994, Bielefeld, Germany. Fleischer, J., Grabmeier, J., Hehl, F. & Küchlin, W. (redactie). Singapore: World Scientific, blz. 57-66

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
50 Citaten (Scopus)
32 Downloads (Pure)

Authentication codes : an area where coding and cryptography meet

Tilborg, van, H. C. A., 1995, Cryptography and Coding (Proceedings of the 5th IMA Conference, Cirencester, UK, December 18-20, 1995). Boyd, C. (redactie). blz. 169-183 (Lecture Notes in Computer Science; vol. 1025).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review