Results 121 to 130 of about 25,732 (152)

Symbolic superalgebra manipulations using common lisp

Computer Physics Communications, 1990
Abstract We present a description and an implementation of a program in COMMON LISP to perform symbolic computations in a given Lie algebra. Using the general definitions of vector space Lie algebra and enveloping algebra, the program is able to compute commutators, to evaluate similarity transformations and the general Baker-Campbell-Hausdorff ...
R. Cecchini, M. Tarlini
openaire   +3 more sources

CMU Common Lisp user's manual

2006
Abstract: "CMU Common Lisp is an implementation of Common Lisp that currently runs under Mach, a Berkeley Unix 4.3 binary compatible operating system. CMU Common Lisp is currently supported on MIPS-processor DECstations, Sparc-based workstations from Sun and the IBM RT PC, and other ports are planned.
openaire   +1 more source

On Lisp: Advanced Techniques for Common Lisp. Paul Graham [PDF]

Artificial Intelligence Review, 1999
Ahmed Alneami, Paul Mc Kevitt
openaire   +1 more source

Executing in Common Lisp, Proving in ACL2

2007
In this paper, an approach to integrate an already-written Common Lisp program for algebraic manipulation with ACL2 proofs of properties of that program is presented. We report on a particular property called "cancellation theorem", which has been proved in ACL2, and could be applied to several problems in the field of Computational Algebraic Topology.
Julio Rubio, Laureano Lambán, Mirian Andrés   +2 more
openaire   +2 more sources

Fast Generic Dispatch for Common Lisp

Proceedings of ILC 2014 on 8th International Lisp Conference, 2014
We describe a technique for generic dispatch that is adapted to modern computers where accessing memory is potentially quite expensive. Instead of the traditional hashing scheme used by PCL [6], we assign a unique number to each class, and the dispatch consists of comparisons of the number assigned to an instance with a certain number of (usually small)
openaire   +2 more sources

Common Lisp's Predilection for Mathematical Programming

Proceedings of ILC 2014 on 8th International Lisp Conference, 2014
Common Lisp is a towering language that supports a plethora of functionality useful for both scientific and mathematical programming. However---except for a few notable systems such as Axiom, Macsyma/Maxima, and ACL2---Lisp has not taken center stage for such kinds of programming tasks.
openaire   +2 more sources

On Using Common Lisp for Scientific Computing

2003
Lisp is a very flexible and powerful language, but up to now it has not been used intensively for applications in scientific computing. The main reason is the prejudice that Lisp is slow. While this prejudice may have been true in early stages of Lisp’s history, it is not really true today.
openaire   +2 more sources

Current treatment and recent progress in gastric cancer

Ca-A Cancer Journal for Clinicians, 2021
Smita S Joshi, Brian D Badgwell
exaly  

Colorectal cancer statistics, 2023

Ca-A Cancer Journal for Clinicians, 2023
Rebecca L Siegel, Nikita Sandeep Wagle, Robert A Smith   +2 more
exaly  

Colorectal cancer statistics, 2020

Ca-A Cancer Journal for Clinicians, 2020
Rebecca L Siegel, Kimberly D Miller, Stacey A Fedewa   +2 more
exaly