Search results for "magma"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	John J. Cannon, Catherine Playoust	Using the Magma Computer Algebra System in Abstract Algebra Courses.	J. Symb. Comput.	1997	DBLP DOI BibTeX RDF
23	Carlo Montangero, Giuliano Pacini, Franco Turini	MAGMA-LISP: A "Machine Language" For Artificial Intelligence.	IJCAI	1975	DBLP BibTeX RDF
23	Maurice Nivat	Langages algébriques sur le magma libre et sémantique des schémas de programme.	ICALP	1972	DBLP BibTeX RDF
18	Anirudh Devgan, Bulent Basaran, David Colleran, Mar Hershenson	Accelerated design of analog, mixed-signal circuits in Titan.	ISPD	2009	DBLP DOI BibTeX RDF	analog circuit layout, analog/digital, custom design, layout, physical design, analog circuits, mixed-signal circuits
18	Olivier Billet, Gilles Macario-Rat	Cryptanalysis of the Square Cryptosystems.	ASIACRYPT	2009	DBLP DOI BibTeX RDF
18	Mohamed Saied Emam Mohamed, Jintai Ding, Johannes Buchmann 0001, Fabian Werner	Algebraic Attack on the MQQ Public Key Cryptosystem.	CANS	2009	DBLP DOI BibTeX RDF	MQQ public key cryptosystem, MutantXL algorithm, F4 algorithm, Algebraic Cryptanalysis
18	Xin Li 0009, Marc Moreno Maza, Wei Pan 0001	Computations modulo regular chains.	ISSAC	2009	DBLP DOI BibTeX RDF	fast polynomial arithmetic, regular chain, regular gcd, polynomial systems, triangular decomposition, subresultants
18	Ed Zintel	Tools and Products.	IEEE Computer Graphics and Applications	2008	DBLP DOI BibTeX RDF
18	Edray Goins, Florian Luca, Alain Togbé	On the Diophantine Equation x2+2alpha5beta13gamma=yn.	ANTS	2008	DBLP DOI BibTeX RDF	Exponential equations, Computer solution of Diophantine equations, Diophantine equation
18	Jintai Ding, Dieter Schmidt, Fabian Werner	Algebraic Attack on HFE Revisited.	ISC	2008	DBLP DOI BibTeX RDF	Gröbner basis, multivariate public key cryptosystem, HFE
18	Xin Li 0009, Marc Moreno Maza, Éric Schost	On the Virtues of Generic Programming for Symbolic Computation.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	fast arithmetic, polynomials, high performance, Generic programming, efficient implementation
18	Ilias S. Kotsireas, Christos Koukouvinos	Inequivalent Hadamard matrices from orthogonal designs.	PASCO	2007	DBLP DOI BibTeX RDF	orthogonal designs, systems of polynomial equations, Hadamard matrices
18	Göran Krampe	Advanced issue tracker in smalltalk.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	ODBMS, continations, issue tracker, workflow, Smalltalk, Ajax, bugs, forms
18	Werner Bley, Robert Boltje	Computation of Locally Free Class Groups.	ANTS	2006	DBLP DOI BibTeX RDF
18	Jan Robert Menzel, Lutz Priese, Monika Schuth	Some Examples of Semi-rational DAG Languages.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
18	P. John Paul, P. N. Girija	A Novel VLSI Architecture for Image Compression.	ISM	2006	DBLP DOI BibTeX RDF	FHT, FCT, FST, Hybrid Transform, VLSI, FFT
18	Juan Pablo Lacassie, Javier Ruiz-del-Solar	Knowledge extraction in geochemical data by using self-organizing maps.	IJCNN	2006	DBLP DOI BibTeX RDF
18	Akpodigha Filatei, Xin Li 0009, Marc Moreno Maza, Éric Schost	Implementation techniques for fast polynomial arithmetic in a high-level programming environment.	ISSAC	2006	DBLP DOI BibTeX RDF	Aldor, polynomials, high-performance, Axiom
18	Jintai Ding, Jason E. Gower, Dieter Schmidt, Christopher Wolf, Zhijun Yin	Complexity Estimates for the F4 Attack on the Perturbed Matsumoto-Imai Cryptosystem.	IMACC	2005	DBLP DOI BibTeX RDF	Gröbner basis, public-key, perturbation, multivariate, quadratic polynomials
18	Siguna Müller	On the Computation of Square Roots in Finite Fields.	Des. Codes Cryptogr.	2004	DBLP DOI BibTeX RDF	complexity, finite fields, square roots, efficient computation
18	Peter Stephenson, Keiko Satoh, Audrey Klos, Diane Kinloch, Emily Taylor, Cindy Chambers	Inner Earth: Towards Interaction Patterns.	TIDSE	2004	DBLP DOI BibTeX RDF
18	Katharina Geißler, Nigel P. Smart	Computing the M = U Ut Integer Matrix Decomposition.	IMACC	2003	DBLP DOI BibTeX RDF	NTRU, Lattice based cryptography
18	Allan K. Steel	A New Scheme for Computing with Algebraically Closed Fields.	ANTS	2002	DBLP DOI BibTeX RDF
18	Richard Sharp	Functional Design Using Behavioural and Structural Components.	FMCAD	2002	DBLP DOI BibTeX RDF
18	Éric Schost	Degree bounds and lifting techniques for triangular sets.	ISSAC	2002	DBLP DOI BibTeX RDF
18	Giuseppe Nunnari, Libero Bertucco	Soft Computing Techniques for Modeling Geophysical Data.	IJCNN (6)	2000	DBLP DOI BibTeX RDF	Data Inversion, Geophysical Data, Simulated Annealing, Multilayer Perceptron, System Identification
18	Gustavo de Paula, Francisco S. Ramos, Geber L. Ramalho	Bilateral Negotiation for Agent-Mediated Electronic Commerce.	AMEC	2000	DBLP DOI BibTeX RDF
18	Gregory Butler	Software Architectures for Computer Algebra: A Case Study.	DISCO	1996	DBLP DOI BibTeX RDF